Maximal almost disjoint families, determinacy, and forcing

被引:3
|
作者
Haga, Karen Bakke [1 ]
Schrittesser, David [2 ,3 ]
Tornquist, Asger [1 ]
机构
[1] Univ Copenhagen, Dept Math Sci, Univ Pk 5, DK-2100 Copenhagen, Denmark
[2] Harbin Inst Technol, Inst Adv Study Math, 92 West Da Zhi St, Harbin 150001, Heilongjiang, Peoples R China
[3] Univ Toronto Scarborough, Dept Comp & Math Sci, 1095 Mil Trail, Toronto, ON M1C 1A4, Canada
基金
奥地利科学基金会;
关键词
Definability; maximal almost disjoint families; determinacy; Mathias forcing; Fubini product; Borel ideals; ANALYTIC IDEALS; MODEL;
D O I
10.1142/S0219061321500264
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We study the notion of J-MAD families where J is a Borel ideal on omega. We show that if J is any finite or countably iterated Fubini product of the ideal of finite sets Fin, then there are no analytic infinite J-MAD families, and assuming Projective Determinacy and Dependent Choice there are no infinite projective J-MAD families; and under the full Axiom of Determinacy + V = L(R) or under AD(+) there are no infinite J-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 Fin circle times Fin. The proofs combine ideas from invariant descriptive set theory and forcing.
引用
收藏
页数:42
相关论文
共 50 条