Timeline for Can Reinhardt cardinals be compatible with Choice in absence of Extensionality?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 12, 2022 at 18:22 | comment | added | Asaf Karagila♦ | Since being a pure set is a first-order property, any elementary embedding of the universe is also an elementary embedding of the kernel, which is a model of ZFC, if you assume choice. | |
| Apr 12, 2022 at 18:09 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |