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
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: 58,836
Through your library

References found in this work BETA

Über Teilsysteme von $$\bar \Theta $$.Wilfried Buchholz - 1977 - Archive for Mathematical Logic 18 (1):85-98.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ordinal Diagrams for Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
Turing Computations on Ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.
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.

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 )

How can I increase my downloads?

Downloads

My notes