{"id":"arxiv/2610.00639","url":"https://arxiv.org/abs/2610.00639","tags":["math.LO"],"score":0,"title":"$\\mathfrak{d}=ω_1$ implies $\\mathfrak{a}=ω_1$","domain":"math.LO","source":"arxiv","authors":["José de Jesús Pelayo Gómez"],"reviews":0,"subject":"math.LO","summary":"We prove in ZFC that $\\mathfrak d=ω_1$ implies $\\mathfrak a=ω_1$, settling a question of Roitman from the 1970s. Here $\\mathfrak d$ is the least size of a family that eventually dominates every function in $ω^ω$, and $\\mathfrak a$ is the least size of an infinite maximal almost disjoint (MAD) family of infinite subsets of $ω$. Consequently, $\\mathfrak a\\leq\\mathfrak d$ whenever the continuum $\\mathfrak c=2^{\\aleph_0}$ is at most $ω_2$. This answers negatively Shelah's question whether $\\mathfrak d<\\mathfrak a$ is consistent with $\\mathfrak c=ω_2$, and shows that his model of $\\mathfrak…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}