dbo:abstract
|
- In mathematics, particularly set theory, non-recursive ordinals are large countable ordinals greater than all the recursive ordinals, and therefore can not be expressed using ordinal collapsing functions. (en)
- 集合論において、チャーチ・クリーネ順序数(チャーチ・クリーネじゅんじょすう、Church–Kleene ordinal) とは、アロンゾ・チャーチとスティーヴン・コール・クリーネから名付けられたの一種である。全体の集合であり、最小の非再帰順序数である。また、である最初の順序数であり、ω よりも大きい最初の許容順序数である。 巨大数論において、チャーチ・クリーネ順序数を急増加関数に与えることによってビジービーバー関数を近似できるとされている。 (ja)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 9617 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- In mathematics, particularly set theory, non-recursive ordinals are large countable ordinals greater than all the recursive ordinals, and therefore can not be expressed using ordinal collapsing functions. (en)
- 集合論において、チャーチ・クリーネ順序数(チャーチ・クリーネじゅんじょすう、Church–Kleene ordinal) とは、アロンゾ・チャーチとスティーヴン・コール・クリーネから名付けられたの一種である。全体の集合であり、最小の非再帰順序数である。また、である最初の順序数であり、ω よりも大きい最初の許容順序数である。 巨大数論において、チャーチ・クリーネ順序数を急増加関数に与えることによってビジービーバー関数を近似できるとされている。 (ja)
|
rdfs:label
|
- Nonrecursive ordinal (en)
- チャーチ・クリーネ順序数 (ja)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |