加载中…
We show that in the model obtained by iteratively pseudo-intersecting a Ramsey ultrafilter via a length- countable support iteration of restricted Mathias forcing over a ground model satisfying , there is a unique -point up to isomorphism. In particular, it is consistent that there is only one -point while there are -many near-coherence classes of ultrafilters.

生成讲解博客的中文版本

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