Advanced Search
Home > Journals > J. Symbolic Logic > Volume 76 > Issue 3 > Article
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

ACCESS THE FULL ARTICLE
PERSONAL SIGN IN
Full access may be available with your subscription
 
Forgot your password?
No Project Euclid account? Create an account
or Sign in with your institutional credentials
PURCHASE THIS CONTENT
PURCHASE SINGLE ARTICLE
This article is only available to subscribers.
It is not available for individual sale.
JOURNAL ARTICLE
 32 PAGES
This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY
GET CITATION
< Previous Article
|
Next Article >
Vol.76 • No. 3 • September 2011
Association for Symbolic Logic
Subscribe to Project Euclid
Receive erratum alerts for this article
Back to Top