Translator Disclaimer
September 2011 Autonomous progression and transfinite iteration of self-applicable truth
Kentaro Fujimoto
J. Symbolic Logic 76(3): 914-945 (September 2011). DOI: 10.2178/jsl/1309952527

Abstract

This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.

Citation

Download 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

zbMATH: 1253.03089
MathSciNet: MR2849252
Digital Object Identifier: 10.2178/jsl/1309952527

Rights: Copyright © 2011 Association for Symbolic Logic

JOURNAL ARTICLE
32 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.76 • No. 3 • September 2011
Back to Top