Timeline for Is Proper Class Choice equivalent to Global Choice?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Feb 1, 2020 at 17:48 | vote | accept | Zuhair Al-Johar | ||
| Feb 1, 2020 at 17:25 | answer | added | Noah Schweber | timeline score: 1 | |
| Feb 1, 2020 at 17:22 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins, Thanks for the reference! | |
| Feb 1, 2020 at 17:18 | comment | added | Joel David Hamkins | You might find this useful: jdh.hamkins.org/…. The theorem there gives several equivalent formulations of global choice over Gödel-Bernays set theory, which would be a natural base theory. | |
| Feb 1, 2020 at 17:08 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited body
|
| Feb 1, 2020 at 16:40 | history | undeleted | Zuhair Al-Johar | ||
| Feb 1, 2020 at 16:28 | history | deleted | Zuhair Al-Johar | via Vote | |
| Feb 1, 2020 at 15:40 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |