Ali Enayat: Varieties of Satisfaction Classes

Forskarseminarium

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.