Abstract

Working in ZFC, we show that for any infinite cardinal κ and ordinal $\gamma the polarized partition relation $\[\begin{pmatrix} (2^{ → $\[\begin{pmatrix}(2^{ holds. Our proof of this relation involves the use of elementary substructures of set models of large fragments of ZFC