Abstract
This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.
Citation
Kentaro Fujimoto. "Autonomous progression and transfinite iteration of self-applicable truth." J. Symbolic Logic 76 (3) 914 - 945, September 2011. https://doi.org/10.2178/jsl/1309952527
Information
Published: September 2011
First available in Project Euclid: 6 July 2011
MathSciNet: MR2849252
zbMATH: 1253.03089
Digital Object Identifier: 10.2178/jsl/1309952527
Rights: Copyright © 2011 Association for Symbolic Logic
