Ordinal Diagrams

Journal of Symbolic Logic 24 (1):64-65 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964595

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

My notes

Similar books and articles

Ordinal Diagrams II.Gaisi Takeuti - 1964 - Journal of Symbolic Logic 29 (3):146-147.
On the Formal Theory of the Ordinal Diagrams.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):65-65.
Review: Gaisi Takeuti, Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):64-65.
Review: Gaisi Takeuti, Ordinal Diagrams II. [REVIEW]Kurt Schutte - 1964 - Journal of Symbolic Logic 29 (3):146-147.
Review: Gaisi Takeuti, On the Formal Theory of the Ordinal Diagrams. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams.Mitsuhiro Okada - 1987 - Journal of Symbolic Logic 52 (3):577-581.
A simplification of takeuti's ordinal diagrams of finite order.Hilbert Levitz - 1969 - Mathematical Logic Quarterly 15 (7‐12):141-154.
Ordinal diagrams for recursively Mahlo universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.
Review: Akiko Kino, On Ordinal Diagrams. [REVIEW]Hilbert Levitz - 1972 - Journal of Symbolic Logic 37 (1):192-192.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.
Diagrams in Geometry.Isabel Palomino Luengo - 1995 - Dissertation, Indiana University
On the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):67-67.
A formalization of the theory of ordinal numbers.Gaisi Takeuti - 1965 - Journal of Symbolic Logic 30 (3):295-317.
A Metamathematical Theorem on the Theory of Ordinal Numbers.Gaisi Takeuti - 1959 - Journal of Symbolic Logic 24 (1):62-62.
Proof theory and ordinal analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,682,188)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The machinery of consistency proofs.Mariko Yasugi - 1989 - Annals of Pure and Applied Logic 44 (1-2):139-152.

Add more citations

References found in this work

No references found.

Add more references