Complete Bipartite Partition Relations in Cohen Extensions

Abstract

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

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