The universe of set theory

In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of mathematics. New York,: Springer. pp. 74--128 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Canonical structure in the universe of set theory: Part two.James Cummings, Matthew Foreman & Menachem Magidor - 2006 - Annals of Pure and Applied Logic 142 (1):55-75.
Canonical structure in the universe of set theory: part one.James Cummings, Matthew Foreman & Menachem Magidor - 2004 - Annals of Pure and Applied Logic 129 (1-3):211-243.
Takeuti Gaisi. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 65–97.Takeuti Gaisi. A formalization of the theory of ordinal numbers. [REVIEW]Carol Karp - 1972 - Journal of Symbolic Logic 37 (1):192-193.
Forcing with stable posets.Uri Avraham & Saharon Shelah - 1982 - Journal of Symbolic Logic 47 (1):37-42.
To be or to be not, that is the dilemma.Juan José Luetich - 2012 - Identification Transactions of The Luventicus Academy (ISSN 1666-7581) 1 (1):4.
Set Theory with a Universal Set: Exploring an Untyped Universe.T. E. Forster - 1992 - Oxford, England: Clarendon Press.
Review: Gaisi Takeuti, Axioms of Infinity of Set Theory. [REVIEW]J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
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.
Takeuti Gaisi. Axioms of infinity of set theory. Journal of the Mathematical Society of Japan, vol. 13 , pp. 220–233.J. C. Shepherdson - 1962 - Journal of Symbolic Logic 27 (3):354-355.
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.

Analytics

Added to PP
2014-01-27

Downloads
47 (#473,047)

6 months
3 (#1,481,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Prädikative Klassen.Ralf-Dieter Schindler - 1993 - Erkenntnis 39 (2):209 - 241.

Add more citations

References found in this work

No references found.

Add more references