The axiom of determinateness implies ω 2 has precisely two countably complete, uniform, weakly normal ultrafilters Robert Mignone — 1983 Fundamenta Mathematicae