Autonomous progression and transfinite iteration of self-applicable truth

DOI10.2178/JSL/1309952527MaRDI QIDQ3173533zbMATH OpenOpenAlexFDO

Authors Kentaro Fujimoto

Publication date 10 October 2011

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1309952527

zbMATH Keywords

proof-theoretic analysisautonomous progressionself-applicable truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Recommendations

• scientific article; zbMATH DE number 1420857
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• An ordinal analysis for theories of self-referential truth
• Iterated local reflection versus iterated consistency
• A proof-theoretic account of classical principles of truth

Cites work

• An axiomatic approach to self-referential truth
• Notes on Formal Theories of Truth
• Outline of a Theory of Truth
• Reducing compositional to disquotational truth
• Relative Truth Definability of Axiomatic Truth Theories
• Truth in applicative theories
• Universes over Frege structures

Cited in

(12)

• Contextual-hierarchical reconstructions of the strengthened liar problem
• Iterated reflection over full disquotational truth
• Classes and truths in set theory
• scientific article; zbMATH DE number 1420857 (Why is no real title available?)
• Infinitary self-reference in learning theory
• , , AND REINHARDT’S PROGRAM
• Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
• Transfinite Progressions: A Second Look at Completeness
• Feferman and the Truth
• Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
• Iterated local reflection versus iterated consistency
• Truth and the philosophy of mathematics

This page was built for publication: Autonomous progression and transfinite iteration of self-applicable truth

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