Article contents
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
Published online by Cambridge University Press: 15 December 2016
Abstract
We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PTtot) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PTtot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2016
References
BIBLIOGRAPHY
- 3
- Cited by