加载中…
We prove that -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 These results improve and correct previous theorems that can be found in the literature.

生成讲解博客的中文版本

生成AI智能校验的中文版本