Sh:1093

• Horowitz, H., & Shelah, S. Transcendence bases, well-orderings of the reals and the axiom of choice. Preprint. arXiv: 1901.01508
• 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"