Consistency of square bracket partition relation

Read full text
Authors: Saharon shelah
Cited by: 0

Abstract

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.

Fields of Study & Subjects

Advanced Topology and Set Theory Advanced Banach Space Theory Advanced Operator Algebra Research

Publication details

Journal / source
arXiv (Cornell University)
Publication date
6 January 2026
Document type
Preprint