Can you take Toernquist's inaccessible away?
Logic
2019-09-04 v1
Abstract
We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC.
Cite
@article{arxiv.1605.02419,
title = {Can you take Toernquist's inaccessible away?},
author = {Haim Horowitz and Saharon Shelah},
journal= {arXiv preprint arXiv:1605.02419},
year = {2019}
}