Martin's axiom and $ω_1^2 \longrightarrow (ω_1^2, 3)^2$
Starting with CH and Hajnal's coloring, we show that a standard finite-support iteration of $σ$-centered forcing notions gives a model of $ MA_{ω_1}(σ$-centered$)+2^{\aleph_0}=\aleph_2 +ω_1^2\nrightarrow(ω_1^2,3)^2.$ We also isolate a simple forcing-preservation principle: the same ground-model coloring remains a witness after forcing with any poset whose subfamilies of size at most $ω_1$ are countable unions of linked sets. Under $\text{MA}_{ω_1}$, every c.c.c. forcing has this local property, so every existing witness is preserved by every c.c.c. forcing over that model.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.13213
curl -X POST /api/v1/records/arxiv/2608.13213/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.13213/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'