Advertisement

Abstract

This paper deals with the search for new axioms in set theory from the objectivistic point of view. A description of objectivism is followed by a general discussion of this search for new axioms. The second half of the paper concentrates on an examination of the reflection principle and attempts to use it to introduce new axioms sufficient to justify the existence of measurable cardinals.

Keywords

Large Cardinal Measurable Cardinal Proper Classis Open Sentence Reflection Principle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Ackermann, W.: 1956, ‘Zur Axiomatik der Mengenlehre’, Math. Ann. 131, 336–345.CrossRefGoogle Scholar
  2. Bernays, P.: 1961, ‘Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre’, Essays on the Foundations of Mathematics, Magnes Press, Hebrew Univ., Jerusalem, pp. 3–45.Google Scholar
  3. Cantor, G.: 1932, Gesammelte Abhandlungen, Berlin.Google Scholar
  4. Drake, F. R.: 1974, Set Theory — An Introduction to Large Cardinals. Google Scholar
  5. Friedman, H.: 1971, ‘Higher Set Theory and Mathematical Practice’, Annals of Math. Logic 2, 326–357.CrossRefGoogle Scholar
  6. Gödel, K.: 1964a, ‘Russell’s Mathematical Logic’, Philosophy of Bertrand Russell 1944, pp. 125-153.Google Scholar
  7. Reprinted in Philosophy of Mathematics (ed. by P. Benacerraf and H. Putnam), pp. 211-232.Google Scholar
  8. Gödel, K.: 1964b, ‘What is Cantor’s Continuum Problem?’, Am. Math. Monthly 54, 515–525. An extended version is in the collection just cited, pp. 258-273.CrossRefGoogle Scholar
  9. Kanamori, A.: 1975, Large Large Cardinals, Lecture notes at The University of Cambridge, 77pp.Google Scholar
  10. Kunen, K.: 1971, ‘Elementary Embeddings and Infinitary Combinatorics’, J. Symbolic Logic 36, 407–413.CrossRefGoogle Scholar
  11. Levy, A.: 1959, ‘On Ackermann’s Set Theory’, J. Symbolic Logic 24, 154–166.CrossRefGoogle Scholar
  12. Levy, A.: 1960, ‘Axiom Schemata of Strong Infinity in Axiomatic Set Theory’, Pacific J. Math. 10, 223–238.Google Scholar
  13. Martin, D. A.: 1975, ‘Borel Determinacy’, Annals of Mathematics 102, 363–371.CrossRefGoogle Scholar
  14. Powell, W. C: 1972, Set Theory with Predication, Ph.D. dissertation at S.U.N.Y. Buffalo, 111pp.Google Scholar
  15. Reinhardt, W.: 1974a, ‘Set Existence Principles of Shoenfield, Ackermann and Powell’, Fund. Math. 84, 12–41.Google Scholar
  16. Reinhardt, W.: 1974b, ‘Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings’, Axiomatic Set Theory, Part II, AMS Proceedings, pp. 189-206.Google Scholar
  17. Tharp, L. H.: 1967, ‘On a Set Theory of Bernays’, J. Symbolic Logic 32, 319–321.CrossRefGoogle Scholar
  18. Wang, Hao: 1974, From Mathematics to Philosophy, Routledge and Kegan Paul, London.Google Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1977

Authors and Affiliations

  • Hao Wang

There are no affiliations available

Personalised recommendations