paper

Ultrafilters in the random real model

arXiv:2507.08346 · doi:10.4153/S0008414X25101508

Abstract

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