arXiv++ Combinatorics

We settle the long-standing open question whether there exists a $3$-ladder of cardinality $\aleph_2$. Given a positive integer $n$, an $n$-ladder is a lower finite lattice whose elements have at most $n$ lower covers. In 1984, Ditor proved that every $n$-ladder has cardinality at most $\aleph_{n-1}$, and that this cardinal bound is sharp for $n = 1,2$. He then raised the question of whether the bound is attained for $n\ge 3$ as well. An affirmative answer is known to be consistent with $\mathsf{ZFC}$. We prove, relative to the consistency of a Mahlo cardinal, that the question is independent of $\mathsf{ZFC}$. More precisely, we show that the nonexistence of a $3$-ladder of cardinality $\aleph_2$ is equiconsistent with a Mahlo cardinal.

Given a positive integer $n$, an $n$-ladder is a lower finite lattice whose elements have at most $n$ lower covers. In 1984, Ditor proved that every $n$-ladder has cardinality at most $\aleph_{n-1}$ and asked whether this bound is sharp, i.e., whether for each $n$ there is an $n$-ladder of cardinality $\aleph_{n-1}$. We isolate the notion of maximal $n$-ladder and use it to study Ditor's problem and related questions. We show that $\text{Add}(ω, ω_ω)$ forces every maximal $n$-ladder to have cardinality $\aleph_{n-1}$, and hence forces a positive answer to Ditor's question for every $n$. In particular, it is consistent that there are no maximal $3$-ladders of cardinality $\aleph_1$. However, we show that the existence of such a ladder follows from $\mathfrak{d}=\aleph_1$. Under $\clubsuit$, we construct a maximal $3$-ladder of breadth $2$. Finally, we prove that, consistently (under $\diamondsuit$), there exists a maximal $3$-ladder that is destructible by forcing with a Suslin tree.

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.

In 1984, Ditor asked two questions: (1) For each $n\inω$ and infinite cardinal $κ$, is there a join-semilattice of breadth $n+1$ and cardinality $κ^{+n}$ whose principal ideals have cardinality $< κ$? (2) For each $n \in ω$, is there a lower-finite lattice of cardinality $\aleph_{n}$ whose elements have at most $n+1$ lower covers? We show that both questions have positive answers under the axiom of constructibility, and hence consistently with $\mathsf{ZFC}$. More specifically, we derive the positive answers from assuming that $\square_κ$ holds for enough $κ$'s.