Timeline for Possible inconsistency related to embeddings $j: M\prec V$
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 30, 2019 at 16:01 | vote | accept | Master | ||
| Oct 30, 2019 at 15:31 | answer | added | Noah Schweber | timeline score: 4 | |
| Oct 30, 2019 at 14:25 | review | Close votes | |||
| Nov 4, 2019 at 3:05 | |||||
| Oct 30, 2019 at 13:37 | comment | added | Joel David Hamkins | Generalizations of the Kunen inconsistency: arxiv.org/abs/1106.1951. Theorem 28 asserts that if M is definable, then there is no elementary embedding $j:M \to V$. | |
| Oct 30, 2019 at 6:11 | comment | added | Asaf Karagila♦ | @Gabe: Are you sure that measurable cardinals are inconsistent, and just nobody noticed for 20 years? ;-) | |
| Oct 30, 2019 at 5:39 | history | edited | Asaf Karagila♦ | CC BY-SA 4.0 |
added 222 characters in body
|
| Oct 30, 2019 at 2:31 | comment | added | Gabe Goldberg | Something else is going on. In Vickers-Welch, the embedding $j : M \to V$ and the class $M$ are only definable from the class $I$ of indiscernibles witnessing that $\text{Ord}$ is Ramsey. But $I$ itself need not be definable. | |
| Oct 30, 2019 at 2:03 | history | asked | Master | CC BY-SA 4.0 |