Interpretations: semantic and syntactic
Leeds Postgraduate Model Theory Seminar, 18th February 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.