{"id":"arxiv/2601.02923","url":"https://arxiv.org/abs/2601.02923","tags":["math.LO"],"score":0,"title":"Consistency of square bracket partition relation","domain":"math.LO","source":"arxiv","authors":["Saharon Shelah"],"reviews":0,"subject":"math.LO","summary":"Characteristic earlier results were of the form CON$(2^{\\aleph_0} \\to [λ]^2_{n, 2})$, with $2^{\\aleph_0} $ an ex-large cardinal, in the best case the first weakly Mahlo cardinal. Characteristic new results are CON$((2^{\\aleph_0} = \\aleph_m) + \\aleph_l \\to [\\aleph_k]^2_{n, 2})$, for suitable $k < l < m$. So we improve in three respects: the continuum may be small (e.g. not a weakly Mahlo), we use no large cardinal, and the cardinals $λ$ involved are $ < 2^{\\aleph_0}$ after the forcing.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-06","reactions":{}}