Journal of Symbolic Logic 52 (3):577-581 (1987)
Authors | |
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2274350 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Über Teilsysteme von $$\bar \Theta $$.Wilfried Buchholz - 1977 - Archive for Mathematical Logic 18 (1):85-98.
A Characterization of Takeuti's Ordinal Diagrams of Finite Order.Hilbert Levitz & Kurt Schütte - 1971 - Archive for Mathematical Logic 14 (1-2):75-97.
Citations of this work BETA
No citations found.
Similar books and articles
Second-Order Characterizable Cardinals and Ordinals.Benjamin R. George - 2006 - Studia Logica 84 (3):425 - 449.
An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations.Jeremy Avigad - 2002 - Journal of Mathematical Logic 2 (1):91-112.
Ordinal Diagrams for Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
A Formalization of the Theory of Ordinal Numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
Normal Functions and Constructive Ordinal Notations.Larry W. Miller - 1976 - Journal of Symbolic Logic 41 (2):439-459.
Intermediate Predicate Logics Determined by Ordinals.Pierluigi Minari, Mitio Takano & Hiroakira Ono - 1990 - Journal of Symbolic Logic 55 (3):1099-1124.
A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection.Markus Michelbrink - 2006 - Journal of Symbolic Logic 71 (4):1237 - 1283.
Analytics
Added to PP index
2009-01-28
Total views
217 ( #52,316 of 2,505,620 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,620 )
2009-01-28
Total views
217 ( #52,316 of 2,505,620 )
Recent downloads (6 months)
1 ( #416,705 of 2,505,620 )
How can I increase my downloads?
Downloads