The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals

Douglas Blue, Paul Larson, Grigor Sargsyan

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 e…