Interpretations: semantic and syntactic
Leeds Postgraduales Seminar zur Modelltheorie, 18. Februar 2015
Abstract:
I will give an introduction to first-order interpretations. I will start with interpretations between structures and then move on to interpretations between theories, highlighting the link between the two notions. My talk should be accessible to anyone who knows what an L-structure and an L-theory are.
I will give an introduction to first-order interpretations. I will start with interpretations between structures and then move on to interpretations between theories, highlighting the link between the two notions. My talk should be accessible to anyone who knows what an L-structure and an L-theory are.