AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES

JOHN KRUEGER, ERNEST SCHIMMERLING
2011 Journal of Mathematical Logic  
We prove that the following two statements are equiconsistent: there exists a greatly Mahlo cardinal; there exists a regular uncountable cardinal κ such that no stationary subset of κ + ∩ cof(κ) carries a partial square.
doi:10.1142/s0219061311000992 fatcat:vrkinndjvbbxffmayfotwt7pva