Timeline for Is there a class choice principle over MK that is equivalent to class well ordering over MK?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2023 at 19:30 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 55 characters in body
|
| Dec 10, 2023 at 20:46 | history | became hot network question | |||
| Dec 10, 2023 at 18:43 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins, OK. I've done it. Thanks! You'll need to modify your answer accordingly. | |
| Dec 10, 2023 at 18:42 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 60 characters in body
|
| Dec 10, 2023 at 17:13 | comment | added | Joel David Hamkins | I would recommend the notation $\varepsilon\phi$ in place of $c\phi$, since you are positing a selection operator. | |
| Dec 10, 2023 at 14:55 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
edited body
|
| Dec 10, 2023 at 14:38 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins, Yes, there is no restriction against that. | |
| Dec 10, 2023 at 14:27 | comment | added | Joel David Hamkins | Probably you want to allow class parameters in your well-foundedness scheme. | |
| Dec 10, 2023 at 13:37 | answer | added | Joel David Hamkins | timeline score: 7 | |
| Dec 10, 2023 at 12:45 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |