Timeline for Can there be no complexity bound on the definable elementary $V\rightarrow M$?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 2, 2022 at 13:20 | comment | added | Asaf Karagila♦ | Because the set-wise parts of the embeddings are in the universe, but you can't use them to define the whole embedding. Similarly, if you are a critical cardinals, and it might be that the small parts of your embedding are "in the universe", but you can't condense them to a global embedding. | |
| Aug 2, 2022 at 12:31 | comment | added | Noah Schweber | @AsafKaragila I'm not sure how related that actually is, but it's a good (maybe better) question! | |
| Aug 2, 2022 at 12:31 | vote | accept | Noah Schweber | ||
| Aug 2, 2022 at 4:50 | answer | added | Gabe Goldberg | timeline score: 7 | |
| Aug 2, 2022 at 0:00 | comment | added | Asaf Karagila♦ | Vaguely related question in the choiceless context, is it possible for $\kappa$ to be a critical point of an elementary embedding $V_{\kappa+1}\to N$, where $N$ is a transitive set; but there is no embedding $V\to M$ with critical point $\kappa$? | |
| Aug 1, 2022 at 22:00 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 211 characters in body
|
| Aug 1, 2022 at 20:34 | history | asked | Noah Schweber | CC BY-SA 4.0 |