Sh:1258

• Shelah, S. Consistency of square bracket partition relation. Preprint.
• Abstract:
  Characteristic earlier results were of the form CON(2^{\aleph_0} \to [\lambda]_{n,2}^2), with 2^{\aleph_0} an ex-large cardinal, in the best case the first weakly Mahlo cardinal.

  Characteristic new results are CON \big( (2^{\aleph_0} = \aleph_m) + \aleph_{\ell} \to [\aleph_k]_{n,2}^2 \big), where k < \ell < m. So we improve in three respects: the continuum may be small (e.g. not a Mahlo weakly inaccessible), we use no large cardinal, and the cardinals \lambda involved are <2^{\aleph_0} after the forcing.

• Version 2025-08-10_2 (12p)

@article{Sh:1258,
 author = {Shelah, Saharon},
 title = {{Consistency of square bracket partition relation}}
}