Repository | Book | Chapter

COPR BookmarkLink
184204

(2015) Unifying the philosophy of truth, Dordrecht, Springer.

New constructions of satisfaction classes

Ali Enayat , Albert Visser

pp. 321-335

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.

Publication details

DOI: 10.1007/978-94-017-9673-6_16

Full citation:

Enayat, A. , Visser, A. (2015)., New constructions of satisfaction classes, in T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the philosophy of truth, Dordrecht, Springer, pp. 321-335.

This document is unfortunately not available for download at the moment.