An ordinal analysis for theories of self-referential truth

DOI10.1007/s00153-009-0170-2zbMath1194.03051OpenAlexW2137947972MaRDI QIDQ2267754

Michael Rathjen, Graham E. Leigh

Publication date: 2 March 2010

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

Full work available at URL: https://doi.org/10.1007/s00153-009-0170-2

zbMATH Keywords

Peano arithmeticself-referenceordinal analysisformal truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items (10)

One hundred years of semantic paradox ⋮ CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ The Friedman-Sheard programme in intuitionistic logic ⋮ A proof-theoretic account of classical principles of truth ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ Classes and truths in set theory ⋮ A note on the theory of positive induction, \({{\text{ID}}^*_1}\) ⋮ A note on the unprovability of consistency in formal theories of truth ⋮ Ackermannian Goodstein sequences of intermediate growth

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reverse mathematics and well-ordering principles: a pilot study
• How truthlike can a predicate be? A negative result
• Proof theory. 2nd ed
• An axiomatic approach to self-referential truth
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary descent recursion and proof theory
• Truth and reduction
• A system of complete and consistent truth
• A theory of formal truth arithmetically equivalent to ID₁
• The proof-theoretic analysis of transfinitely iterated quasi least fixed points
• Toward useful type-free theories. I
• On the relation between choice and comprehension principles in second order arithmetic
• Reflecting on incompleteness
• The role of parameters in bar rule and bar induction
• A guide to truth predicates in the modern era
• Systems of predicative analysis
• Some theories with positive induction of ordinal strength φω0
• Weak and strong theories of truth

This page was built for publication: An ordinal analysis for theories of self-referential truth