Definability and almost disjoint families

Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

We show that there are no infinite maximal almost disjoint ("mad") families in Solovay's model, thus solving a long-standing problem posed by A.D.R. Mathias in 1967. We also give a new proof of Mathias' theorem that no analytic infinite almost disjoint family can be maximal, and show more generally that if Martin's Axiom holds at κ<2ℵ0, then no κ-Souslin infinite almost disjoint family can be maximal. Finally we show that if ℵL[a]1<ℵ1, then there are no Σ12[a] infinite mad families.
OriginalsprogEngelsk
TidsskriftAdvances in Mathematics
Vol/bind330
Sider (fra-til)61-73
ISSN0001-8708
DOI
StatusUdgivet - 2018

ID: 184033378