AI 中文总结
本文通过简易证明得出,向连续统假设(CH)模型添加大量可数支撑Silver实数后,所得模型中不存在P点。
AI 中文摘要
我们给出一个简易证明:在向CH模型添加大量Silver实数(可数支撑)得到的模型中,不存在P点。
英文摘要
We provide an easy proof that there are no P-points in the models obtained by adding many Silver reals with countable support to a model of CH.