The notion of a [Formula: see text]-generic sequence of P-points is introduced in this paper. It is proved assuming the Continuum Hypothesis that for each [Formula: see text], any [Formula: see text]-generic sequence of P-points can be extended to an [Formula: see text]-generic sequence. This shows that the CH implies that there is a chain of P-points of length [Formula: see text] with respect to both Rudin–Keisler and Tukey reducibility. These results answer an old question of Andreas Blass.

In this article we, given a free ultrafilter p on ω, consider the following classes of ultrafilters:(1) T(p) - the set of ultrafilters Rudin-Keisler equivalent to p,(2) S(p)={q ∈ ω*:∃ f ∈ ω ω , strictly increasing, such that q=f β (p)},(3) I(p) - the set of strong Rudin-Blass predecessors of p,(4) R(p) - the set of ultrafilters equivalent to p in the strong Rudin-Blass order,(5) P RB (p) - the set of Rudin-Blass predecessors of p, and(6) P RK (p) (...) - the set of Rudin-Keisler predecessors of p,and analyze relationships between them. We introduce the semi-P-points as those ultrafilters p ∈ ω* for which P RB (p)=P RK (p), and investigate their relations with P-points, weak-P-points and Q-points. In particular, we prove that for every semi-P-point p its α-th left power α p is a semi-P-point, and we prove that non-semi-P-points exist in ZFC. Further, we define an order ⊴ in T(p) by r⊴q if and only if r ∈ S(q). We prove that (S(p),⊴) is always downwards directed, (R(p),⊴) is always downwards and upwards directed, and (T(p),⊴) is linear if and only if p is selective.We also characterize rapid ultrafilters as those ultrafilters p ∈ ω* for which R(p)∖S(p) is a dense subset of ω*.A space X is M-pseudocompact (for ) if for every sequence (U n ) n < ω of disjoint open subsets of X, there are q ∈ M and x ∈ X such that x=q-lim (U n ); that is, for every neighborhood V of x. The P RK (p)-pseudocompact spaces were studied in [ST].In this article we analyze M-pseudocompactness when M is one of the classes S(p), R(p), T(p), I(p), P RB (p) and P RK (p). We prove that every Frolik space is S(p)-pseudocompact for every p ∈ ω*, and determine when a subspace with is M-pseudocompact. (shrink)

We use modified Tsirelson's spaces to prove that there is no finite basis for turbulent Polish group actions. This answers a question of Hjorth and Kechris 329–346; Hjorth, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2000, Section 3.4.3).

We prove that if an ultrafilter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{L}}$$\end{document} is not coherent to a Q-point, then each analytic non-σ-bounded topological group G admits an increasing chain \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle G_\alpha:\alpha < \mathfrak b(\mathcal L)\rangle}$$\end{document} of its proper subgroups such that: (i) \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\bigcup_{\alpha}G_\alpha=G}$$\end{document}; and (ii) For every σ-bounded subgroup H of G there exists α such that \documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H\subset G_\alpha}$$\end{document}. In case of the group Sym(ω) of all permutations of ω with the topology inherited from ωω this improves upon earlier results of S. Thomas. (shrink)