(Q5929680)
Statements
1978
0 references
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Huge cardinal
cardinal number κ such that there exists an elementary embedding j: V → M from V into a transitive inner model M with critical point κ, such that every sequence of length j(κ) whose elements are in M belongs to M