Maximal independent sets in Borel graphs and large cardinals
  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". 
Haim Horowitz and Saharon Shelah
math.LO