Project Euclid

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