We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE.
- Authors
CIEŚLIŃSKI, CEZARY; ŁEŁYK, MATEUSZ; WCISŁO, BARTOSZ
- 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.
- Subjects
TRUTH functions (Mathematical logic); ARITHMETIC functions; AXIOMATIC set theory; STUDY &; teaching of arithmetic; SEMANTICS
- Publication
Review of Symbolic Logic, 2017, Vol 10, Issue 1, p187
- ISSN
1755-0203
- Publication type
Article
- DOI
10.1017/S1755020316000356