CONSISTENCY AND THE THEORY OF TRUTH

DOI10.1017/S1755020314000549zbMath1375.03009OpenAlexW2160341068MaRDI QIDQ3195585

Richard G. jun. Heck

Publication date: 20 October 2015

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

Full work available at URL: https://doi.org/10.1017/s1755020314000549

zbMATH Keywords

consistencyPeano arithmeticTarskian truth theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items

The logical strength of compositional principles ⋮ More on Systems of Truth and Predicative Comprehension ⋮ Deflationary truth and the ontology of expressions ⋮ The implicit commitment of arithmetical theories and its semantic core ⋮ EQUIVALENCES FOR TRUTH PREDICATES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pairs, sets and sequences in first-order theories
• Growing commas. A study of sequentiality and concatenation
• On the scheme of induction for bounded arithmetic formulas
• The formalization of interpretability
• Undecidability without arithmetization
• The predicative Frege hierarchy
• Undecidable theories
• TRUTH AND SPEED-UP
• Finite Axiomatizability using additional predicates
• Reflection principles and provability algebras in formal arithmetic
• Cuts, consistency statements and interpretations
• Bounded Induction and Satisfaction Classes
• Construction of Satisfaction Classes for Nonstandard Models
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Model theoretic connected components of finitely generated nilpotent groups
• Predicative Frege Arithmetic and 'Everyday' Mathematics
• Sets and Classes
• AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
• Relative Interpretations
• Concatenation as a basis for arithmetic
• MINIMAL TRUTH AND INTERPRETABILITY
• String theory