Timeline for Analogues of worldly cardinals for (an unusual version of) second-order $\mathsf{ZFC}$
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 14, 2021 at 20:16 | vote | accept | Noah Schweber | ||
| Mar 9, 2021 at 12:55 | answer | added | Farmer S | timeline score: 9 | |
| Mar 8, 2021 at 21:02 | comment | added | Noah Schweber | @HanulJeon Yup, as you pointed out in your comment to my other question linked above! | |
| Mar 8, 2021 at 20:58 | comment | added | Hanul Jeon | Is $\mathfrak{ZFC}(\mathsf{SOL})$ the same with $\mathsf{ZFC^{def}}$ in your another previous question on MSE? | |
| Mar 8, 2021 at 20:45 | comment | added | Jason Zesheng Chen | Done. I also like this line of work very much. There's also an earlier and shorter draft in 2016 before it was split into a two-parter. | |
| Mar 8, 2021 at 20:43 | answer | added | Jason Zesheng Chen | timeline score: 8 | |
| Mar 8, 2021 at 20:35 | comment | added | Noah Schweber | @JasonZeshengChen Woah, I was not familiar with that paper (link) - top of my reading list! Please post this as an answer so I can upvote it. | |
| Mar 8, 2021 at 20:33 | comment | added | Jason Zesheng Chen | Consistently the answer to question 1 is "exactly the inaccessibles". This is Theorem 8.5 in Inner Models from Extended Logics (Part 1), 2020: assuming $V=L$, then the models of ZFC(SOL) are exactly those isomorphic to models of ZFC of the form $L_\kappa$ where $\kappa$ is inaccessible. | |
| Mar 8, 2021 at 20:08 | history | asked | Noah Schweber | CC BY-SA 4.0 |