[2507.08346]

Ultrafilters in the random real model


We prove that \textsf{P}-points (even strong P-points) and Gruff ultrafilters exist in any forcing extension obtained by adding fewer than $\aleph_ω% $-many random reals to a model of \textsf{CH. }These results improve and correct previous theorems that can be found in the literature.