Timeline for Is $\sf MK$ bi-interpretable with this modification of it posing an Ur-proper class for every set?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16, 2023 at 21:18 | comment | added | Zuhair Al-Johar | @HanulJeon, for $\sf MK$ see en.wikipedia.org/wiki/…. For the rest of axioms of $\sf MK'$ those would be union, power, and infinity over sets as well as Foundation and class comprehension. | |
| Oct 16, 2023 at 20:33 | comment | added | Hanul Jeon | There are various formulation of $\mathsf{MK}$, and a version of $\mathsf{MK}$ I know does not use Limitation of Size. May I ask the list of axioms of $\mathsf{MK}$ you suppose? | |
| Oct 14, 2023 at 7:21 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 39 characters in body
|
| Oct 13, 2023 at 8:33 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 97 characters in body
|
| Oct 13, 2023 at 8:28 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |