Models of Weak Theories of Truth
In: Arch. Math. Logic (2017) 56: 453; (2017)
Online
report
Zugriff:
In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $\mathfrak{Th}$ denote the class of models of PA which admit an expansion to a model of theory Th. We show (combining some well known results and original ideas) that $$\mathfrak{PA}\supset \mathfrak{TB}\supset \mathfrak{RS}\supset \mathfrak{UTB}\supseteq\mathfrak{CT^-},$$ where $\mathfrak{PA}$ denotes simply the class of all models of PA and $\mathfrak{RS}$ denotes the class of recursively saturated models of PA. Our main original result is that every model of PA which admits an expansion to a model of CT${}^-$, admits also an expanion to a model of UTB. Moreover, as a corollary to one of the results we conclude that UTB is not relatively interpretable in TB, thus answering the question of Fujimoto.
Comment: 26 pages
Titel: |
Models of Weak Theories of Truth
|
---|---|
Autor/in / Beteiligte Person: | Łełyk, Mateusz ; Wcisło, Bartosz |
Link: | |
Quelle: | Arch. Math. Logic (2017) 56: 453; (2017) |
Veröffentlichung: | 2017 |
Medientyp: | report |
DOI: | 10.1007/s00153-017-0531-1 |
Schlagwort: |
|
Sonstiges: |
|