One Repeat Point Gives a Closed, Unbounded Ultrafilter on {ω_1}

William J. Mitchell

It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega_1 is an ultrafilter" is exactly ZFC + one measurable cardinal.