Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Am I allowed to say "first-order VopenkaVopěnka cardinal"?
For a cardinal $\kappa$ such that $V_{\kappa}$ satisfies Vopenka'sVopěnka's principle as a first-order axiom schema, am I allowed to say "first-order VopenkaVopěnka cardinal", or is there any kind of standard term for it?
Am I allowed to say "first-order Vopenka cardinal"?
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 Vopěnka cardinal"?
For a cardinal $\kappa$ such that $V_{\kappa}$ satisfies Vopěnka's principle as a first-order axiom schema, am I allowed to say "first-order Vopěnka cardinal", or is there any kind of standard term for it?
Am I allowed to say "first-order Vopenka cardinal"?
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?
