English

The Rudin-Kisler ordering of P-points under $\mathfrak{b} = \mathfrak{c}$

Logic 2020-03-25 v4

Abstract

M. E. Rudin proved under CH that for each P-point there exists another P-point strictly RK-greater (M. E. Rudin, Partial orders on the types of βN\beta \mathbb{N} , Trans. Amer. Math. Soc., 155 (1971), 353-362). Assuming p=c\mathfrak{p}=\mathfrak{c} A. Blass showed the same, and proved that each RK-increasing ω\omega-sequence of P-points is upper bounded by a P-point, and that there is an order embedding of the real line into the class of P-points with respect to the RK-(pre)ordering (A. Blass, Rudin - Keisler ordering on P-points, Trans. Amer. Math. Soc., 179 (1973), 145-166). In the present paper the results cited above are proved under a (weaker) assumption b=c\mathfrak{b}=\mathfrak{c}. A. Blass also asked in (A. Blass, Rudin - Keisler ordering on P-points, Trans. Amer. Math. Soc., 179 (1973), 145-166) what ordinals can be embedded in the set of P-points and pointed out, that such an ordinal may not be greater then c+\mathfrak{c}^+. In the present paper the question is answered showing (under b=c\mathfrak{b} = \mathfrak{c}) that there is an order embedding of c+\mathfrak{c}^+ into P-points.

Keywords

Cite

@article{arxiv.1803.03862,
  title  = {The Rudin-Kisler ordering of P-points under $\mathfrak{b} = \mathfrak{c}$},
  author = {Andrzej Starosolski},
  journal= {arXiv preprint arXiv:1803.03862},
  year   = {2020}
}

Comments

19 pages, beginning of the proof of Theorem 3.12 is a quotation of the begining of the proof of Theorem 8 from the papper by Blass mentioned in the abstract