Ultrafilters in the random real model
Alan Dow, Osvaldo Guzmán
Published: 2025/7/11
Abstract
We prove that \textsf{P}-points (even strong P-points) and Gruff ultrafilters exist in any forcing extension obtained by adding fewer than $\aleph_{\omega}% $-many random reals to a model of \textsf{CH. }These results improve and correct previous theorems that can be found in the literature.