Timeline for Existence of a generalized stable ordinal
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 20, 2022 at 14:28 | comment | added | Fedor Pakhomov | @C7X I used confusing notations denoting as $\cong$ the elementary equivalence relation. I changed the notation to the more conventional $\equiv$. | |
| Jul 20, 2022 at 14:27 | history | edited | Fedor Pakhomov | CC BY-SA 4.0 |
changed notation from \cong to \equiv
|
| Jul 19, 2022 at 7:12 | comment | added | C7X | How do we have $(L_{\gamma};\in,\alpha)$ isomorphic to $(L_{\omega_1+n};\in,\omega_1)$ when the former's domain is countable and the latter's is uncountable? | |
| Feb 23, 2022 at 17:14 | comment | added | Fedor Pakhomov | @Reflecting_Ordinal Sorry, indeed I haven't read your question careful enough. I have made the changes to the argument to incorporate the constants. | |
| Feb 23, 2022 at 17:13 | history | edited | Fedor Pakhomov | CC BY-SA 4.0 |
Originally I misunderstood the question. Here I corrected the answer to address the question that was actually asked.
|
| Feb 19, 2022 at 23:24 | comment | added | Reflecting_Ordinal | Why do this relation symbol is equivalent to the infinitely many constant symbol in condition? | |
| Feb 19, 2022 at 15:50 | history | answered | Fedor Pakhomov | CC BY-SA 4.0 |