SOME QUESTIONS ON ENTANGLED LINEAR ORDERS
Entangled linear orders were first introduced by Abraham and Shelah. Todorčević showed that these linear orders exist under $\mathsf{CH}$. We prove the following results: (1) If $\mathsf{CH}$ holds, then, for every $n > 0$, there is an $n$-entangled linear order which is not $(n+1)$-entangled. (2) If $\mathsf{CH}$ holds, then there are two homeomorphic sets of reals $A, B \subseteq \mathbb{R}$ such that $A$ is entangled but $B$ is not $2$-entangled. (3) If $\mathbb{R}\subseteq \mathrm{L}$, then there is an entangled $Π_1^1$ set of reals. (4) If $\diamondsuit$ holds, then there is a $2$-entangled non-separable linear order.
Authors
- Raphaël Carroy (ORCID: https://orcid.org/0000-0003-2494-9184)
- Maxwell Levine
- Lorenzo Notaro
Publication Details
- Journal
- Journal of Symbolic Logic
- Published
- 2026-04-28
- DOI
- https://doi.org/10.1017/jsl.2026.10210
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Austrian Science Fund