A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams

Journal of Symbolic Logic 52 (3):577-581 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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
2009-01-28

Downloads
237 (#86,194)

6 months
17 (#151,974)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

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

Add more references