Skip to main content
added 281 characters in body
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

In my paper, The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme, I distinguish between the (second-order) Vopěnka principle and the first-order version, which I call the Vopěnka scheme, and prove that these principles are not equivalent, although they are equiconsistent and moreover, the Vopěnka principle is conservative over the Vopěnka scheme for first-order assertions.

In the paper, I say that a Vopěnka cardinal is a cardinal $\kappa$ such that $V_\kappa$ satisfies the Vopěnka principle, and a Vopěnka scheme cardinal is a cardinal such that $V_\kappa$ satisfies the Vopěnka scheme. Although as I mentioned the Vopěnka principle and Vopěnka scheme are equiconsistent, nevertheless Corollary 10 in the paper shows in contrast that Vopěnka cardinals are strictly stronger in consistency strength than even a closed unbounded proper class of Vopěnka scheme cardinals.

So you are referring to what I call the Vopěnka scheme cardinals.

In my paper, The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme, I distinguish between the (second-order) Vopěnka principle and the first-order version, which I call the Vopěnka scheme, and prove that these principles are not equivalent, although they are equiconsistent and moreover, the Vopěnka principle is conservative over the Vopěnka scheme for first-order assertions.

In the paper, I say that a Vopěnka cardinal is a cardinal $\kappa$ such that $V_\kappa$ satisfies the Vopěnka principle, and a Vopěnka scheme cardinal is a cardinal such that $V_\kappa$ satisfies the Vopěnka scheme.

So you are referring to what I call the Vopěnka scheme cardinals.

In my paper, The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme, I distinguish between the (second-order) Vopěnka principle and the first-order version, which I call the Vopěnka scheme, and prove that these principles are not equivalent, although they are equiconsistent and moreover, the Vopěnka principle is conservative over the Vopěnka scheme for first-order assertions.

In the paper, I say that a Vopěnka cardinal is a cardinal $\kappa$ such that $V_\kappa$ satisfies the Vopěnka principle, and a Vopěnka scheme cardinal is a cardinal such that $V_\kappa$ satisfies the Vopěnka scheme. Although as I mentioned the Vopěnka principle and Vopěnka scheme are equiconsistent, nevertheless Corollary 10 in the paper shows in contrast that Vopěnka cardinals are strictly stronger in consistency strength than even a closed unbounded proper class of Vopěnka scheme cardinals.

So you are referring to what I call the Vopěnka scheme cardinals.

Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

In my paper, The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme, I distinguish between the (second-order) Vopěnka principle and the first-order version, which I call the Vopěnka scheme, and prove that these principles are not equivalent, although they are equiconsistent and moreover, the Vopěnka principle is conservative over the Vopěnka scheme for first-order assertions.

In the paper, I say that a Vopěnka cardinal is a cardinal $\kappa$ such that $V_\kappa$ satisfies the Vopěnka principle, and a Vopěnka scheme cardinal is a cardinal such that $V_\kappa$ satisfies the Vopěnka scheme.

So you are referring to what I call the Vopěnka scheme cardinals.