通用选择独立家族
摘要：抽象翻译摘要：用Mathias forcing相对对角化滤波器进行迭代强制得到的一般最大独立族是密集最大的。此外，通过仔细选择滤波器，可以确保该族是选择性的，从而在强烈意义上具有强制不可破坏性。利用这一点，我们证明了在$mathfrak{p} = 2^{aleph\_0}$的条件下，存在选择性的独立族，并且我们展示了如何添加任意所需大小的选择性独立族。
作者：Vera Fischer, Corey Bacal Switzer
论文ID：2306.09809
分类：Logic
分类简称：math.LO
提交时间：2023-06-19