Timeline for What's the exact consistency strength of this axiom system for classes and sets?
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 18, 2019 at 14:24 | vote | accept | Zuhair Al-Johar | ||
Jun 21, 2019 at 8:29 | |||||
Jun 18, 2019 at 14:23 | comment | added | Zuhair Al-Johar | This system interprets easily Ackermann's set theory, its easy to prove ackermann's reflection axiom. It is known that Ackermann interprets ZFC (Reinhardt). So it must interpret ZFC. | |
Jun 18, 2019 at 14:12 | history | answered | Will Sawin | CC BY-SA 4.0 |