Ultrafilters on the natural numbers

Journal of Symbolic Logic 68 (3):764-784 (2003)
We study the problem of existence and generic existence of ultrafilters on ω. We prove a conjecture of $J\ddot{o}rg$ Brendle's showing that there is an ultrafilter that is countably closed but is not an ordinal ultrafilter under CH. We also show that Canjar's previous partial characterization of the generic existence of Q-points is the best that can be done. More simply put, there is no normal cardinal invariant equality that fully characterizes the generic existence of Q-points. We then sharpen results on generic existence with the introduction of $\sigma-compact$ ultrafilters. We show that the generic existence of said ultrafilters is equivalent to $\delta = c$ . This result taken along with our result that there exists a $K_{\sigma}$ non-countably closed ultrafilter under CH, expands the size of the class of ultrafilters that were known to fit this description before. From the core of the proof, we get a new result on the cardinal invariants of the continuum, i.e., the cofinality of the sets with $\sigma-compact$ closure is δ
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1058448437
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,472
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Cascades, Order, and Ultrafilters.Andrzej Starosolski - 2014 - Annals of Pure and Applied Logic 165 (10):1626-1638.

Add more citations

Similar books and articles
Forcing and Stable Ordered-Union Ultrafilters.Todd Eisworth - 2002 - Journal of Symbolic Logic 67 (1):449-464.
A Few Special Ordinal Ultrafilters.Claude Laflamme - 1996 - Journal of Symbolic Logic 61 (3):920-927.
On the Cofinality of Ultrapowers.Andreas Blass & Heike Mildenberger - 1999 - Journal of Symbolic Logic 64 (2):727-736.
Hindman's Theorem, Ultrafilters, and Reverse Mathematics.Jeffry L. Hirst - 2004 - Journal of Symbolic Logic 69 (1):65-72.
On Milliken-Taylor Ultrafilters.Heike Mildenberger - 2011 - Notre Dame Journal of Formal Logic 52 (4):381-394.
Saturating Ultrafilters on N.D. H. Fremlin & P. J. Nyikos - 1989 - Journal of Symbolic Logic 54 (3):708-718.
Ultrafilters Which Extend Measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
Ultrafilters on Ω.James E. Baumgartner - 1995 - Journal of Symbolic Logic 60 (2):624-639.
Added to PP index

Total downloads
12 ( #404,540 of 2,210,836 )

Recent downloads (6 months)
1 ( #355,701 of 2,210,836 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature