Prefer a chat interface with context about you and your work?
AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES
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.