jdh.hamkins.org
The Vopěnka principle is inequivalent to but conservative over the Vopěnka scheme
[bibtex key=Hamkins:The-Vopenka-principle-is-inequivalent-to-but-conservative-over-the-Vopenka-scheme]