Maximal independent sets in Borel graphs and large cardinals

Abstract

We construct a Borel graph G such that ZF+DC+"There are no maximal independent sets in G" is equiconsistent with ZFC+"There exists an inaccessible cardinal".

References in corpus (1)

• Can you take Toernquist's inaccessible away?

Cited by in corpus (1)

• Maximal almost disjoint families, determinacy, and forcing