Can you take Toernquist's inaccessible away?

Full-text links:

Download:

math.LO

(Submitted on 9 May 2016)

Abstract: We prove that ZF+DC+"There are no mad families" is equiconsistent with ZFC.

Subjects:	Logic (math.LO)
Journal reference:	became part of Arch. Math. Logic 58 (2019), no. 3-4, 325-338 [Sh:1090]
Report number:	Sh:E95a
Cite as:	arXiv:1605.02419 [math.LO]
	(or arXiv:1605.02419v1 [math.LO] for this version)

From: Haim Horowitz [view email]
[v1] Mon, 9 May 2016 05:09:04 GMT (261kb)