huge cardinal (Q5929680)
Jump to navigation
Jump to search
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
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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 |
Statements
1978
0 references
0 references
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Huge cardinal