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.
Author supplied keywords
Cite
CITATION STYLE
APA
Enayat, A., & Visser, A. (2015). New Constructions of Satisfaction Classes. In Logic, Epistemology, and the Unity of Science (Vol. 36, pp. 321–335). Springer Science and Business Media B.V. https://doi.org/10.1007/978-94-017-9673-6_16
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free