Construction of the Set Theory from the Theory of Ordinal Numbers

Journal of Symbolic Logic 24 (1):66-67 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964600

Links

PhilArchive



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

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

Review: Gaisi Takeuti, Construction of the Set Theory from the Theory of Ordinal Numbers. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):66-67.
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.
Review: Gaisi Takeuti, On the Theory of Ordinal Numbers. [REVIEW]Kurt Schutte - 1959 - Journal of Symbolic Logic 24 (1):67-67.
Review: Gaisi Takeuti, A Metamathematical Theorem on the Theory of Ordinal Numbers. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):62-62.
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
Ordinal numbers in arithmetic progression.Frederick Bagemihl & F. Bagemihl - 1992 - Mathematical Logic Quarterly 38 (1):525-528.
The strength of Martin-Löf type theory with a superuniverse. Part II.Michael Rathjen - 2001 - Archive for Mathematical Logic 40 (3):207-233.
The strength of Martin-Löf type theory with a superuniverse. Part I.Michael Rathjen - 2000 - Archive for Mathematical Logic 39 (1):1-39.
A model-theoretic approach to ordinal analysis.Jeremy Avigad & Richard Sommer - 1997 - Bulletin of Symbolic Logic 3 (1):17-52.
What are numbers?Zvonimir Šikić - 1996 - International Studies in the Philosophy of Science 10 (2):159-171.
Ordinal arithmetic based on Skolem hulling.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):130-161.
On Hierarchies of Predicates of ordinal Numbers.Gaisi Takeuti & Akiko Kino - 1968 - Journal of Symbolic Logic 33 (2):293-294.
Review: Gaisi Takeuti, On the Recursive Functions of Ordinal Numbers. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):88-88.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,389,828)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.

Add more citations

References found in this work

No references found.

Add more references