<<Up
Contents
Huge cardinal
A
cardinal number
κ is called
huge
iff
there exists an elementary embedding
j
:
V
→
M
from
V
into a transitive inner model
M
with critical point κ and
j(κ)
M
⊆
M
.
wikipedia.org
dumped 2003-03-17 with
terodump