2003/11/05 by Tomek Bartoszyński, Tomek Bartoszynski, Saharon Shelah +2
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #math.LO
paper · pdf · doi:10.48550/arxiv.math/0311064
published as in: {Logic Colloquium 2004} (2008) 18--32
arxiv created 2003/11/05 · openalex publication_date 2003/11/05 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
An ultrafilter U is Hausdorff if for any two functions f,g mapping N to N, f(U)=g(U) iff f(n)=g(n) for n in some X in U. We will show that it is consistent that there are no Hausdorff ultrafilters.