Maximal independent sets in Borel graphs and large cardinals
by Horowitz and Shelah. [HwSh:1093]
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''
Back to the list of publications