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.
Similar content being viewed by others
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