{"id":"arxiv/2602.13077","url":"https://arxiv.org/abs/2602.13077","tags":["math.LO"],"score":0,"title":"The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals","domain":"math.LO","source":"arxiv","authors":["Douglas Blue","Paul Larson","Grigor Sargsyan"],"reviews":0,"subject":"math.LO","summary":"We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD, as witnessed by the omega-club filter. Thus the failure of square everywhere is within the current reach of inner model theory, and the HOD Hypothesis is not provable in ZFC.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-13","reactions":{}}