Abstract
In this paper we will analyze Baumgartner’s problem asking whether it is consistent that \(2^{\aleph _0} \ge \aleph _2\) and every pair of \(\aleph _2\)-dense subsets of \(\mathbb {R}\) are isomorphic as linear orders. The main result is the isolation of a combinatorial principle \((**)\) which is immune to c.c.c. forcing and which in the presence of \(2^{\aleph _0} \le \aleph _2\) implies that two \(\aleph _2\)-dense sets of reals can be forced to be isomorphic via a c.c.c. poset. Also, it will be shown that it is relatively consistent with ZFC that there exists an \(\aleph _2\) dense suborder X of \(\mathbb {R}\) which cannot be embedded into \(-X\) in any outer model with the same \(\aleph _2\).
Similar content being viewed by others
References
Abraham, U., Shelah, S.: On the intersection of closed unbounded sets. J. Symb. Log. 51(1), 180���189 (1986)
Abraham, U., Rubin, M., Shelah, S.: On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _{1}\)-dense real order types. Ann. Pure Appl. Log. 29(2), 123.206 (1985)
Avraham, U., Shelah, S.: Martin’s axiom does not imply that every two \(\aleph _{1}\)-dense sets of reals are isomorphic. Isr. J. Math. 38(1–2), 161–176 (1981)
Baumgartner, J.E.: All \(\aleph _{1}\)-dense sets of reals can be isomorphic. Fund. Math. 79(2), 101–106 (1973)
Dushnik, B., Miller, E.W.: Concerning similarity transformations of linearly ordered sets. Bull. Am. Math. Soc. 46, 322–326 (1940)
Kunen, K.: An Introduction to Independence Proofs, Volume 102 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1983)
Shelah, S.: On what I do not understand (and have something to say). I. Fund. Math. 166(1–2), 1–82 (2000). Saharon Shelah’s anniversary issue
Solovay, R., Tennenbaum, S.: Iterated Cohen extensions and Souslin’s problem. Ann. Math. 94, 201–245 (1971)
Todorcevic, S.: Trees and linearly ordered sets. In: Kunen, K., Vaughan, J. (eds.) Handbook of Set-Theoretic Topology, pp. 235–293. North-Holland, Amsterdam (1984)
Todorcevic, S.: Oscillations of real numbers. In: Logic Colloquium’86 (Hull, 1986). Stud. Logic Found. Math., vol. 124, pp. 325–331. North-Holland, Amsterdam (1988)
Todorcevic, S.: Partition Problems in Topology. Amer. Math. Soc., Providence (1989)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of James Baumgartner.
The research presented in this paper was initiated during the Fields Institutes fall 2012 thematic program on Forcing and its Applications; we would like to thank the institute for its generous hospitality. The first author’s research was supported in part by NSF Grant DMS-1262019; the second author’s research was supported in part by Grants from CNRS and NSERC. We would like to thank Garrett Ervin and Hossein Lamei Ramandi for carefully reading earlier version of this paper. We would also like to thank Itay Neeman for pointing out a serious error in an earlier version of this paper.
Rights and permissions
About this article
Cite this article
Moore, J.T., Todorcevic, S. Baumgartner’s isomorphism problem for \(\aleph _2\)-dense suborders of \(\mathbb {R}\) . Arch. Math. Logic 56, 1105–1114 (2017). https://doi.org/10.1007/s00153-017-0549-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0549-4