Can you take Toernquist's inaccessible away?
We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC.
math.LO↗
arXiv subjects
Haim Horowitz
Publications and source records attributed to Haim Horowitz.
arXiv subjects
Publications and source records attributed to Haim Horowitz.
We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC.