An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
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
  • 16084368 (xsd:integer)
dbo:wikiPageLength
  • 9617 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1124927012 (xsd:integer)
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
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License