Journal of Symbolic Logic 64 (1):53-67 (1999)

Authors
Reinhard Kahle
University Tübingen
Abstract
This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{<\alpha};$ the exact proof-theoretic ordinals of these systems are presented.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI http://projecteuclid.org/euclid.jsl/1183745691
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Classes and Truths in Set Theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
Fixed Point Theories and Dependent Choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.

View all 10 citations / Add more citations

Similar books and articles

Universes Over Frege Structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.
Fixed Point Theories and Dependent Choice.Gerhard Jäger & Thomas Strahm - 2000 - Archive for Mathematical Logic 39 (7):493-508.
Proof-Theoretic Analysis by Iterated Reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.
Totality in Applicative Theories.Gerhard Jäger & Thomas Strahm - 1995 - Annals of Pure and Applied Logic 74 (2):105-120.
Universes in Metapredicative Analysis.Christian Rüede - 2003 - Archive for Mathematical Logic 42 (2):129-151.
Fixed Points in Peano Arithmetic with Ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.

Analytics

Added to PP index
2017-02-21

Total views
7 ( #1,072,226 of 2,520,787 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,787 )

How can I increase my downloads?

Downloads

My notes