{"id":"arxiv/2606.28844","url":"https://arxiv.org/abs/2606.28844","tags":["math.LO","math.CO"],"score":0,"title":"A solution to Ditor's problem","domain":"math.LO","source":"arxiv","authors":["Lorenzo Notaro"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-27","reactions":{}}