Maximal almost disjoint families, determinacy, and forcing

Karen Bakke Haga, David Schrittesser*, Asger Törnquist

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)
28 Downloads (Pure)

Abstract

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(a) 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 Fin. The proofs combine ideas from invariant descriptive set theory and forcing.

Original languageEnglish
Article number2150026
JournalJournal of Mathematical Logic
Volume22
Issue number1
Pages (from-to)1-42
ISSN0219-0613
DOIs
Publication statusPublished - 2022

Keywords

  • Borel ideals
  • Definability
  • determinacy
  • Fubini product
  • Mathias forcing
  • maximal almost disjoint families

Cite this