Difference between revisions of "Extendible"
(Replaced content with "{{DISPLAYTITLE: Extendible cardinal}} {{stub}}") |
|||
Line 2: | Line 2: | ||
+ | A cardinal $\kappa$ is ''$\eta$-extendible'' for an ordinal $\eta$ if and only if there is an elementary embedding $j:V_{\kappa+\eta}\to V_\theta$, with critical point $\kappa$, for some ordinal $\theta$. The cardinal $\kappa$ is ''extendible'' if and only if it is $\eta$-extendible for every ordinal $\eta$. | ||
− | {{ | + | Extendibility is connected in strength with supercompactness. Every extendible cardinal is supercompact, since from the embeddings $j:V_\lambda\to V_\theta$ we may extract the induced supercompactness measures $X\in\mu\iff j''\delta\in j(X)$ for $X\subset P_\kappa\delta$, provided that $j(\kappa)\gt\delta$ and $P_\kappa\delta\subset V_\lambda$, which one can arrange. On the other hand, if $\kappa$ is $\theta$-supercompact, witnessed by $j:V\to M$, then $\kappa$ is $\delta$-extendible inside $M$, provided $\beth_\delta\leq\theta$, since the restricted elementary embedding $j\upharpoonright V_\delta:V_\delta\to j(V_\delta)=M_{j(\delta)}$ has size at most $\theta$ and is therefore in $M$, witnessing $\delta$-extendibility there. |
+ | |||
+ | == 0-extendible cardinals == | ||
+ | |||
+ | For the special case $\eta=0$, an inaccessible cardinal $\kappa$ is $0$-extendible if $V_\kappa\prec V_\theta$ for some ordinal $\theta$. By itself, this is a weak notion; it is just the first step toward $\kappa$ being a [[pseudo uplifting]] cardinal. In particular, the existence of a $0$-extendible cardinal is weaker than the existence of a [[Mahlo]] cardinal. | ||
+ | |||
+ | == $(\Sigma_n,\eta)$-extendible cardinals == | ||
+ | |||
+ | A cardinal $\kappa$ is $(\Sigma_n,\eta)$-extendible, if there is a $\Sigma_n$-elementary embedding $j:V_{\kappa+\eta}\to V_\theta$ with critical point $\kappa$, for some ordinal $\theta$. These cardinals were introduced by Bagaria, Hamkins, Tsaprounis and Usuba <cite>BagariaHamkinsTsaprounisUsuba:SuperstrongAndOtherLargeCardinalsAreNeverLaverIndestructible</cite>. | ||
+ | |||
+ | == $\Sigma_n$-extendible cardinals == | ||
+ | |||
+ | The special case of $\eta=0$ leads to a much weaker notion. Specifically, a cardinal $\kappa$ is ''$\Sigma_n$-extendible'' if it is $(\Sigma_n,0)$-extendible, or more simply, if $V_\kappa\prec V_\theta$ for some ordinal $\theta$. Note that this does not necessarily imply that $\kappa$ is inaccessible, and indeed the existence of $\Sigma_n$-extendible cardinals is provable in ZFC via the reflection theorem. For example, every [[reflecting#Reflection and correctness | $\Sigma_n$ correct]] cardinal is $\Sigma_n$-extendible, since from $V_\kappa\prec_{\Sigma_n} V$ and $V_\lambda\prec_{\Sigma_n} V$, where $\kappa\lt\lambda$, it follows that $V_\kappa\prec_{\Sigma_n} V_\lambda$. So in fact there is a closed unbounded class of $\Sigma_n$-extendible cardinals. | ||
+ | |||
+ | Similarly, every Mahlo cardinal $\kappa$ has a stationary set of inaccessible $\Sigma_n$-extendible cardinals $\gamma<\kappa$. | ||
+ | |||
+ | {{references}} |
Revision as of 11:07, 23 July 2013
A cardinal $\kappa$ is $\eta$-extendible for an ordinal $\eta$ if and only if there is an elementary embedding $j:V_{\kappa+\eta}\to V_\theta$, with critical point $\kappa$, for some ordinal $\theta$. The cardinal $\kappa$ is extendible if and only if it is $\eta$-extendible for every ordinal $\eta$.
Extendibility is connected in strength with supercompactness. Every extendible cardinal is supercompact, since from the embeddings $j:V_\lambda\to V_\theta$ we may extract the induced supercompactness measures $X\in\mu\iff j''\delta\in j(X)$ for $X\subset P_\kappa\delta$, provided that $j(\kappa)\gt\delta$ and $P_\kappa\delta\subset V_\lambda$, which one can arrange. On the other hand, if $\kappa$ is $\theta$-supercompact, witnessed by $j:V\to M$, then $\kappa$ is $\delta$-extendible inside $M$, provided $\beth_\delta\leq\theta$, since the restricted elementary embedding $j\upharpoonright V_\delta:V_\delta\to j(V_\delta)=M_{j(\delta)}$ has size at most $\theta$ and is therefore in $M$, witnessing $\delta$-extendibility there.
Contents
0-extendible cardinals
For the special case $\eta=0$, an inaccessible cardinal $\kappa$ is $0$-extendible if $V_\kappa\prec V_\theta$ for some ordinal $\theta$. By itself, this is a weak notion; it is just the first step toward $\kappa$ being a pseudo uplifting cardinal. In particular, the existence of a $0$-extendible cardinal is weaker than the existence of a Mahlo cardinal.
$(\Sigma_n,\eta)$-extendible cardinals
A cardinal $\kappa$ is $(\Sigma_n,\eta)$-extendible, if there is a $\Sigma_n$-elementary embedding $j:V_{\kappa+\eta}\to V_\theta$ with critical point $\kappa$, for some ordinal $\theta$. These cardinals were introduced by Bagaria, Hamkins, Tsaprounis and Usuba [1].
$\Sigma_n$-extendible cardinals
The special case of $\eta=0$ leads to a much weaker notion. Specifically, a cardinal $\kappa$ is $\Sigma_n$-extendible if it is $(\Sigma_n,0)$-extendible, or more simply, if $V_\kappa\prec V_\theta$ for some ordinal $\theta$. Note that this does not necessarily imply that $\kappa$ is inaccessible, and indeed the existence of $\Sigma_n$-extendible cardinals is provable in ZFC via the reflection theorem. For example, every $\Sigma_n$ correct cardinal is $\Sigma_n$-extendible, since from $V_\kappa\prec_{\Sigma_n} V$ and $V_\lambda\prec_{\Sigma_n} V$, where $\kappa\lt\lambda$, it follows that $V_\kappa\prec_{\Sigma_n} V_\lambda$. So in fact there is a closed unbounded class of $\Sigma_n$-extendible cardinals.
Similarly, every Mahlo cardinal $\kappa$ has a stationary set of inaccessible $\Sigma_n$-extendible cardinals $\gamma<\kappa$.
References
- Bagaria, Joan and Hamkins, Joel David and Tsaprounis, Konstantinos and Usuba, Toshimichi. Superstrong and other large cardinals are never Laver indestructible. Archive for Mathematical Logic 55(1-2):19--35, 2013. www arχiv DOI bibtex