Abstract
For any topological spaceT, S. Mrówka has defined Exp (T) to be the smallest cardinal κ (if any such cardinals exist) such thatT can be embedded as a closed subset of the productN κ of κ copies ofN (the discrete space of cardinality ℵ0). We prove that forQ, the space of the rationals with the inherited topology, Exp (Q) is equal to a certain covering number, and we show that by modifying some earlier work of ours it can be seen that it is consistent with the usual axioms of set theory including the choice that this number equal any uncountable regular cardinal less than or equal to 2ℵ 0. Mrówka has also defined and studied the class ℳ={κ: Exp (N κ)=κ} whereN κ is the discrete space of cardinality κ. It is known that the first cardinal not in ℳ must not only be inaccessible but cannot even belong to any of the first ω Mahlo classes. However, it is not known whether every cardinal below 2ℵ 0 is contained in ℳ. We prove that if there exists a maximal family of almost-disjoint subsets ofN of cardinality κ, then κ∈ℳ, and we then use earlier work to prove that if it is consistent that there exist cardinals which are not in the first ω Mahlo classes, then it is consistent that there exist such cardinals below 2ℵ 0 and that ℳ nevertheless contain all cardinals no greater than 2ℵ 0. Finally, we consider the relationship between ℳ and certain “large cardinals”, and we prove, for example, that if μ is any normal measure on a measurable cardinal, then μ(ℳ)=0.
Similar content being viewed by others
References
P. J. Cohen,Set Theory and the Continuum Hypothesis, W. A. Benjamin, N. Y., 1966.
S. H. Hechler,Short complete nested sequences in βN—N and small maximal almost-disjoint families, Gen. Topology Appl.2 (1972), 139–149.
S. H. Hechler,Independence results concerning the number of nowhere dense sets necessary to cover the real line, Acta Math. Acad. Sci. Hungar.24 (1973), 27–32.
S. H. Hechler,On a ubiquitous cardinal, to appear.
P. Mahlo,Über lineare transfinite Mengen, Ber. Verh. Königl. Sächs. Ges. Wiss. Leipzig, Math.-Phys. Kl.63 (1911), 187–225.
D. A. Martin and R. M. Solovay,Internal Cohen extensions, Ann. Math. Logic2 (1970), 143–178.
S. Mrówka,On E-compact spaces. II, Bull. Acad. Polon. Sci Sér. Sci. Math. Astronom Phys.14 (1966), 597–605.
S. Mrówka,Further results on E-compact spaces I, Acta Math.120 (1968), 161–185.
S. Mrówka,Some strengthenings of the Ulam nonmeasurability condition, Proc. Amer. Math. Soc.25 (1970), 704–711.
S. Mrówka,Recent results on E-compact spaces and structures of continuous functions, Proceedings of the General Topology Conference, Oklahoma, 1972, 168–221.
J. Mycielski,α-incompactness of N α, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys.12 (1964), 437–438.
J. Shoenfield,Measurable cardinals, in Logic Colloquium 69, Studies in Logic and the Foundations of Mathematics61 (1971), North-Holland, Amsterdam, The Netherlands.
J. Silver,Some applications of model theory in set theory, Ann. Math. Logic1 (1971), 45–110.
R. M. Solovay,A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math.92 (1970), 1–56.
R. M. Solovay and S. Tennenbaum,Iterated Cohen extensions and Souslin's problem, Ann. of Math.94 (1971), 201–245.
P. Vopěnka and K. Hrbàček,The consistency of some theorems on real numbers, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys.15 (1967), 107–111.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hechler, S.H. Exponents of someN-compact spaces. Israel J. Math. 15, 384–395 (1973). https://doi.org/10.1007/BF02757077
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02757077