On the Baire space of ω 1-strongly compact weight
Abstract
We prove that on the Baire space (D,π), ≥ ω0 where D is a uniformly discrete space having ω 1-strongly compact cardinal and π denotes the product uniformity on D, there exists a zu-filter F being Cauchy for the uniformity eπ having as a base all the countable uniform partitions of (D,π), and failing the countable intersection property. This fact is equivalent to the existence of a non-vanishing real-valued uniformly continuous function f on D for which the inverse function g=1/f cannot be continuously extended to the completion of (D 0,eπ). This does not happen when the cardinal of D is strictly smaller than the first Ulam-measurable cardinal.
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.