Skip to main content
2 of 4
added 158 characters in body

Vopěnka cardinals

A cardinal $\kappa$ is a Vopěnka cardinal just in case Vopěnka's principle holds in $V_\kappa$.

Suppose that $\kappa$ and $\lambda$ are both Vopěnka cardinals with $\lambda > \kappa$. Must it be the case that $V_\lambda \vDash$ "$V_\kappa$ is a Vopěnka cardinal"?

(Understand the predicate "… is a Vopěnka cardinal" after the turnstile as standing for a schema, since the informal claim is not directly expressible in $\mathsf{ZFC}$.)