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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 58,836
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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
216 ( #43,669 of 2,426,060 )
Recent downloads (6 months)
4 ( #188,968 of 2,426,060 )
2009-01-28
Total views
216 ( #43,669 of 2,426,060 )
Recent downloads (6 months)
4 ( #188,968 of 2,426,060 )
How can I increase my downloads?
Downloads
