Axiom schemata of strong infinity in axiomatic set theory.
Azriel Lévy
Source: Pacific J. Math. Volume 10, Number 1
(1960), 223-238.
First Page:
Show
Hide
Primary Subjects:
02.63
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pjm/1103038638
Zentralblatt MATH identifier: 0201.32602
Mathematical Reviews number (MathSciNet): MR0124205
References
[1] H. Bachmann, TransfiniteZahlen, Berlin 1955.
Mathematical Reviews (MathSciNet): MR17:134d
Zentralblatt MATH: 0065.03506
[2] A. A. Fraenkel and J. Bar-Hillel, Foundations of set theory, Amsterdam 1958.
Zentralblatt MATH: 0935.03065
[3] D. Hubert and P. Bernays, Grundlagen der Mathematik,Part I, Berlin 1934.
Zentralblatt MATH: 0362.02001
[4] P. Mahlo, Tiber lineare transfiniteMengen,Berichte ber die Verhandlungen der Koniglich Sachsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematish-Physische Klasse, 63 (1911), 187-225.
[5] P. Mahlo, Zur Theorie und Anwendung der p^-Zahlen, ibid, 64 (1912), 108-112.
[6] P. Mahlo, Zur Theorie und Anwendung der po-Zahlen II, ibid, 65 (1913), 268-282.
[7] R. Montague and S. Feferman, The method of arithmetizationand some ofits applications, North Holland Pub. Co., to appear. See abstracts by R. Montague, Bull, of the A.M.S., 61 (1955), p. 172, 62 (1956), p. 260, Summariesof talksat theSummer Instituteof Symbolic Logic in 1957 at Cornell University, pp. 256-259.
Mathematical Reviews (MathSciNet): MR34:2439
Zentralblatt MATH: 0199.01702
[8] R. Montague and R. L. Vaught, Natural models of set theories, to appear in Fundamenta Mathematicae.
Mathematical Reviews (MathSciNet): MR23:A1520
Zentralblatt MATH: 0094.00801
[9] A. Mostowski, An undecidable arithmeticalstatement, Fundamenta Mathematicae, 36 (1949), 143-164.
Mathematical Reviews (MathSciNet): MR12:2d
Zentralblatt MATH: 0039.00802
[10] A. Mostowski, Some impredicativedefinitions in the axiomatic set theory, ibid, 37 (1950), 111-124.
Mathematical Reviews (MathSciNet): MR12:791d
Zentralblatt MATH: 0039.27601
[11] A. Mostowski, On models of axiomatic systems, ibid, 39 (1952), 133-158.
Mathematical Reviews (MathSciNet): MR14:938c
Zentralblatt MATH: 0053.20102
[12] J. C. Shepherdson, Inner models for set theory, Journal of Symbolic Logic, Part 1-16 (1951), 161-190; Part II -17 (1952), 225-237; Part III-18 (1953), 145-167.
Zentralblatt MATH: 0043.05302
[13] E. Specker, Zur Axiomatikder Mengenlehre (Fundierugs und Auswahlaxiom),Zeitsch- rift fur mathematische Logik und Grundlagen der Mathematik, 3 (1957), 173-210.
Mathematical Reviews (MathSciNet): MR20:5738
Zentralblatt MATH: 0079.07605
[14] A. Tarski, Uber unerreichbare Kardinalzahlen,Fundamenta Mathemticae, 30 (1938), 68-89.
[15] A. Tarski, On well-ordered subsets of any set, ibid, 32 (1939), 176-183.
Zentralblatt MATH: 0021.11003
[16] A. Tarski, Notions of proper models for set theoris (abstract), Bulletin of the A.M.S., 62 (1956), p. 601.
[17] A. Tarski and R. L. Vaught, Arithmeticalextensions of relational systems, Compositio Mathematica, 13 (1957), 81-102.
Mathematical Reviews (MathSciNet): MR20:1627
Zentralblatt MATH: 0091.01201
Pacific Journal of Mathematics
