Autonomous progression and transfinite iteration of self-applicable truth

DOI10.2178/JSL/1309952527zbMath1253.03089OpenAlexW2077740326MaRDI QIDQ3173533

Kentaro Fujimoto

Publication date: 10 October 2011

Published in: The 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)

Related Items (6)

, , AND REINHARDT’S PROGRAM ⋮ Classes and truths in set theory ⋮ Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory ⋮ Feferman and the Truth ⋮ Truth and the philosophy of mathematics ⋮ Contextual-hierarchical reconstructions of the strengthened liar problem

Cites Work

• An axiomatic approach to self-referential truth
• Universes over Frege structures
• Relative Truth Definability of Axiomatic Truth Theories
• Notes on Formal Theories of Truth
• Outline of a Theory of Truth
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
• Truth in applicative theories

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