Can you take Toernquist's inaccessible away?
arXiv:1605.02419
Abstract
We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC.
Cited by in corpus (8)
- Maximal almost disjoint families, determinacy, and forcing
- Madness and regularity properties
- The Ramsey property and higher dimensional mad families
- Maximal independent sets in Borel graphs and large cardinals
- Compact Sets of Baire Class One Functions and Maximal Almost Disjoint Families
- The Ramsey property implies no mad families
- Definable Maximal Independent Families
- Mad families and non-meager filters