New constructions of satisfaction classes

Ali Enayat

Albert Visser

pp. 321-335

in: Theodora Achourioti, Henri Galinon, José Martínez Fernández, Kentaro Fujimoto (eds), Unifying the philosophy of truth, Berlin, Springer, 2015

Abstract

We use model-theoretic ideas to present a perspicuous and versatile method of constructing full satisfaction classes on models of Peano arithmetic. We also comment on the ramifications of our work on issues related to conservativity and interpretability.