Autonomous progression and transfinite iteration of self-applicable truth

DOI10.2178/JSL/1309952527zbMATH Open1253.03089OpenAlexW2077740326MaRDI QIDQ3173533FDOQ3173533

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

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

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)

Cites Work

• Outline of a Theory of Truth
• An axiomatic approach to self-referential truth
• Notes on Formal Theories of Truth
• Relative Truth Definability of Axiomatic Truth Theories
• Reducing compositional to disquotational truth
• 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
• Title not available (Why is that?)
• 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)