当前位置: X-MOL 学术J. Math. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Maximal almost disjoint families, determinacy, and forcing
Journal of Mathematical Logic ( IF 0.9 ) Pub Date : 2021-05-10 , DOI: 10.1142/s0219061321500264
Karen Bakke Haga 1 , David Schrittesser 2, 3 , Asger Törnquist 1
Affiliation  

We study the notion of 𝒥-MAD families where 𝒥 is a Borel ideal on ω. We show that if 𝒥 is any finite or countably iterated Fubini product of the ideal of finite sets Fin, then there are no analytic infinite 𝒥-MAD families, and assuming Projective Determinacy and Dependent Choice there are no infinite projective 𝒥-MAD families; and under the full Axiom of Determinacy +V=L() or under AD+ there are no infinite 𝒥-mad families. Similar results are obtained in Solovay’s model. These results apply in particular to the ideal Fin, which corresponds to the classical notion of MAD families, as well as to the ideal FinFin. The proofs combine ideas from invariant descriptive set theory and forcing.

中文翻译:

最大几乎不相交的家庭,确定性和强迫

我们研究的概念𝒥-MAD 家庭𝒥是一个 Borel 理想ω. 我们证明如果𝒥是有限集理想的任何有限或可数迭代 Fubini 乘积,则不存在解析无穷大𝒥-MAD 族,并假设射影确定性和依赖选择没有无限射影𝒥-疯狂的家庭;并在完整的确定性公理下+=大号()或以下一个D+没有无限的𝒥-疯狂的家庭。在 Solovay 的模型中也得到了类似的结果。这些结果尤其适用于理想,它对应于 MAD 家族的经典概念,以及理想的. 证明结合了不变描述集理论和强迫的想法。
更新日期:2021-05-10
down
wechat
bug