Timeline for What's the consistency strength of this kind of cardinal?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 28, 2023 at 16:42 | history | edited | Binary198 | CC BY-SA 4.0 |
added 60 characters in body
|
| May 17, 2022 at 18:31 | comment | added | Binary198 | X is a class. Also, I guess that this is a "nonrecursive analogue" of stability. | |
| May 17, 2022 at 9:13 | comment | added | Yair Hayut | What is the motivation for this definition? What is $X$? | |
| May 13, 2022 at 17:43 | history | edited | Binary198 | CC BY-SA 4.0 |
deleted 160 characters in body
|
| May 13, 2022 at 17:36 | history | edited | Binary198 | CC BY-SA 4.0 |
added 1 character in body
|
| May 13, 2022 at 17:35 | comment | added | Binary198 | Oh. I double-checked my friend's message and I do have my arrow backwards apparently. | |
| May 13, 2022 at 17:21 | comment | added | Noah Schweber | Do you have your arrow backwards? There already can't be any $\Sigma_0$-elementary embedding from $V_\alpha$ to $V_\beta$ if $\alpha>\beta$. (It would induce an order-embedding $\alpha\rightarrow\beta$, which can't happen by well-orderedness.) | |
| May 13, 2022 at 17:02 | history | asked | Binary198 | CC BY-SA 4.0 |