One Repeat Point Gives a Closed, Unbounded Ultrafilter on ω1
Abstract
It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega1 is an ultrafilter" is exactly ZFC + one measurable cardinal.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.