Tutorial
The ubiquitous interpretation
Albert Visser
Utrecht University
on
Tue, 14:30in Class A (Zaal 1.05)for
60min
and
on
Wed, 10:00in Class A (Zaal 1.05)for
60min
and
on
Wed, 14:30in Class A (Zaal 1.05)for
60min
In this introduction, we start with a number of examples to illustrate various features of interpretations. This is followed by a sketch of a definition of interpretation. In the second lecture, we discuss certain categories of interpretations. We show how isomorphism in these categories delivers good notions of sameness of theories. We will explain the Interpretation Existence Lemma and, if time allows it, the Orey-Hájek and the Friedman characterisation of interpretability. In the third lecture, we zoom in on the connection between the Second Incompleteness Theorem and interpretations.