English

Complete Bipartite Partition Relations in Cohen Extensions

Logic 2023-06-27 v2 Combinatorics

Abstract

We investigate the effect of adding ω2\omega_2 Cohen reals on graphs on ω2\omega_2, in particular we show that ω2(ω2,ω:ω)2\omega_2 \to (\omega_2, \omega : \omega)^2 holds after forcing with Add(ω,ω2)\mathsf{Add}(\omega, \omega_2) in a model of CH\mathsf{CH}. We also prove that this results is in a certain sense optimal as Add(ω,ω2)\mathsf{Add}(\omega, \omega_2) forces that ω2↛(ω2,ω:ω1)2\omega_2 \not\to (\omega_2, \omega : \omega_1)^2.

Cite

@article{arxiv.2302.05634,
  title  = {Complete Bipartite Partition Relations in Cohen Extensions},
  author = {Dávid Uhrik},
  journal= {arXiv preprint arXiv:2302.05634},
  year   = {2023}
}

Comments

Clarified relationship of Claim 1 to reference [12] as per referee's suggestion

R2 v1 2026-06-28T08:37:38.070Z