## Is every p-point ultrafilter Ramsey?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

A non-principal ultrafilter $\mathcal{U}$ on $\omega$ is a p-point (or weakly selective) iff for every partition $\omega = \bigsqcup _{n < \omega} Z_n$ into null sets, i.e each $Z_n \not \in \mathcal{U}$, there exists a measure one set $S \in \mathcal{U}$ such that $S \cap Z_n$ is finite for each $n$.

A non-principal ultrafilter $\mathcal{U}$ on $\omega$ is Ramsey (or selective) iff for every partition as above, there exists a measure one set $S$ such that $|S \cap Z_n| = 1$ for each $n$.

Clearly, every Ramsey ultrafilter is a p-point. What is known about the converse?

I couldn't find anything, not even a consistency result, in any searches I've done or sources I've checked. Is very little known/published about the converse?

-

## 4 Answers

Amit:

The converse is not true, not even under MA. This is a result of Kunen, and the paper you want to look at is "Some points in $\beta{\mathbb N}$", Math. Proc. Cambridge Philos. Soc. 80 (1976), no. 3, 385–398.

There is a related notion, called $q$-point. These are ultrafilters such that any finite-to-one $f:\omega\to\omega$ is injective on a set in the ultrafilter. A Ramsey ultrafilter is one that is simultaneously a $p$-point, and a $q$-point.

Miller proved ("There are no $Q$-points in Laver's model for the Borel conjecture", Proc. Amer. Math. Soc. 78 (1980), no. 1, 103–106) that it is consistent that there are no $q$-points. The consistency of the non-existence of $p$-points is significantly harder, and due to Shelah (see for example Chapter VI of his "Proper and improper forcing").

There is a fairly extensive literature on related results. You may want to start by looking at Blass' article in the Handbook of Set Theory, "Combinatorial Cardinal Characteristics of the Continuum".

-

Fantastic, thanks! – Amit Kumar Gupta Apr 19 2011 at 18:58

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

A few addenda to Andres Caicedo's answer: It was proved around 1970 by several people (Adrian Mathias was one of them) that the continuum hypothesis (CH) implies the existence of P-points that are not selective. (CH also implies the existence of selective ultrafilters and the existence of Q-points that are not selective. ZFC alone suffices to prove the existence of ultrafilters that are neither P-points nor Q-points.) The more difficult task of producing a model of set theory in which P-points exist but selective ultrafilters don't was achieved in Kunen's paper cited by Andres. It is a famous open problem whether there are models of set theory in which neither P-points nor Q-points exist; it is known that in such a model the cardinal of the continuum must be at least $\aleph_3$. (In contrast, there are models with `$2^{\aleph_0}=\aleph_2$` with no P-points and others with no Q-points.)

-

Another small addendum to Andres's and Andreas's answers.

It is also consistent that the answer to your question is yes.

Shelah has constructed a model of ZFC in which there exists (up to isomorphism) exactly one p-point -- and that p-point is, in fact, selective. This construction is Section XVIII.4 in Shelah, Proper and Improper Forcing .

-
Oh, yes. If there is a unique $p$-point, it follows that it must be Ramsey. By the way, the consistency of this uniqueness result is significantly more elaborate than the consistency of "there is a unique Ramsey ultrafilter" (also due to Shelah). – Andres Caicedo Apr 20 2011 at 1:53
Andres, is there an easy argument why a unique p-point must be selective? Also, it could be interesting to the OP to point out that you can pick any Ramsey ultrafilter in a CH model and have it survive to become the unique one in an extension. But then again, selective ultrafilters all look the same (in the sense of what Andreas calls 'complete combinatorics'). I would agree that the model is more involved though I have heard good arguments that this is mostly due to the presentation. – Peter Krautzberger Apr 20 2011 at 3:59

3
Peter, isn't it the case that any non-principal ultrafilter Rudin-Keisler below a p-point must itself be a p-point? In which case, if you have only one p-point, it must be minimal under the Rudin-Keisler ordering, and hence Ramsey. – Tanmay Inamdar Apr 20 2011 at 13:36
Doh! Thanks Tanmay! I shouldn't ask questions after midnight... – Peter Krautzberger Apr 20 2011 at 18:20
I just looked at Shelah's construction and I think it's worth pointing out that Shelah really needs (or at least thinks he needs) a Ramsey ultrafilter to start with, i.e., the preservation lemma requires the "surviving" P-point to be selective. – Peter Krautzberger Apr 26 2011 at 21:38
show 1 more comment

Another small and slightly trivial addendum:
If there are no p-points, then every p-point is a Ramsey ultrafilter. (Duh!) As Andreas Blass remarked above, this situation is consistent, which is easier to prove than the consistency of a unique p-point. ("It is usually significantly harder to prove there is a unique object than to prove there is none". See Shelah's Proper and improper forcing VI.5)

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 22, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9439817070960999, "perplexity_flag": "middle"}