An ordinal analysis for theories of self-referential truth
DOI10.1007/S00153-009-0170-2zbMATH Open1194.03051OpenAlexW2137947972MaRDI QIDQ2267754FDOQ2267754
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
Recommendations
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)
Cites Work
- How truthlike can a predicate be? A negative result
- An axiomatic approach to self-referential truth
- Truth and reduction
- A system of complete and consistent truth
- A theory of formal truth arithmetically equivalent to ID1
- Subsystems of second order arithmetic
- Toward useful type-free theories. I
- Reflecting on incompleteness
- Proof theory. 2nd ed
- Systems of predicative analysis
- Title not available (Why is that?)
- Weak and strong theories of truth
- Elementary descent recursion and proof theory
- Title not available (Why is that?)
- Some theories with positive induction of ordinal strength φω0
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Title not available (Why is that?)
- A guide to truth predicates in the modern era
- Reverse mathematics and well-ordering principles: a pilot study
- The role of parameters in bar rule and bar induction
- Title not available (Why is that?)
- On the relation between choice and comprehension principles in second order arithmetic
- The proof-theoretic analysis of transfinitely iterated quasi least fixed points
Cited In (18)
- Weak and strong theories of truth
- Ackermannian Goodstein sequences of intermediate growth
- One hundred years of semantic paradox
- Classes and truths in set theory
- An axiomatic approach to self-referential truth
- Infinitary tableau for semantic truth
- A note on the unprovability of consistency in formal theories of truth
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
- On cut-elimination arguments for axiomatic theories of truth
- Conservativity for theories of compositional truth via cut elimination
- The Friedman-Sheard programme in intuitionistic logic
- Autonomous progression and transfinite iteration of self-applicable truth
- Conceptual engineering for truth: aletheic properties and new aletheic concepts
- Notes on Formal Theories of Truth
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Special issue on methods for investigating self-referential truth
- A proof-theoretic account of classical principles of truth
- Consistency and the theory of truth
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)
