The axiom of determinateness implies $ω_2$ has precisely two countably complete, uniform, weakly normal ultrafilters
Volume 117 / 1983
Fundamenta Mathematicae 117 (1983), 91-93
DOI: 10.4064/fm-117-2-91-93