Models of weak theories of truth

DOI10.1007/S00153-017-0531-1MaRDI QIDQ2402953zbMATH OpenOpenAlexWikidataFDO

Authors Mateusz Łełyk, Bartosz Wcisło

Publication date 15 September 2017

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1712.00471

zbMATH Keywords

recursive saturationsatisfaction classesmodels of Peano arithmeticaxiomatic truth theories

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Abstract: In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $mathfrakTh$ 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 ${\displaystyle }$mathfrak{PA}supset mathfrak{TB}supset mathfrak{RS}supset mathfrak{UTB}supseteqmathfrak{CT^-},${\displaystyle }$ where $mathfrakPA$ denotes simply the class of all models of PA and $mathfrakRS$ 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.

Recommendations

• Models of positive truth
• Local collection and end-extensions of models of compositional truth
• Notes on Formal Theories of Truth
• Models of \(\mathrm{PT}^-\) with internal induction for total formulae
• TRUTH AND FEASIBLE REDUCIBILITY

Cites work

• scientific article; zbMATH DE number 3735815 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• A Rather Classless Model
• Axiomatic theories of truth
• Conservativity for theories of compositional truth via cut elimination
• Models with second order properties II. Trees with no undefined branches
• Nonstandard definability
• Relative Truth Definability of Axiomatic Truth Theories
• The structure of models of Peano arithmetic

Cited in

(6)

• DISJUNCTIONS WITH STOPPING CONDITIONS
• Varieties of truth definitions
• Models of positive truth
• Local collection and end-extensions of models of compositional truth
• Models of \(\mathrm{PT}^-\) with internal induction for total formulae
• Truth and the philosophy of mathematics

This page was built for publication: Models of weak theories of truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2402953)