Kunen's inconsistency: Difference between revisions
(Kunen's proof may not be generalizable to j : V_(λ+1) -> V_(λ+1), but what if something else is?)
RhubarbJayde (talk | contribs) No edit summary |
((Kunen's proof may not be generalizable to j : V_(λ+1) -> V_(λ+1), but what if something else is?)) |
||
Line 4:
* For all limit cardinals \(\lambda\), there is no nontrivial elementary embedding \(j: V_{\lambda+2} \to V_{\lambda+2}\).
However, it is believed that it can not be generalized to show the nonexistence of a nontrivial elementary embedding \(j: V_{\lambda+1} \to V_{\lambda+1}\). Therefore, the rank-into-rank cardinals are believed to be
Kunen's inconsistency also implies that if \(\kappa\) is [[supercompact]], \(N\) is a [[Extender model|weak extender model]] for \(\kappa\)'s supercompactness, and \(j: N \to N\) is a nontrivial elementary embedding, then the critical point of \(j\) is less than \(\kappa\). It is known that there must be such an elementary embedding.
|