Ali Enayat Varieties of Satisfaction Classes. This is a report of recent joint work with Albert Visser on new model-theoretic methods of constructing a diverse variety of satisfaction classes over nonstandard models of Peano arithmetic (and other sufficiently rich theories). I will also address the consequences of this work to questions related to conservativity and interpretability of axiomatic theories of truth.
Tid: 10:15 - 12:00
Kategorier: Humaniora, Matematik
Plats: T340 Olof Wijksgatan 6 (Department of Philosophy, Linguistics and Theory of Science)
Kontaktperson: Fredrik Engström