Difference between revisions of "Vopenka"
BartekChom (Talk | contribs) (→Formalizations and variants: source read) |
BartekChom (Talk | contribs) (→Vopěnka cardinals: hypercompact) |
||
(34 intermediate revisions by 2 users not shown) | |||
Line 7: | Line 7: | ||
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 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$. | ||
</blockquote> | </blockquote> | ||
− | 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 | + | 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 is a stationary proper class of extendible cardinals; bounding the strength of the axiom from above, we have that if $\kappa$ is [[huge#Almost huge|almost huge]], or even [[high-jump|almost-high-jump]], then $V_\kappa$ satisfies Vopěnka's principle. |
− | $\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 | + | |
− | if $\kappa$ is [[huge#Almost huge|almost huge]], or even [[high-jump|almost-high-jump]], then $V_\kappa$ satisfies Vopěnka's principle. | + | |
− | ==Formalizations | + | ==Formalizations== |
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. [http://mathoverflow.net/questions/45602/can-vopenkas-principle-be-violated-definably] Finally, one may relativize the principle to a particular cardinal, leading to the concept of a Vopěnka cardinal. | 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. [http://mathoverflow.net/questions/45602/can-vopenkas-principle-be-violated-definably] Finally, one may relativize the principle to a particular cardinal, leading to the concept of a Vopěnka cardinal. | ||
− | ( | + | Vopěnka's principle can be formalized in first-order set theory as a schema, where for each natural number $n$ in the meta-theory there is a formula expressing that Vopěnka’s Principle holds for all $Σ_n$-definable (with parameters) classes.<cite>Bagaria2012:CnCardinals</cite> |
− | Vopěnka | + | Vopěnka principle VP and the Vopěnka scheme VS are not equivalent, but they are equiconsistent and have the same first-order consequences (GBC+VP is conservative over GBC+VS and ZFC+VS, VP makes no sense in the context of ZFC):<cite>Hamkins2016:TheVopenkaPrincipleIs</cite> |
− | + | * If ZFC and the Vopěnka scheme holds, then there is a class forcing extension, adding classes but no sets, in which GBC and the Vopěnka scheme holds, but the Vopěnka principle fails. | |
− | + | * If ZFC and the Vopěnka scheme holds, then there is a class forcing extension, adding classes but no sets, in which GBC and the Vopěnka principle holds. | |
− | + | ||
− | Vopěnka | + | |
− | * | + | |
== Vopěnka cardinals == | == Vopěnka cardinals == | ||
Line 29: | Line 23: | ||
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$. Because of a characterization of Vopěnka's principle in terms of graphs, a cardinal $\kappa$ is Vopěnka if and only if $\kappa$ is inaccessible and any set $\kappa$-sized set $G$ of $<\kappa$-sized nonisomorphic graphs has some $g_0$ and $g_1$ with $g_0$ a proper subgraph of $g_1$. (Need to cite sources) | 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$. Because of a characterization of Vopěnka's principle in terms of graphs, a cardinal $\kappa$ is Vopěnka if and only if $\kappa$ is inaccessible and any set $\kappa$-sized set $G$ of $<\kappa$-sized nonisomorphic graphs has some $g_0$ and $g_1$ with $g_0$ a proper subgraph of $g_1$. (Need to cite sources) | ||
− | + | Vopěnka cardinal is an inaccessible cardinal $δ$ such that $\langle V_δ , ∈, V_{δ+1} \rangle$ is a model of VP (and the Morse–Kelley set theory). Vopěnka-scheme cardinal is a cardinal $δ$ such that $\langle V_δ , ∈ \rangle$ is a model of ZFC+VS.<cite>Hamkins2016:TheVopenkaPrincipleIs</cite> | |
+ | |||
+ | Perlmutter proved that a cardinal is a Vopěnka cardinal if and only if it is a [[Woodin|Woodin for supercompact]]ness cardinal. Besides:<cite>Perlmutter2010:TheLargeCardinalsBetweenSupercompactAlmostHuge</cite> | ||
+ | * If the cardinal $δ$ is Woodin for supercompactness, then in the model $V_δ$, there is a proper class of [[hypercompact]] cardinals. | ||
+ | * If the cardinal $δ$ is Woodin for supercompactness, then there are unboundedly many cardinals $κ < δ$ such that $κ$ is a limit of cardinals $η$ such that there exists an inaccessible cardinal $β$ such that $η < β < κ$, and $V_β \models$ “$η$ is [[Supercompact#Enhanced supercompact cardinals|enhanced supercompact]]”. | ||
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. | ||
+ | |||
+ | Every Vopěnka cardinal $δ$ has a club set of Vopěnka-scheme cardinals below. In particular, below $δ$ there is a stationary set of inaccessible Vopěnka-scheme cardinals and even $( < δ, A)$-[[extendible]] Vopěnka-scheme cardinals for any particular $A ⊆ V_κ$.<cite>Hamkins2016:TheVopenkaPrincipleIs</cite> | ||
==Equivalent statements== | ==Equivalent statements== | ||
− | === | + | === Extendible cardinals === |
− | 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. | + | 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 (see section "Variants”). |
<CITE>BagariaCasacubertaMathiasRosicky2012:OrthogonalityClasses</CITE> | <CITE>BagariaCasacubertaMathiasRosicky2012:OrthogonalityClasses</CITE> | ||
+ | |||
+ | The Vopěnka principle is equivalent over GBC to both following statements:<cite>Hamkins2016:TheVopenkaPrincipleIs</cite> | ||
+ | * For every class $A$, there is an $A$-extendible cardinal. | ||
+ | * For every class $A$, there is a stationary proper class of $A$-extendible cardinals. | ||
=== Strong Compactness of Logics === | === Strong Compactness of Logics === | ||
Line 73: | Line 77: | ||
==Other points to note== | ==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$ (Vopěnka's principle itself is $\Pi^1_1$), and [[indescribable|$\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. | + | * 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$ (Vopěnka's principle itself is $\Pi^1_1$), and [[indescribable|$\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. |
+ | * The Vopěnka principle implies that [[Ord is Mahlo|$\text{Ord}$ is Mahlo]]: every class club contains a regular cardinal and indeed, an [[extendible]] cardinal and more.<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | * If the Vopěnka scheme holds, then there is a class-forcing extension $V[C]$ where<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | ** $\text{Ord}$ is not Mahlo (the class $C$ itself witnesses it), thus the Vopěnka principle fails, | ||
+ | ** but the extension adds no new sets, thus the Vopěnka scheme still holds and $\text{Ord}$ remains definably Mahlo. | ||
+ | ** The forcing preserves $\text{GBC}$. | ||
+ | |||
+ | ==Variants== | ||
+ | |||
+ | (Information in this section from <cite>Bagaria2012:CnCardinals</cite>, a bit from <cite>BagariaGitmanSchindler2017:VopenkaPrinciple</cite>) | ||
+ | |||
+ | (Boldface) $VP(\mathbf{Σ_n})$ denotes the fragment of Vopěnka’s Principle for $Σ_n$-definable classes and (lightface) $VP(Σ_n)$ is the weaker principle, where parameters are not allowed in the definition of the class (with analogous definitions for $Π_n$ and $∆_n$). | ||
+ | |||
+ | Vopěnka-like principles $VP(κ, \mathbf{Σ_n})$ for cardinal $κ$ state that for every proper class $\mathcal{C}$ of structures of the same type that is $Σ_n$-definable with parameters in $H_κ$ (the collection of all sets of hereditary size less than $κ$), $\mathcal{C}$ reflects below $κ$, namely for every $A ∈ C$ there is $B ∈ H_κ ∩ C$ that elementarily embeds into $A$. | ||
+ | |||
+ | Results: | ||
+ | * For every $Γ$, $VP(κ, Γ)$ for some $κ$ implies $VP(Γ)$. | ||
+ | * $VP(κ, \mathbf{Σ_1})$ holds for every uncountable cardinal $κ$. | ||
+ | * $VP(Π_1) \iff VP(κ, Σ_2)$ for some $κ \iff$ There is a [[supercompact]] cardinal. | ||
+ | * $VP(\mathbf{Π_1}) \iff VP(κ, \mathbf{Σ_2})$ for a proper class of cardinals $κ \iff$ There is a proper class of supercompact cardinals. | ||
+ | * For $n ≥ 1$, the following are equivalent: | ||
+ | ** $VP(Π_{n+1})$ | ||
+ | ** $VP(κ, \mathbf{Σ_{n+2}})$ for some $κ$ | ||
+ | ** There is a $C(n)$-[[extendible]] cardinal. | ||
+ | * The following are equivalent: | ||
+ | ** $VP(Π_n)$ for every n. | ||
+ | ** $VP(κ, \mathbf{Σ_n})$ for a proper class of cardinals $κ$ and for every $n$. | ||
+ | ** $VP$ | ||
+ | ** For every $n$, there is a $C(n)$-extendible cardinal. | ||
+ | |||
+ | ===Generic=== | ||
+ | |||
+ | (Information in this section from <cite>BagariaGitmanSchindler2017:VopenkaPrinciple</cite> unless noted otherwise) | ||
+ | |||
+ | Definitions: | ||
+ | * The '''generic Vopěnka principle''' (in GBC) states that for every proper class $\mathcal{C}$ of first-order structures of the same type there are $B ≠ A$, both in $\mathcal{C}$, such that $B$ elementarily embeds into $A$ in some set-forcing extension. The '''generic Vopěnka scheme''' (in GBC or ZFC, called generic Vopěnka principle in <cite>BagariaGitmanSchindler2017:VopenkaPrinciple</cite>) states the same about first-order definable proper classes.<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | * (Boldface) $gVP(\mathbf{Σ_n})$ and (lightface) $gVP(Σ_n)$ (with analogous definitions for $Π_n$ and $∆_n$) as well as $gVP(κ, \mathbf{Σ_n})$ are generic analogues of corresponding weakenings of Vopěnka's principle. | ||
+ | * For transitive $∈$-structures $B$ and $A$ and elementary embedding $j : B → A$, we say that $j$ is ''overspilling'' if it has a critical point and $j(crit(j)) > rank(B)$. | ||
+ | * The principle $gVP^∗(Σ_n)$ states that for every $Σ_n$-definable (without parameters) proper class $\mathcal{C}$ of transitive $∈$-structures, there are $B ≠ A$ in $\mathcal{C}$ such that there is an overspilling elementary embedding $j : B → A$ in some set-forcing extension. ($gVP^∗(Π_n)$, $gVP^∗(\mathbf{Π_n})$, and $gVP^∗(κ, \mathbf{Σ_n})$ are defined analogously.) | ||
+ | |||
+ | Results: | ||
+ | * The following are equiconsistent: | ||
+ | ** $gVP(Π_n)$ | ||
+ | ** $gVP(κ, \mathbf{Σ_{n+1}})$ for some $κ$ | ||
+ | ** There is an [[n-remarkable|$n$-remarkable]] cardinal. | ||
+ | * The following are equiconsistent: | ||
+ | ** $gVP(\mathbf{Π_n})$ | ||
+ | ** $gVP(κ, \mathbf{Σ_{n+1}})$ for a proper class of $κ$ | ||
+ | ** There is a proper class of $n$-remarkable cardinals. | ||
+ | * Unless there is a transitive model of ZFC with a proper class of $n$-remarkable cardinals, | ||
+ | ** if for some cardinal $κ$, $gVP(κ, \mathbf{Σ_{n+1}})$ holds, then there is an $n$-remarkable cardinal. | ||
+ | ** if $gVP(Π_n)$ holds, then there is an $n$-remarkable cardinal. | ||
+ | ** if $gVP(\mathbf{Π_n})$ holds, then there is a proper class of $n$-remarkable cardinals. | ||
+ | * $κ$ is the least for which $gVP^∗(κ, \mathbf{Σ_{n+1}})$ holds. $\iff κ$ is the least $n$-remarkable cardinal. | ||
+ | * If $gVP^∗(Π_n)$ holds, then there is an $n$-remarkable cardinal. | ||
+ | * If $gVP^∗(\mathbf{Π_n})$ holds, then there is a proper class of $n$-remarkable cardinals. | ||
+ | * If there is a proper class of $n$-remarkable cardinals, then $gVP(Σ_{n+1})$ holds.<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | * If $gVP(Σ_{n+1})$ holds, then either there is a proper class of $n$-remarkable cardinals or there is a proper class of [[rank-into-rank|virtually rank-into-rank]] cardinals.<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | * If $0^♯$ ([[zero sharp]]), then $L$, equipped with only its definable classes, is a model of $gVP$. (By [[Elementary_embedding#Absoluteness|elementary-embedding absoluteness results]]. The hypothesis can be weakened, because one can chop at off the universe at any Silver indiscernible and use reflection.)<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | * The generic Vopěnka principle holds iff for every class $A$, there are a proper class of (weakly) virtually $A$-[[extendible]] cardinals.<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | * The generic Vopěnka scheme is equivalent over ZFC to the scheme asserting of every definable class $A$ that there is a proper class of weakly virtually $A$-extendible cardinals.<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | * It is relatively consistent that GBC and the generic Vopěnka principle holds, yet [[Ord is Mahlo|Ord is not Mahlo]]:<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | ** If $0^♯$ exists in $V$, then there is a class-forcing notion $\mathbb{P}$ definable in the constructible universe $L$, such that in any $L$-generic extension $L[C]$ by this forcing, $\text{GBC}$ and the generic Vopěnka principle hold, yet $\text{Ord}$ is not Mahlo. | ||
+ | *** Proof includes a lemma stating: For any ordinal $δ$ and any natural number (of the meta-theory – this lemma is a scheme) $n$, if $D_{δ,n} ⊂ \mathbb{P}$ is the collection of conditions $c$ for which there is an ordinal $θ$ such that | ||
+ | **** $L_θ ≺_{Σ_n} L$, | ||
+ | **** $c ∩ θ$ is $L_θ$-generic for $\mathbb{P}^{L_θ}$ and | ||
+ | **** in some forcing extension of $L$, there is an elementary embedding | ||
+ | ****: $j : ⟨ L_θ , ∈, c ∩ θ ⟩ → ⟨ L_θ , ∈, c ∩ θ ⟩$ | ||
+ | ****: with critical point above $δ$, | ||
+ | ***: then $D_{δ,n}$ is a definable dense subclass of $\mathbb{P}$ in $L$. | ||
+ | * It is relatively consistent that ZFC and the generic Vopěnka scheme holds, yet Ord is not definably Mahlo and not even $∆_2$ -Mahlo:<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | ** If $0^♯$ exists in $V$, then there is a definable class-forcing notion in $L$, such that in the corresponding $L$-generic extension, $\text{GBC}$ holds, the generic Vopěnka scheme holds, but $\text{Ord}$ is not definably Mahlo, because there is a $∆_2$-definable club class avoiding the regular cardinals. | ||
+ | ** In such a model, there can be no $Σ_2$-reflecting cardinals and therefore also no remarkable cardinals. | ||
+ | * For $n ≥ 1$, the following are equivalent as schemes over ZFC:<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
+ | ** The generic Vopěnka scheme holds for $Π_{n+1}$-definable classes. | ||
+ | ** The generic Vopěnka scheme holds for $Σ_{n+2}$-definable classes. | ||
+ | ** For every $Σ_n$-definable class A, there is a proper class of (weakly) virtually $A$-extendible cardinals. | ||
+ | ** There is a proper class of (weakly) virtually $(Σ_n)$-extendible cardinals. | ||
+ | ** There is a proper class of cardinals $κ$, such that for every $Σ_n$-correct cardinal $λ>κ$, there is a $Σ_n$-correct cardinal $θ > λ$ and a virtual elementary embedding $j : V_λ → V_θ$ with $crit(j)=κ$. | ||
+ | * If $0^♯$ exists, then there is a class-forcing extension $L[G]$ of the constructible universe in which the generic Vopěnka principle holds (so $gVP(κ, \mathbf{Σ_{n+1}})$ and $gVP(Π_n)$ hold for any $κ$ and $n$), but there are no $Σ_2$-reflecting cardinals and hence no remarkable cardinals (or $n$-remarkable cardinals).<cite>GitmanHamkins2018:GenericVopenkaPrincipleNotMahlo</cite> | ||
==External links== | ==External links== |
Latest revision as of 06:00, 19 October 2019
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 is a stationary proper class of extendible cardinals; bounding the strength of the axiom from above, we have that if $\kappa$ is almost huge, or even almost-high-jump, then $V_\kappa$ satisfies Vopěnka's principle.
Contents
Formalizations
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's principle can be formalized in first-order set theory as a schema, where for each natural number $n$ in the meta-theory there is a formula expressing that Vopěnka’s Principle holds for all $Σ_n$-definable (with parameters) classes.[1]
Vopěnka principle VP and the Vopěnka scheme VS are not equivalent, but they are equiconsistent and have the same first-order consequences (GBC+VP is conservative over GBC+VS and ZFC+VS, VP makes no sense in the context of ZFC):[2]
- If ZFC and the Vopěnka scheme holds, then there is a class forcing extension, adding classes but no sets, in which GBC and the Vopěnka scheme holds, but the Vopěnka principle fails.
- If ZFC and the Vopěnka scheme holds, then there is a class forcing extension, adding classes but no sets, in which GBC and the Vopěnka principle holds.
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$. Because of a characterization of Vopěnka's principle in terms of graphs, a cardinal $\kappa$ is Vopěnka if and only if $\kappa$ is inaccessible and any set $\kappa$-sized set $G$ of $<\kappa$-sized nonisomorphic graphs has some $g_0$ and $g_1$ with $g_0$ a proper subgraph of $g_1$. (Need to cite sources)
Vopěnka cardinal is an inaccessible cardinal $δ$ such that $\langle V_δ , ∈, V_{δ+1} \rangle$ is a model of VP (and the Morse–Kelley set theory). Vopěnka-scheme cardinal is a cardinal $δ$ such that $\langle V_δ , ∈ \rangle$ is a model of ZFC+VS.[2]
Perlmutter proved that a cardinal is a Vopěnka cardinal if and only if it is a Woodin for supercompactness cardinal. Besides:[3]
- If the cardinal $δ$ is Woodin for supercompactness, then in the model $V_δ$, there is a proper class of hypercompact cardinals.
- If the cardinal $δ$ is Woodin for supercompactness, then there are unboundedly many cardinals $κ < δ$ such that $κ$ is a limit of cardinals $η$ such that there exists an inaccessible cardinal $β$ such that $η < β < κ$, and $V_β \models$ “$η$ is enhanced supercompact”.
As we mentioned above, every almost huge cardinal is a Vopěnka cardinal.
Every Vopěnka cardinal $δ$ has a club set of Vopěnka-scheme cardinals below. In particular, below $δ$ there is a stationary set of inaccessible Vopěnka-scheme cardinals and even $( < δ, A)$-extendible Vopěnka-scheme cardinals for any particular $A ⊆ V_κ$.[2]
Equivalent statements
Extendible cardinals
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 (see section "Variants”). [4]
The Vopěnka principle is equivalent over GBC to both following statements:[2]
- For every class $A$, there is an $A$-extendible cardinal.
- For every class $A$, there is a stationary proper class of $A$-extendible cardinals.
Strong Compactness of Logics
Vopěnka's principle is equivalent to the following statement about logics as well:
For every logic $\mathcal{L}$, there is a cardinal $\mu_{\mathcal{L}}$ such that for any language $\tau$ and any $\mathcal{L}(\tau)$-theory $T$, $T$ is satisfiable if and only if every $t\subseteq T$ such that $|t|<\mu_{\mathcal{L}}$ is satisfiable. [5]
This $\mu_{\mathcal{L}}$ is called the strong compactness cardinal of $\mathcal{L}$. Vopěnka's principle therefore is equivalent to every logic having a strong compactness cardinal. This is very similar in definition to the Löwenheim–Skolem number of $\mathcal{L}$, although it is not guaranteed to exist.
Here are some examples of strong compactness cardinals of specific logics:
- If $\kappa\leq\lambda$ and $\lambda$ is strongly compact or $\aleph_0$, then the strong compactness cardinal of $\mathcal{L}_{\kappa,\kappa}$ is at most $\lambda$.
- Similarly, if $\kappa\leq\lambda$ and $\lambda$ is extendible, then for any natural number $n$, the strong compactness cardinal of $\mathcal{L}^n_{\kappa,\kappa}$ ($\mathcal{L}_{\kappa,\kappa}$ with $n+1$-th order logic) is at most $\lambda$. Therefore for any natural number $n$, the strong compactness cardinal of $n+1$-th order finitary logic is at most the least extendible cardinal.
Locally Presentable Categories
Vopěnka's principle is equivalent to the axiom stating "no large full subcategory $C$ of any locally presentable category is discrete." (Sources needed). Equivalently, no large full subcategory of Graph (the category of all graphs) is discrete; that is, for any proper class of simple directed graphs, there is at least one pair of nonequal graphs $G$ and $H$ in the class such that $G$ is a subgraph of $H$. This is a $\Pi^1_1$ statement, so the least Vopěnka cardinals are not even weakly compact (although the least weakly compact cardinal is much, much, much smaller than the least Vopěnka cardinal, if it exists).
Intuitively, a "category" is just a class of mathematical objects with some notion of "morphism", "homomorphism", "isomorphism", (etc.). For example, in Set, the category of all sets, homomorphisms are just injections, and isomorphisms are bijections. In categories of groups and models, homomorphisms and isomorphisms share their actual names.
A "locally small category" $C$ is one with only set-many morphisms between any two objects of $C$. This is one where the objects of $C$ behave "set-like" in the sense that, usually, the number of morphisms between two set-sized objects is at most the number of functions between their universes (like in groups and in graphs). A "locally presentable category" is a locally small category with a couple more really nice properties; you can "generate" all of the objects from set-many objects in the category.
Vopěnka's principle intuitively states that if you have a locally presentable category $C$, then any proper class of objects of $C$ has some nonisomorphic objects $c$ and $d$ where $c$ has a morphism into $d$.
Woodin cardinals
There is a strange connection between the Woodin cardinals and the Vopěnka cardinals. In particular, Vopěnkaness is equivalent to two strengthening variants of Woodinness, namely the Woodin for Supercompactness cardinals and the $2$-fold Woodin cardinals. As a result, every Vopěnka cardinal is Woodin.
Elementary Embeddings Between Ranks
An equivalent statement to Vopěnka's principle is that for any proper class $C\subseteq ORD$, there are $\alpha\in C$, $\beta\in C$, and a nontrivial elementary embedding $j:\langle V_\alpha;\in,P\rangle\rightarrow\langle V_\beta;\in,P\rangle$. Vopěnka's principle quite obviously implies this. The reason the converse holds is because every elementary embedding can be "encoded" (in a sense) into one of these. For more information, see [6].
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$ (Vopěnka's principle itself is $\Pi^1_1$), 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.
- The Vopěnka principle implies that $\text{Ord}$ is Mahlo: every class club contains a regular cardinal and indeed, an extendible cardinal and more.[7]
- If the Vopěnka scheme holds, then there is a class-forcing extension $V[C]$ where[7]
- $\text{Ord}$ is not Mahlo (the class $C$ itself witnesses it), thus the Vopěnka principle fails,
- but the extension adds no new sets, thus the Vopěnka scheme still holds and $\text{Ord}$ remains definably Mahlo.
- The forcing preserves $\text{GBC}$.
Variants
(Information in this section from [1], a bit from [8])
(Boldface) $VP(\mathbf{Σ_n})$ denotes the fragment of Vopěnka’s Principle for $Σ_n$-definable classes and (lightface) $VP(Σ_n)$ is the weaker principle, where parameters are not allowed in the definition of the class (with analogous definitions for $Π_n$ and $∆_n$).
Vopěnka-like principles $VP(κ, \mathbf{Σ_n})$ for cardinal $κ$ state that for every proper class $\mathcal{C}$ of structures of the same type that is $Σ_n$-definable with parameters in $H_κ$ (the collection of all sets of hereditary size less than $κ$), $\mathcal{C}$ reflects below $κ$, namely for every $A ∈ C$ there is $B ∈ H_κ ∩ C$ that elementarily embeds into $A$.
Results:
- For every $Γ$, $VP(κ, Γ)$ for some $κ$ implies $VP(Γ)$.
- $VP(κ, \mathbf{Σ_1})$ holds for every uncountable cardinal $κ$.
- $VP(Π_1) \iff VP(κ, Σ_2)$ for some $κ \iff$ There is a supercompact cardinal.
- $VP(\mathbf{Π_1}) \iff VP(κ, \mathbf{Σ_2})$ for a proper class of cardinals $κ \iff$ There is a proper class of supercompact cardinals.
- For $n ≥ 1$, the following are equivalent:
- $VP(Π_{n+1})$
- $VP(κ, \mathbf{Σ_{n+2}})$ for some $κ$
- There is a $C(n)$-extendible cardinal.
- The following are equivalent:
- $VP(Π_n)$ for every n.
- $VP(κ, \mathbf{Σ_n})$ for a proper class of cardinals $κ$ and for every $n$.
- $VP$
- For every $n$, there is a $C(n)$-extendible cardinal.
Generic
(Information in this section from [8] unless noted otherwise)
Definitions:
- The generic Vopěnka principle (in GBC) states that for every proper class $\mathcal{C}$ of first-order structures of the same type there are $B ≠ A$, both in $\mathcal{C}$, such that $B$ elementarily embeds into $A$ in some set-forcing extension. The generic Vopěnka scheme (in GBC or ZFC, called generic Vopěnka principle in [8]) states the same about first-order definable proper classes.[7]
- (Boldface) $gVP(\mathbf{Σ_n})$ and (lightface) $gVP(Σ_n)$ (with analogous definitions for $Π_n$ and $∆_n$) as well as $gVP(κ, \mathbf{Σ_n})$ are generic analogues of corresponding weakenings of Vopěnka's principle.
- For transitive $∈$-structures $B$ and $A$ and elementary embedding $j : B → A$, we say that $j$ is overspilling if it has a critical point and $j(crit(j)) > rank(B)$.
- The principle $gVP^∗(Σ_n)$ states that for every $Σ_n$-definable (without parameters) proper class $\mathcal{C}$ of transitive $∈$-structures, there are $B ≠ A$ in $\mathcal{C}$ such that there is an overspilling elementary embedding $j : B → A$ in some set-forcing extension. ($gVP^∗(Π_n)$, $gVP^∗(\mathbf{Π_n})$, and $gVP^∗(κ, \mathbf{Σ_n})$ are defined analogously.)
Results:
- The following are equiconsistent:
- $gVP(Π_n)$
- $gVP(κ, \mathbf{Σ_{n+1}})$ for some $κ$
- There is an $n$-remarkable cardinal.
- The following are equiconsistent:
- $gVP(\mathbf{Π_n})$
- $gVP(κ, \mathbf{Σ_{n+1}})$ for a proper class of $κ$
- There is a proper class of $n$-remarkable cardinals.
- Unless there is a transitive model of ZFC with a proper class of $n$-remarkable cardinals,
- if for some cardinal $κ$, $gVP(κ, \mathbf{Σ_{n+1}})$ holds, then there is an $n$-remarkable cardinal.
- if $gVP(Π_n)$ holds, then there is an $n$-remarkable cardinal.
- if $gVP(\mathbf{Π_n})$ holds, then there is a proper class of $n$-remarkable cardinals.
- $κ$ is the least for which $gVP^∗(κ, \mathbf{Σ_{n+1}})$ holds. $\iff κ$ is the least $n$-remarkable cardinal.
- If $gVP^∗(Π_n)$ holds, then there is an $n$-remarkable cardinal.
- If $gVP^∗(\mathbf{Π_n})$ holds, then there is a proper class of $n$-remarkable cardinals.
- If there is a proper class of $n$-remarkable cardinals, then $gVP(Σ_{n+1})$ holds.[7]
- If $gVP(Σ_{n+1})$ holds, then either there is a proper class of $n$-remarkable cardinals or there is a proper class of virtually rank-into-rank cardinals.[7]
- If $0^♯$ (zero sharp), then $L$, equipped with only its definable classes, is a model of $gVP$. (By elementary-embedding absoluteness results. The hypothesis can be weakened, because one can chop at off the universe at any Silver indiscernible and use reflection.)[7]
- The generic Vopěnka principle holds iff for every class $A$, there are a proper class of (weakly) virtually $A$-extendible cardinals.[7]
- The generic Vopěnka scheme is equivalent over ZFC to the scheme asserting of every definable class $A$ that there is a proper class of weakly virtually $A$-extendible cardinals.[7]
- It is relatively consistent that GBC and the generic Vopěnka principle holds, yet Ord is not Mahlo:[7]
- If $0^♯$ exists in $V$, then there is a class-forcing notion $\mathbb{P}$ definable in the constructible universe $L$, such that in any $L$-generic extension $L[C]$ by this forcing, $\text{GBC}$ and the generic Vopěnka principle hold, yet $\text{Ord}$ is not Mahlo.
- Proof includes a lemma stating: For any ordinal $δ$ and any natural number (of the meta-theory – this lemma is a scheme) $n$, if $D_{δ,n} ⊂ \mathbb{P}$ is the collection of conditions $c$ for which there is an ordinal $θ$ such that
- $L_θ ≺_{Σ_n} L$,
- $c ∩ θ$ is $L_θ$-generic for $\mathbb{P}^{L_θ}$ and
- in some forcing extension of $L$, there is an elementary embedding
- $j : ⟨ L_θ , ∈, c ∩ θ ⟩ → ⟨ L_θ , ∈, c ∩ θ ⟩$
- with critical point above $δ$,
- then $D_{δ,n}$ is a definable dense subclass of $\mathbb{P}$ in $L$.
- Proof includes a lemma stating: For any ordinal $δ$ and any natural number (of the meta-theory – this lemma is a scheme) $n$, if $D_{δ,n} ⊂ \mathbb{P}$ is the collection of conditions $c$ for which there is an ordinal $θ$ such that
- If $0^♯$ exists in $V$, then there is a class-forcing notion $\mathbb{P}$ definable in the constructible universe $L$, such that in any $L$-generic extension $L[C]$ by this forcing, $\text{GBC}$ and the generic Vopěnka principle hold, yet $\text{Ord}$ is not Mahlo.
- It is relatively consistent that ZFC and the generic Vopěnka scheme holds, yet Ord is not definably Mahlo and not even $∆_2$ -Mahlo:[7]
- If $0^♯$ exists in $V$, then there is a definable class-forcing notion in $L$, such that in the corresponding $L$-generic extension, $\text{GBC}$ holds, the generic Vopěnka scheme holds, but $\text{Ord}$ is not definably Mahlo, because there is a $∆_2$-definable club class avoiding the regular cardinals.
- In such a model, there can be no $Σ_2$-reflecting cardinals and therefore also no remarkable cardinals.
- For $n ≥ 1$, the following are equivalent as schemes over ZFC:[7]
- The generic Vopěnka scheme holds for $Π_{n+1}$-definable classes.
- The generic Vopěnka scheme holds for $Σ_{n+2}$-definable classes.
- For every $Σ_n$-definable class A, there is a proper class of (weakly) virtually $A$-extendible cardinals.
- There is a proper class of (weakly) virtually $(Σ_n)$-extendible cardinals.
- There is a proper class of cardinals $κ$, such that for every $Σ_n$-correct cardinal $λ>κ$, there is a $Σ_n$-correct cardinal $θ > λ$ and a virtual elementary embedding $j : V_λ → V_θ$ with $crit(j)=κ$.
- If $0^♯$ exists, then there is a class-forcing extension $L[G]$ of the constructible universe in which the generic Vopěnka principle holds (so $gVP(κ, \mathbf{Σ_{n+1}})$ and $gVP(Π_n)$ hold for any $κ$ and $n$), but there are no $Σ_2$-reflecting cardinals and hence no remarkable cardinals (or $n$-remarkable cardinals).[7]
External links
References
- Bagaria, Joan. $C^{(n)}$-cardinals. Archive for Mathematical Logic 51(3--4):213--240, 2012. www arχiv DOI bibtex
- Hamkins, Joel David. The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme. , 2016. www arχiv bibtex
- Perlmutter, Norman. The large cardinals between supercompact and almost-huge. , 2010. www arχiv bibtex
- 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
- Makowsky, Johann. Vopěnka's Principle and Compact Logics. J Symbol Logic , 1985. www bibtex
- Kanamori, Akihiro. The higher infinite. Second, Springer-Verlag, Berlin, 2009. (Large cardinals in set theory from their beginnings, Paperback reprint of the 2003 edition) www bibtex
- Gitman, Victoria and Hamkins, Joel David. A model of the generic Vopěnka principle in which the ordinals are not Mahlo. , 2018. arχiv bibtex
- Bagaria, Joan and Gitman, Victoria and Schindler, Ralf. Generic {V}opěnka's {P}rinciple, remarkable cardinals, and the weak {P}roper {F}orcing {A}xiom. Arch Math Logic 56(1-2):1--20, 2017. www DOI MR bibtex