Timeline for Analogues of worldly cardinals for (an unusual version of) second-order $\mathsf{ZFC}$
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 18, 2022 at 12:53 | comment | added | Alec Rhea | @NoahSchweber This is interesting since inaccessibles $\kappa$ are precisely the cardinals such that $V_{\kappa+1}\models MK$. If a similar result holds for models of MK assuming $V=L$ then (assuming $V=L$) models of MK and $\mathfrak{ZFC}({\sf SOL})$ coincide exactly. | |
Mar 14, 2021 at 20:16 | comment | added | Noah Schweber | I can only accept one answer and I've gone with Farmer's, but thank you very much for this citation! | |
Mar 8, 2021 at 20:43 | history | answered | Jason Zesheng Chen | CC BY-SA 4.0 |