MODELS OF POSITIVE TRUTH

DOI10.1017/S1755020318000400zbMath1454.03092arXiv1712.00472WikidataQ128695849 ScholiaQ128695849MaRDI QIDQ5381034

Bartosz Wcisło, Mateusz Łełyk

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

nonstandard models of arithmeticaxiomatic theories of truthfinite axiomatizabilityconservativityspeed-up

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (3)

MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE ⋮ AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW ⋮ Pathologies in satisfaction classes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• On the costs of nonclassical logic
• TRUTH AND SPEED-UP
• Relative Truth Definability of Axiomatic Truth Theories
• A theory of formal truth arithmetically equivalent to ID₁
• Recursively saturated nonstandard models of arithmetic
• Reflecting on incompleteness
• A Rather Classless Model
• Models with second order properties II. Trees with no undefined branches
• Outline of a Theory of Truth
• THE EXPRESSIVE POWER OF TRUTH
• Axiomatizing Kripke's theory of truth
• MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
• Some impredicative definitions in the axiomatic set theory
• MINIMAL TRUTH AND INTERPRETABILITY

This page was built for publication: MODELS OF POSITIVE TRUTH