Return to Revisions

2 of 2

edited tags

edited Nov 21, 2017 at 13:48

236.5k
44
777
1.4k

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?

set-theory large-cardinals

asked Nov 21, 2017 at 8:11

Rupert

2.1k
12
15