Abstract

We show that the non-existence of mad families is equiconsistent with \, answering an old question of Mathias. We also consider the above result in the general context of maximal independent sets in Borel graphs, and we construct a Borel graph G such that \ “there is no maximal independent set in G” is equiconsistent with \ “there exists an inaccessible cardinal”.