Martin and Steel's paper "A proof of projective determinacy" defines an $\omega$-huge cardinal to be an I2 cardinal but more recently you see it being defined to be an I1 cardinal. Is there a standard definition?
Asked
Active
Viewed 247 times
0
-
FWIW here is what Wikipedia has to say. – Wojowu Apr 02 '18 at 12:33
-
Their definition seems more like an $\omega$-superstrong, rather than $\omega$-huge. At least when casting this in modern terms. – Asaf Karagila Apr 02 '18 at 18:00
1 Answers
0
There are three definitions. The first (That I use) is that $\kappa$ is $n-$huge for every $n$. In "Large Cardinals beyond Choice" they are used to refer to $I3$ cardinals. I have seen them commonly defined as $I2$ cardinals. I think it is uncommon to have them be used as $I1$ cardinals. I have seen them be used though, for critical points of elementary embeddings $j: V_{\lambda+1}\prec V_{\lambda+1}$ with $V_\kappa\prec V_\lambda\prec V_\gamma$ for some $\gamma\gt\lambda\gt\kappa$.
Master
- 203
- 1
- 11