$\mathfrak{d}=ω_1$ implies $\mathfrak{a}=ω_1$
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.00639
curl -X POST /api/v1/records/arxiv/2610.00639/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.00639/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'