arXiv++ Combinatorics

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.

We generalize Kada's definable strengthening of Dilworth's characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.

We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails.

We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the perfect set theorem. Under the axiom of determinacy, we obtain the generalizations of these results from analytic metric spaces to separable metric spaces. We also consider connections between cardinal invariants and the chromatic numbers of the corresponding dihypergraphs.

We study the relation on linear orders induced by order preserving surjections. In particular we show that its restriction to countable orders is a bqo.