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?Read more