{"id":"arxiv/2608.13213","url":"https://arxiv.org/abs/2608.13213","tags":["math.LO"],"score":0,"title":"Martin's axiom and $ω_1^2 \\longrightarrow (ω_1^2, 3)^2$","domain":"math.LO","source":"arxiv","authors":["Mohammad Golshani"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-13","reactions":{}}