The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme

Abstract

The Vopěnka principle, which asserts that every proper class of first-order structures in a common language admits an elementary embedding between two of its members, is not equivalent over GBC to the first-order Vopěnka scheme, which makes the Vopěnka assertion only for the first-order definable classes of structures. Nevertheless, the two Vopěnka axioms are equiconsistent and they have exactly the same first-order consequences in the language of set theory. Specifically, GBC plus the Vopěnka principle is conservative over ZFC plus the Vopěnka scheme for first-order assertions in the language of set theory.

11 pages. Commentary can be made on the author's blog at http://jdh.hamkins.org/vopenka-principle-vopenka-scheme