Timeline for Can Ackermann set theory find a natural interpretation in light\heavy class dichotomy?

Current License: CC BY-SA 4.0

14 events

when toggle format	what		by	license	comment
Jun 15, 2020 at 7:27	history	edited	CommunityBot		Commonmark migration
Dec 28, 2018 at 16:07	comment	added	Zuhair Al-Johar		I think the axiom of Dichotomy can be weakened without loss of strength to $Hv(x) \wedge TC(x) \subseteq TC(y) \to Hv(y)$.
Dec 25, 2018 at 19:11	history	edited	Zuhair Al-Johar		edited tags
Dec 25, 2018 at 12:51	vote	accept	Zuhair Al-Johar
Dec 25, 2018 at 11:59	history	edited	Zuhair Al-Johar	CC BY-SA 4.0	edited body
Dec 25, 2018 at 9:45	answer	added	Monroe Eskew		timeline score: 5
Dec 24, 2018 at 22:11	comment	added	Zuhair Al-Johar		Ackermann is equi-interpretable with ZFC, but here this theory proves the existence of a model of Ackermann set theory, so it must be stronger than ZFC.
Dec 24, 2018 at 20:04	comment	added	Zuhair Al-Johar		@MonroeEskew, I'm not sure of that yet, here you have proper classes, and quantifiers do range over them, perhaps you are right, but I'm not sure.
Dec 24, 2018 at 11:26	comment	added	Monroe Eskew		Hasn’t essentially the same question been asked and answered already? If $V_\alpha \prec V_\beta \models ZFC$, then we can interpret “Set” and “light” as having rank $<\alpha$. So this has consistency strength below an inaccessible cardinal.
Dec 23, 2018 at 17:47	history	edited	Zuhair Al-Johar	CC BY-SA 4.0	edited body
Dec 23, 2018 at 17:34	history	edited	Zuhair Al-Johar	CC BY-SA 4.0	added 149 characters in body
Dec 23, 2018 at 10:39	history	edited	Zuhair Al-Johar	CC BY-SA 4.0	typographical errors fixed, improved wordings
Dec 23, 2018 at 0:38	history	edited	Zuhair Al-Johar	CC BY-SA 4.0	added 2 characters in body
Dec 23, 2018 at 0:22	history	asked	Zuhair Al-Johar	CC BY-SA 4.0