Maximal independent sets in Borel graphs and large cardinals
Logic
2019-09-02 v1
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".
Cite
@article{arxiv.1606.04765,
title = {Maximal independent sets in Borel graphs and large cardinals},
author = {Haim Horowitz and Saharon Shelah},
journal= {arXiv preprint arXiv:1606.04765},
year = {2019}
}