Timeline for Is Proper Class Choice equivalent to Global Choice?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 1, 2020 at 17:48 | vote | accept | Zuhair Al-Johar | ||
| Feb 1, 2020 at 17:28 | comment | added | Noah Schweber | Basically, restricting attention to proper classes is never going to make things substantively easier - the idea here is the same, although the implementation is different, as in my answer to your earlier question. | |
| Feb 1, 2020 at 17:25 | history | answered | Noah Schweber | CC BY-SA 4.0 |