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