算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層(Kleene hierarchy)とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。

Property Value
dbo:abstract
  • 算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層(Kleene hierarchy)とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。 (ja)
  • 算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層(Kleene hierarchy)とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1359928 (xsd:integer)
dbo:wikiPageLength
  • 4553 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 77629527 (xsd:integer)
dbo:wikiPageWikiLink
prop-en:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層(Kleene hierarchy)とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。 (ja)
  • 算術的階層(さんじゅつてきかいそう、英: Arithmetical hierarchy)は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層(Kleene hierarchy)とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。 (ja)
rdfs:label
  • 算術的階層 (ja)
  • 算術的階層 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of