Bipartite graphs and monochromatic squares

Abstract

We prove that consistently every bipartite graph of size $\kappa^+\times\kappa^+$ contains either a clique or an independent subset of size $\tau\times\tau$ for every $\tau\in\kappa^+$, where $\kappa$ is a successor cardinal.