Summary
The notion of an entangled linear order gives a useful method to construct counter examples for such problems as the productivity of chain conditions, the square bracket partition relation and the existence of a large size monotonic subfunction. In particular, if there exists and ℵ1-entangled linear order then some consequences ofMA ℵ 1 or of wOCA fail. So, in which model ofZFC does an ℵ1-entangled linear order exist? Todorcevic [6] has shown if cf2ℵ 0=ω1 then there is an ℵ1-entangled linear order of size ℵ1. And it is widely known that adding κ many Cohen reals adds such a linear order of size κ. In this note it is shown that adding asingle Cohen real is sufficient to get a maximal size ℵ1-entangled linear order.
Similar content being viewed by others
References
Avraham, U., Shelah, S.: Martin's Axiom does not imply that every two ℵ1-dense sets of reals are isomorphic. Israel J. Math.38, 161–176 (1981)
Baumgartner, J.E.: Applications of the proper forcing axiom. In: Kunen, K., Vaughan, J. (eds.) Handbook of set theoretic topology, pp. 913–959. Elsevier: Amsterdam 1984
Galvin, F.: Chain conditions and products. Fundam. Math.108, 33–48 (1980)
Kunen, K.: Set Theory, An introduction to Independence Proofs. North-Holland: Amsterdam 1980
Roitman, J.: Adding a random or a Cohen real. Fundam. Math.103, 47–60 (1979)
Todorcevic, S.: Remarks on chain conditions in products. Compos. Math.55, 295–302 (1985)
Todorcevic, S.: Remarks on cellularity in products. Compos. Math.57, 357–372 (1986)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yuasa, Y. Adding a Cohen real adds an entangled linear order. Arch Math Logic 32, 299–304 (1993). https://doi.org/10.1007/BF01387408
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01387408