Models of positive truth

DOI10.1017/S1755020318000400MaRDI QIDQ5381034zbMATH OpenWikidataFDO

Authors Mateusz Łełyk, Bartosz Wcisło

Publication date 7 June 2019

Published in The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

axiomatic theories of truthconservativityfinite axiomatizabilityspeed-upnonstandard models of arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Abstract: This paper is a follow-up to "Models of PT${}^{-}$ with internal induction for total formulae." We give a strenghtening of the main result on the semantical non-conservativity of the theory of PT${}^{-}$ with internal induction for total formulae (PT${}^{-}+$ INT(tot)). We show that if to PT${}^{-}$ the axiom of internal induction for all arithmetical formulae is added (PT${}^{-}$), then this theory is semantically stronger than PT${}^{-}+$ INT(tot). In particular the latter is not relatively truth definable (in the sense of Fujimoto) in the former. Last but not least we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in "The expressive power of truth."

Recommendations

• Models of \(\mathrm{PT}^-\) with internal induction for total formulae
• Notes on Formal Theories of Truth
• A proof-theoretic account of classical principles of truth
• Truth, disjunction, and induction
• Models of weak theories of truth

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• A Rather Classless Model
• A theory of formal truth arithmetically equivalent to ID₁
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• Minimal truth and interpretability
• Models of \(\mathrm{PT}^-\) with internal induction for total formulae
• Models with second order properties II. Trees with no undefined branches
• On the costs of nonclassical logic
• Outline of a Theory of Truth
• Recursively saturated nonstandard models of arithmetic
• Reflecting on incompleteness
• Relative Truth Definability of Axiomatic Truth Theories
• Some impredicative definitions in the axiomatic set theory
• The expressive power of truth
• Truth and speed-up

Cited in

(8)

• Varieties of truth definitions
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• Pathologies in satisfaction classes
• Models of \(\mathrm{PT}^-\) with internal induction for total formulae
• Notes on Formal Theories of Truth
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• Models of weak theories of truth
• T-equivalences for positive sentences

This page was built for publication: Models of positive truth

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