(Springer Science + Business Media, 2015) Woodin, W. Hugh
The main theorem is that the Ultrafilter Axiom of Woodin (J Math Log 11(2):115–37, 2011) must fail at all cardinals where the Axiom I0 holds, in all non-strategic extender models subject only to fairly general requirements on the non-strategic extender model.
