Difference between revisions of "Extendible"

From Cantor's Attic
Jump to: navigation, search
(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$.
  
{{stub}}
+
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.

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

  1. 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
Main library