Consistency of square bracket partition relation
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.02923
curl -X POST /api/v1/records/arxiv/2601.02923/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.02923/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'