Church–Kleene ordinal (Q5118283)
Jump to navigation
Jump to search
the order type of the set of all recursive ordinals
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Church–Kleene ordinal |
the order type of the set of all recursive ordinals |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Nonrecursive ordinal
- jawiki チャーチ・クリーネ順序数