加载中…
Under we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an in-depth isomorphism-of-names argument for in the product-Sacks model. Finally, we prove that Shelah’s ultrapower model for the consistency of also satisfies . Thus, consistently holds relative to a measurable.

生成讲解博客的中文版本

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