Skip to main navigation Skip to search Skip to main content

Maximal almost disjoint families, determinacy, and forcing

  • University of Copenhagen
  • University of Toronto

Research output: Contribution to journalArticlepeer-review

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() 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.

Original languageEnglish
Article number2150026
JournalJournal of Mathematical Logic
Volume22
Issue number1
DOIs
StatePublished - 1 Apr 2022

Keywords

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

Fingerprint

Dive into the research topics of 'Maximal almost disjoint families, determinacy, and forcing'. Together they form a unique fingerprint.

Cite this