For a cardinal $\kappa$ such that $V_{\kappa}$ satisfies Vopenka's principle as a first-order axiom schema, am I allowed to say "first-order Vopenka cardinal", or is there any kind of standard term for it?
Am I allowed to say "first-order Vopenka cardinal"?
Rupert
- 2.1k
- 12
- 15