Difference between revisions of "Vopenka"
Zetapology (Talk | contribs) m (Redirects to actual link) |
|||
Line 19: | Line 19: | ||
An inaccessible cardinal $\kappa$ is a ''Vopěnka cardinal'' if and only if $V_\kappa$ satisfies Vopěnka's principle, that is, where we interpret the proper classes of $V_\kappa$ as the subsets of $V_\kappa$ of cardinality $\kappa$. | An inaccessible cardinal $\kappa$ is a ''Vopěnka cardinal'' if and only if $V_\kappa$ satisfies Vopěnka's principle, that is, where we interpret the proper classes of $V_\kappa$ as the subsets of $V_\kappa$ of cardinality $\kappa$. | ||
− | Perlmutter <cite>Perlmutter:Dissertation</cite> proved that a cardinal is a Vopěnka cardinal if and only if it is a [[Woodin for supercompactness]] cardinal. | + | Perlmutter <cite>Perlmutter:Dissertation</cite> proved that a cardinal is a Vopěnka cardinal if and only if it is a [[Woodin|Woodin for supercompactness]] cardinal. |
As we mentioned above, every almost huge cardinal is a Vopěnka cardinal. | As we mentioned above, every almost huge cardinal is a Vopěnka cardinal. |
Revision as of 19:54, 2 November 2017
Vopěnka's principle is a large cardinal axiom at the upper end of the large cardinal hierarchy that is particularly notable for its applications to category theory.
In a set theoretic setting, the most common definition is the following:
For any language $\mathcal{L}$ and any proper class $C$ of $\mathcal{L}$-structures, there are distinct structures $M, N\in C$ and an elementary embedding $j:M\to N$.
For example, taking $\mathcal{L}$ to be the language with one unary and one binary predicate, we can consider for any ordinal $\eta$ the class of structures $\langle V_{\alpha+\eta},\{\alpha\},\in\rangle$, and conclude from Vopěnka's principle that a cardinal that is at least $\eta$-extendible exists. In fact if Vopěnka's principle holds then there are a proper class of extendible cardinals; bounding the strength of the axiom from above, we have that if $\kappa$ is almost huge, then $V_\kappa$ satisfies Vopěnka's principle.
Contents
Formalisations
As stated above and from the point of view of ZFC, this is actually an axiom schema, as we quantify over proper classes, which from a purely ZFC perspective means definable proper classes. A somewhat stronger alternative is to view Vopěnka's principle as an axiom in second-order set theory capable to dealing with proper classes, such as von Neumann-Gödel-Bernays set theory. This is a strictly stronger assertion.[1]. Finally, one may relativize the principle to a particular cardinal, leading to the concept of a Vopěnka cardinal.
Vopěnka cardinals
An inaccessible cardinal $\kappa$ is a Vopěnka cardinal if and only if $V_\kappa$ satisfies Vopěnka's principle, that is, where we interpret the proper classes of $V_\kappa$ as the subsets of $V_\kappa$ of cardinality $\kappa$.
Perlmutter [1] proved that a cardinal is a Vopěnka cardinal if and only if it is a Woodin for supercompactness cardinal.
As we mentioned above, every almost huge cardinal is a Vopěnka cardinal.
Equivalent statements
The schema form of Vopěnka's principle is equivalent to the existence of a proper class of $C^{(n)}$-extendible cardinals for every $n$; indeed there is a level-by-level stratification of Vopěnka's principle, with Vopěnka's principle for a $\Sigma_{n+2}$-definable class corresponds to the existence of a $C^{(n)}$-extendible cardinal greater than the ranks of the parameters. [2]
Other points to note
Whilst Vopěnka cardinals are very strong in terms of consistency strength, a Vopěnka cardinal need not even be weakly compact. Indeed, the definition of a Vopěnka cardinal is a $\Pi^1_1$ statement over $V_\kappa$, and $\Pi^1_1$ indescribability is one of the equivalent definitions of weak compactness. Thus, the least weakly compact Vopěnka cardinal must have (many) other Vopěnka cardinals less than it.
External links
References
- Bagaria, Joan and Casacuberta, Carles and Mathias, A R D and Rosický, Jiří. Definable orthogonality classes in accessible categories are small. Journal of the European Mathematical Society 17(3):549--589. arχiv bibtex