Extendible: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 3:
* For each \(\lambda > \kappa\), there is an elementary embedding \(j: (V_{\lambda+1} \to V_{j(\lambda)+1}\) with critical point \(\kappa\) so that \(j(\kappa) > \lambda\).
* For each \(\lambda \geq \kappa\), there is some inner model \(M\) so that \(M^\lambda \subseteq M\) and \(V_{j(\kappa)} \subseteq M\), and there exists an elementary embedding \(j: V \to M\) with critical point \(\kappa\) and \(j(\kappa) > \lambda\).
While the latter clearly characterization connects extendibles to supercompacts, the same can not be said for the first. However, this follows from Magidor's lemma: a cardinal \(\kappa\) is supercompact iff, for all \(\lambda > \kappa\), there exist \(\bar{\kappa} < \bar{\lambda} < \kappa\) and an elementary embedding \(j: V_{\bar{\lambda}+1} \to V_{\lambda+1}\) with critical point \(\bar{\kappa}\) so that \(j(\bar{\kappa}) = \kappa\).
| |||