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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Ackermann, W.: 1956, ‘Zur Axiomatik der Mengenlehre’, Math. Ann. 131, 336–345.
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.
Cantor, G.: 1932, Gesammelte Abhandlungen, Berlin.
Drake, F. R.: 1974, Set Theory — An Introduction to Large Cardinals.
Friedman, H.: 1971, ‘Higher Set Theory and Mathematical Practice’, Annals of Math. Logic 2, 326–357.
Gödel, K.: 1964a, ‘Russell’s Mathematical Logic’, Philosophy of Bertrand Russell 1944, pp. 125-153.
Reprinted in Philosophy of Mathematics (ed. by P. Benacerraf and H. Putnam), pp. 211-232.
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.
Kanamori, A.: 1975, Large Large Cardinals, Lecture notes at The University of Cambridge, 77pp.
Kunen, K.: 1971, ‘Elementary Embeddings and Infinitary Combinatorics’, J. Symbolic Logic 36, 407–413.
Levy, A.: 1959, ‘On Ackermann’s Set Theory’, J. Symbolic Logic 24, 154–166.
Levy, A.: 1960, ‘Axiom Schemata of Strong Infinity in Axiomatic Set Theory’, Pacific J. Math. 10, 223–238.
Martin, D. A.: 1975, ‘Borel Determinacy’, Annals of Mathematics 102, 363–371.
Powell, W. C: 1972, Set Theory with Predication, Ph.D. dissertation at S.U.N.Y. Buffalo, 111pp.
Reinhardt, W.: 1974a, ‘Set Existence Principles of Shoenfield, Ackermann and Powell’, Fund. Math. 84, 12–41.
Reinhardt, W.: 1974b, ‘Remarks on Reflection Principles, Large Cardinals, and Elementary Embeddings’, Axiomatic Set Theory, Part II, AMS Proceedings, pp. 189-206.
Tharp, L. H.: 1967, ‘On a Set Theory of Bernays’, J. Symbolic Logic 32, 319–321.
Wang, Hao: 1974, From Mathematics to Philosophy, Routledge and Kegan Paul, London.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1977 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Wang, H. (1977). Large Sets. In: Butts, R.E., Hintikka, J. (eds) Logic, Foundations of Mathematics, and Computability Theory. The University of Western Ontario Series in Philosophy of Science, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-1138-9_17
Download citation
DOI: https://doi.org/10.1007/978-94-010-1138-9_17
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-1140-2
Online ISBN: 978-94-010-1138-9
eBook Packages: Springer Book Archive