Timeline for Can we iteratively reflect on self elementary embeddable stages of the cumulative hierarchy?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 19, 2023 at 20:08 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 10 characters in body
|
| Jan 19, 2023 at 16:52 | comment | added | Zuhair Al-Johar | Thanks! That's what I was searching for. | |
| Jan 19, 2023 at 16:51 | vote | accept | Zuhair Al-Johar | ||
| Jan 19, 2023 at 16:37 | comment | added | Holo | @ZuhairAl-Johar I am using the fact that "being an ordinal" is absolute between transitive models, you don't need them to be models of ZF ("$x$ is an ordinal" is $\Delta_0$), but yes, I did use that fact. With a bit more effort you can show that even if we don't assume $W_0$ is transitive your strong reflection principle implies "being is ordinal" is absolute between $V$ and $W_0$ | |
| Jan 19, 2023 at 16:23 | comment | added | Zuhair Al-Johar | Are you using absolutness of "..is an ordinal" over transitive models of ZF in the last step, because $r$ is seen by $W_0$ as ordinal, it need not be so externally unless you are using some kind of absolutness of ordinality over $W_0$. | |
| Jan 19, 2023 at 15:47 | history | edited | LSpice | CC BY-SA 4.0 |
Typo and tidying
|
| Jan 19, 2023 at 13:42 | history | answered | Holo | CC BY-SA 4.0 |