English

Polarized relations at singulars over successors

Logic 2021-02-03 v2

Abstract

Erdos, Hajnal and Rado asked whether (ω12)(ω10)2\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_0}_2 and whether (ω12)(ω11)2\binom{\aleph_{\omega_1}}{\aleph_2}\rightarrow\binom{\aleph_{\omega_1}}{\aleph_1}_2. We prove that both relations are independent over ZFC. We shall also prove that (μ2)(μ2)2\binom{\mu}{\aleph_2}\rightarrow\binom{\mu}{\aleph_2}_2 is independent over ZF for some μ\mu of cofinality ω1\omega_1.

Cite

@article{arxiv.1908.04477,
  title  = {Polarized relations at singulars over successors},
  author = {Shimon Garti},
  journal= {arXiv preprint arXiv:1908.04477},
  year   = {2021}
}

Comments

17 pages, to appear

R2 v1 2026-06-23T10:45:55.908Z