Definability and almost disjoint families
Abstract
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 $\kappa<2^{\aleph_0}$, then no $\kappa$-Souslin infinite almost disjoint family can be maximal. Finally we show that if $\aleph_1^{L[a]}<\aleph_1$, then there are no $\Sigma^1_2[a]$ infinite mad families.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2015
- DOI:
- 10.48550/arXiv.1503.07577
- arXiv:
- arXiv:1503.07577
- Bibcode:
- 2015arXiv150307577T
- Keywords:
-
- Mathematics - Logic;
- 03E05;
- 03E15;
- 03E35;
- 03E45;
- 03E50
- E-Print:
- Changes in version 2: (1) The proof of Claim 2 on p. 9 has been fixed. (2) Notation regarding characteristic functions and the sets they define has been explained more clearly (3) Typos corrected throughout the manuscript