MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
| Autor: | Bartosz Wcisło, Mateusz Łełyk, Cezary Cieśliński |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
Discrete mathematics
Class (set theory) Logic 010102 general mathematics 06 humanities and the arts 0603 philosophy ethics and religion 01 natural sciences Philosophy Mathematics (miscellaneous) Peano axioms 060302 philosophy Truth predicate Point (geometry) 0101 mathematics Saturated model Mathematics |
| Zdroj: | The Review of Symbolic Logic. 10:187-202 |
| ISSN: | 1755-0211 1755-0203 |
| DOI: | 10.1017/s1755020316000356 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|