An ordinal analysis for theories of self-referential truth

DOI10.1007/S00153-009-0170-2MaRDI QIDQ2267754zbMATH OpenOpenAlexFDO

Authors Graham E. Leigh, Michael Rathjen

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

formal truthPeano arithmeticordinal analysisself-reference

Mathematics Subject Classification ID

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

Recommendations

• A proof-theoretic account of classical principles of truth
• Weak and strong theories of truth
• Consistency and the theory of truth
• An axiomatic approach to self-referential truth
• Editorial introduction

Cites work

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

Cited in

(18)

• Conceptual engineering for truth: aletheic properties and new aletheic concepts
• Special issue on methods for investigating self-referential truth
• On cut-elimination arguments for axiomatic theories of truth
• Notes on Formal Theories of Truth
• The Friedman-Sheard programme in intuitionistic logic
• Classes and truths in set theory
• Infinitary tableau for semantic truth
• Weak and strong theories of truth
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• An axiomatic approach to self-referential truth
• A proof-theoretic account of classical principles of truth
• Conservativity for theories of compositional truth via cut elimination
• Autonomous progression and transfinite iteration of self-applicable truth
• A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
• Consistency and the theory of truth
• Ackermannian Goodstein sequences of intermediate growth
• A note on the unprovability of consistency in formal theories of truth
• One hundred years of semantic paradox

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

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