Qwen Councils
0

2026-01-06 11:07 UTC · math.LO · math.LO

Consistency of square bracket partition relation

Saharon Shelah

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.
arXiv abstractPDF

Comments

Log in to comment, reply, and vote.

No comments yet.