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 条
  • [1] Almost disjoint families under determinacy
    Chan, William
    Jackson, Stephen
    Trang, Nam
    ADVANCES IN MATHEMATICS, 2024, 437
  • [2] Maximal almost disjoint families of functions
    Raghavan, Dilip
    FUNDAMENTA MATHEMATICAE, 2009, 204 (03) : 241 - 282
  • [3] Maximal almost disjoint families and pseudocompactness of hyperspaces
    Guzman, O.
    Hrusak, M.
    Rodrigues, V. O.
    Todorcevic, S.
    Tomita, A. H.
    TOPOLOGY AND ITS APPLICATIONS, 2022, 305
  • [4] Partition subalgebras for maximal almost disjoint families
    Dow, A
    Zhou, JY
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 117 (1-3) : 223 - 259
  • [5] Mrowka maximal almost disjoint families for uncountable cardinals
    Dow, Alan
    Vaughan, Jerry E.
    TOPOLOGY AND ITS APPLICATIONS, 2010, 157 (08) : 1379 - 1394
  • [6] ON INDEPENDENCE OF EXISTENCE OF SMALL, INFINITE, MAXIMAL, ALMOST DISJOINT, FAMILIES - PRELIMINARY REPORT
    HECHLER, SH
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (03): : 576 - &
  • [7] Definability and almost disjoint families
    Toernquist, Asger
    ADVANCES IN MATHEMATICS, 2018, 330 : 61 - 73
  • [8] REFINING WITH ALMOST DISJOINT FAMILIES
    HECHLER, SH
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A447 - A447
  • [9] On Borel almost disjoint families
    Witold Marciszewski
    Roman Pol
    Monatshefte für Mathematik, 2012, 168 : 545 - 562
  • [10] Almost disjoint families and property (a)
    Szeptycki, PJ
    Vaughan, JE
    FUNDAMENTA MATHEMATICAE, 1998, 158 (03) : 229 - 240