Livre | Chapitre
New constructions of satisfaction classes
pp. 321-335
Résumé
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.
Détails de la publication
Publié dans:
Achourioti Theodora, Galinon Henri, Martínez Fernández José, Fujimoto Kentaro (2015) Unifying the philosophy of truth. Dordrecht, Springer.
Pages: 321-335
DOI: 10.1007/978-94-017-9673-6_16
Citation complète:
Enayat Ali, Visser Albert, 2015, New constructions of satisfaction classes. In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.) Unifying the philosophy of truth (321-335). Dordrecht, Springer.