In mathematics, a cardinal number κ is called superstrong if and only if there exists an elementary embedding j : V → M from V into a transitive inner model M with critical point κ and
Vj(\kappa)
Similarly, a cardinal κ is n-superstrong if and only if there exists an elementary embedding j : V → M from V into a transitive inner model M with critical point κ and
V | |
jn(\kappa) |
. Akihiro Kanamori. 2003. Springer. The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings. The Higher Infinite . 2nd. 3-540-00384-3.