Abstract
What are the possible cardinalities of subsets of the reals? R itself has power 2א0; it is trivial to exhibit subsets of the integers of any power ≦א0. The Continuum Hypothesis of Cantor conjectures that these examples exhaust the possible cardinalities of subsets of R .
The main results of this paper (Theorem 1 through 3) were obtained independently a few months later by R. Mansfield.
The author is a Sloan Foundation fellow. This research was partially supported by National Science Foundation grant GP-5632.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Addison, J. W.: Hierarchies and the axiom of constructibility. Summaries of talks at the Summer Institute of Symbolic Logic in 1957 at Cornell University 3, 355–362 (1957).
— Separation principles in the hierarchies of classical and effective descriptive set theory. Fund. Math. 46, 123–135 (1958).
— Some consequences of the axiom of constructibility. Fund. Math. 46, 337–357 (1959).
Cohen, P. J.: The independence of the continuum hypothesis, Parts I, II. Proc. nat. Acad. Sci. 50, 1143–1148 (1963)
Cohen, P. J.: The independence of the continuum hypothesis, Parts I, II. Proc. nat. Acad. Sci. 51, 105–110 (1964).
Gaifman, H.: Self extending models, measurable cardinals and the constructible universe. Mimeographed notes.
Gödel, K.: The consistency of the axiom of choice and of the generalized continuum-hypothesis. Proc. nat. Acad. Sci. 24, 556–557 (1938).
— The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. Ann. Math. Studies no. 3, second printing. Princeton 1951.
Kelley, J. L.: General topology. New York: Van Nostrand 1955.
Kleene, S. C.: Arithmetical predicates and function quantifiers. Trans. Amer. Math. Soc. 79, 312–340 (1955).
— On the forms of the predicates in the theory of constructive ordinals (second paper). Amer. J. Math. 77, 405–428 (1955).
Levy, A.: Independence results in set theory by Cohen’s method, I, III, IV. Notices Amer. Math. Soc. 10, 592–593 (1963).
—, and R. M. Solovay: Measurable cardinals and the continuum hypothesis. Israel J. Math. 5, 234–248 (1967).
Ljapunow, A.A.: Arbeiten zur deskriptiven Mengenlehre. Berlin: VEB Deutscher Verlag der Wissenschaften 1955.
Mansfield, R.: The solution of one of Ulam’s problems concerning analytic rectangles. Preprint.
Reinhardt, W., and R. M. Solovay: Strong axioms of infinity and elementary embeddings. To appear.
Rogers Jr., H.: Recursive functions over well ordered partial orderings. Proc. Amer. Math. Soc. 10, 847–853 (1959).
Rowbottom, F.: Doctoral dissertation. Madison: Univ. of Wisconsin 1964.
Shoenfield, J. R.: The problem of predicativity. Essays on the foundations of mathematics. Jerusalem 1961, pp. 132–139.
— Mathematical logic. Addison-Wesley Publishing Co. 1967.
Silver, J.: The consistency of the generalized continuum hypothesis with the existence of a measurable cardinal. Notices Amer. Math. Soc. 13, 721 (1966).
Solovay, R. M.: Some consequences of the axiom of determinateness. To appear.
— The measure problem. I. A model of set theory in which all sets of reals are Lebesgue measurable. To appear.
Vopenka, P., and L. Bukovsky: The existence of a PCA-set of cardinality א 1.Commentationes Mathematicae Universitatis Caroline (Prague) 5, 125–128 (1964).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1969 Springer-Verlag Berlin · Heidelberg
About this chapter
Cite this chapter
Solovay, R.M. (1969). On the Cardinality of \( \sum_2^1 \) Sets of Reals. In: Bulloff, J.J., Holyoke, T.C., Hahn, S.W. (eds) Foundations of Mathematics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-86745-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-86745-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-86747-7
Online ISBN: 978-3-642-86745-3
eBook Packages: Springer Book Archive