Abstract
A free ultrafilter $\mathcal{U}$ on $\omega$ is called a $T$-point if, for every countable group $G$ of permutations of $\omega$, there exists $U\in\mathcal{U}$ such that, for each $g\in G$, the set $\{x\in U:gx\ne x, gx\in U\}$ is finite. We show that each $P$-point and each $Q$-point in $\omega^*$ is a $T$-point, and, under CH, construct a $T$-point, which is neither a $P$-point, nor a $Q$-point. A question whether $T$-points exist in ZFC is open.
Citation
O. Petrenko. I. V. Protasov. "Thin Ultrafilters." Notre Dame J. Formal Logic 53 (1) 79 - 88, 2012. https://doi.org/10.1215/00294527-1626536
Information