This HTML5 document contains 139 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
yago-res	http://yago-knowledge.org/resource/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n16	http://dbpedia.org/resource/File:
dbpedia-ca	http://ca.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
dbpedia-es	http://es.dbpedia.org/resource/
dbpedia-eo	http://eo.dbpedia.org/resource/
n15	https://global.dbpedia.org/id/
yago	http://dbpedia.org/class/yago/
dbt	http://dbpedia.org/resource/Template:
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-sr	http://sr.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-cs	http://cs.dbpedia.org/resource/
n11	http://commons.wikimedia.org/wiki/Special:FilePath/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-fr	http://fr.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbp	http://dbpedia.org/property/
prov	http://www.w3.org/ns/prov#
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/

Statements

Subject Item

dbr:Arithmetical_hierarchy

rdf:type

yago:WikicatMathematicalLogicHierarchies owl:Thing yago:Series108457976 yago:Group100031264 yago:Abstraction100002137 yago:Class107997703 yago:Hierarchy108377806 yago:WikicatComplexityClasses yago:Arrangement107938773 yago:Collection107951464 yago:Ordering108456993

rdfs:label

Jerarquía aritmética 算術的階層 산술적 위계 Hiérarchie arithmétique Arithmetical hierarchy Hierarquia aritmética Aritmetická hierarchie Arithmetische Hierarchie Jerarquia aritmètica 算数阶层 Aritmetika hierarkio

rdfs:comment

Aritmetická hierarchie (také Kleeneova hierarchie) je v matematické logice způsob klasifikace podmnožin přirozených čísel s ohledem na složitost formulí, které je definují. Studium aritmetické hierarchie hraje důležitou roli v teorii rekurze a studiu formálních aritmetických teorií jako je například Peanova aritmetika. Aritmetickou hierarchii lze také použít pro elegantní důkaz silnější varianty první Gödelovy věty. En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus d'elements que es codifiquin en nombres naturals) segons la complexitat de les fórmules que els defineixen. Els conjunts classificats s'anomenen aritmètics. La jerarquia aritmètica és important en la teoria de la recursió, en la , i en l'estudi de teories formals (com per exemple l'aritmètica de Peano). L' permet obtenir fàcilment una fita superior per a la classificació dels conjunts aritmètics. En matematika logiko, la aritmetika hierarkio aŭ kleene-a hierarkio klasifikas la arojn de aritmetikaj formuloj (aŭ aritmetikaj aroj) laŭ ilia grado de solvebleco. Markotoj en la hierarkio estas difinita tiujn formulojn, kiuj kontentigas propozicion (priskribon) de certa komplekseco. La provizas supera baron por la grado de solvebleco de aritmetika formulo. 算術的階層（さんじゅつてきかいそう、英: Arithmetical hierarchy）は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層（Kleene hierarchy）とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。 En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano. Un ensemble d'entiers est classé suivant les alternances de quantificateurs d'une formule sous forme prénexe qui permet de le définir. In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy (after mathematicians Stephen Cole Kleene and Andrzej Mostowski) classifies certain sets based on the complexity of formulas that define them. Any set that receives a classification is called arithmetical. The arithmetical hierarchy is important in recursion theory, effective descriptive set theory, and the study of formal theories such as Peano arithmetic. The hyperarithmetical hierarchy and the analytical hierarchy extend the arithmetical hierarchy to classify additional formulas and sets. Die Arithmetische Hierarchie ist ein Konzept der mathematischen Logik. Sie klassifiziert Mengen von natürlichen Zahlen, die in der Sprache der Peano-Arithmetik definierbar sind, nach der Komplexität ihrer Definitionen. Die arithmetisch definierbaren Mengen werden auch als arithmetisch bezeichnet. Die arithmetische Hierarchie spielt eine wichtige Rolle in der Berechenbarkeitstheorie. Die und die erweitern die arithmetische Hierarchie nach oben. La jerarquía aritmética, o jerarquía de Kleene clasifica ciertos conjuntos basándose en la complejidad de las fórmulas que los definen. Todo conjunto que recibe una clasificación es llamado aritmético. La jerarquía aritmética es importante en la , , y el estudio de teorías formales tales como aritmética de Peano. El da una forma fácil de obtener un límite superior sobre las clasificaciones que se asignan a una fórmula y al conjunto que la misma define. La y la jerarquía analítica extienden la jerarquía aritmética clasificando fórmulas y conjuntos adicionales. 算术阶层是递归论或可计算性理论中的概念，将自然数的子集按照定义它们的公式的复杂度分类。 Em Lógica matemática, a hierarquia aritmética, ou hierarquia de Kleene-Mostowski classifica certos conjuntos baseada na complexidade das formulas que o definem. Qualquer conjunto que recebe uma classificação é chamado aritmético. A hierarquia aritmética é importante em teoria da recursão, teoria descritiva efetiva de conjuntos, e no estudo de teorias formais como a aritmética de Peano. O fornece um caminho simples para obter um limite superior nas classificações atribuídas a uma fórmula e o conjunto que ela define. 수리 논리학에서 산술적 위계(영어: arithmetical hierarchy) 또는 클레이니-모스토프스키 위계(Kleene hierarchy)란, 그것을 정의하는 식의 복잡도에 근거하여 집합들을 분류한 위계이다. 그러한 분류가 가능한 집합을 산술적(arithmetical)이라 한다. 재귀 이론, 기술적 집합론, 페아노 산술 연구 등에 있어서 중요한 개념이다.

owl:differentFrom

dbr:Levy_hierarchy

rdfs:seeAlso

dbr:Post's_theorem

foaf:depiction

n11:Arithmetic_hierarchy.svg

dcterms:subject

dbc:Computability_theory dbc:Effective_descriptive_set_theory dbc:Mathematical_logic_hierarchies dbc:Hierarchy dbc:Complexity_classes

dbo:wikiPageID

186475

dbo:wikiPageRevisionID

1116127068

dbo:wikiPageWikiLink

dbr:Cantor_space dbr:Effective_Polish_space dbr:Universal_quantifier dbc:Computability_theory dbr:Lightface dbr:Borel_set dbr:Union_(set_theory) dbr:Turing_reducibility dbc:Complexity_classes dbr:Stephen_Cole_Kleene dbr:Peano_arithmetic dbr:Peano_axioms dbr:Mathematical_logic dbr:Effective_descriptive_set_theory dbr:Set_(mathematics) dbc:Effective_descriptive_set_theory dbr:Turing_jump dbr:Oracle_machine dbr:Complement_(set_theory) dbr:Intersection_(set_theory) dbr:Pairing_function dbr:Andrzej_Mostowski dbr:Tarski–Kuratowski_algorithm dbr:Second-order_arithmetic dbr:Hyperarithmetical_hierarchy n16:Arithmetic_hierarchy.svg dbr:Polynomial_hierarchy dbr:Recursive_set dbr:Primitive_recursive_function dbr:Recursion_theory dbr:Hyperarithmetic_reducibility dbr:Recursively_enumerable_set dbr:Many-one_reduction dbr:Cartesian_power dbr:Complexity dbr:Interpretability_logic dbc:Mathematical_logic_hierarchies dbr:Computable_function dbr:Lévy_hierarchy dbr:Hierarchy_(mathematics) dbr:Tuple dbr:Bounded_quantifier dbr:Prenex_normal_form dbr:Existential_quantifier dbr:Arithmetical_hierarchy dbr:Indicator_function dbr:Baire_space_(set_theory) dbr:Post's_theorem dbr:Turing_complete_set dbr:Turing_degree dbr:Analytical_hierarchy dbr:Borel_hierarchy dbr:Course-of-values_recursion dbr:E_(complexity) dbr:Halting_problem dbc:Hierarchy

owl:sameAs

dbpedia-ko:산술적_위계 freebase:m.019h3l dbpedia-fr:Hiérarchie_arithmétique n15:4qmUr dbpedia-cs:Aritmetická_hierarchie wikidata:Q669094 dbpedia-eo:Aritmetika_hierarkio dbpedia-zh:算数阶层 dbpedia-es:Jerarquía_aritmética dbpedia-pt:Hierarquia_aritmética dbpedia-ca:Jerarquia_aritmètica dbpedia-de:Arithmetische_Hierarchie dbpedia-ja:算術的階層 yago-res:Arithmetical_hierarchy dbpedia-sr:Аритметичка_хијерархија

dbp:wikiPageUsesTemplate

dbt:See_also dbt:Pointclasses dbt:No_footnotes dbt:ComplexityClasses dbt:Refbegin dbt:Short_description dbt:Citation dbt:Reflist dbt:Distinguish dbt:Refend

dbo:thumbnail

n11:Arithmetic_hierarchy.svg?width=300

dbo:abstract

Aritmetická hierarchie (také Kleeneova hierarchie) je v matematické logice způsob klasifikace podmnožin přirozených čísel s ohledem na složitost formulí, které je definují. Studium aritmetické hierarchie hraje důležitou roli v teorii rekurze a studiu formálních aritmetických teorií jako je například Peanova aritmetika. Aritmetickou hierarchii lze také použít pro elegantní důkaz silnější varianty první Gödelovy věty. In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene–Mostowski hierarchy (after mathematicians Stephen Cole Kleene and Andrzej Mostowski) classifies certain sets based on the complexity of formulas that define them. Any set that receives a classification is called arithmetical. The arithmetical hierarchy is important in recursion theory, effective descriptive set theory, and the study of formal theories such as Peano arithmetic. The Tarski–Kuratowski algorithm provides an easy way to get an upper bound on the classifications assigned to a formula and the set it defines. The hyperarithmetical hierarchy and the analytical hierarchy extend the arithmetical hierarchy to classify additional formulas and sets. Em Lógica matemática, a hierarquia aritmética, ou hierarquia de Kleene-Mostowski classifica certos conjuntos baseada na complexidade das formulas que o definem. Qualquer conjunto que recebe uma classificação é chamado aritmético. A hierarquia aritmética é importante em teoria da recursão, teoria descritiva efetiva de conjuntos, e no estudo de teorias formais como a aritmética de Peano. O fornece um caminho simples para obter um limite superior nas classificações atribuídas a uma fórmula e o conjunto que ela define. A e a estendem a hierarquia aritmética para classificar formulas e conjuntos adicionais. En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Stephen Cole Kleene, est une hiérarchie des sous-ensembles de l'ensemble N des entiers naturels définissables dans le langage du premier ordre de l'arithmétique de Peano. Un ensemble d'entiers est classé suivant les alternances de quantificateurs d'une formule sous forme prénexe qui permet de le définir. Les premiers niveaux de la hiérarchie correspondent à la classe des ensembles récursivement énumérables (Σ10) et à celle des ensembles dont le complémentaire est récursivement énumérable (Π10), leur intersection étant la classe des ensembles récursifs (Δ10). En lògica matemàtica, la jerarquia aritmètica o jerarquia de Kleene és una classificació de conjunts de nombres naturals (i per extensió de qualsevol tipus d'elements que es codifiquin en nombres naturals) segons la complexitat de les fórmules que els defineixen. Els conjunts classificats s'anomenen aritmètics. La jerarquia aritmètica és important en la teoria de la recursió, en la , i en l'estudi de teories formals (com per exemple l'aritmètica de Peano). L' permet obtenir fàcilment una fita superior per a la classificació dels conjunts aritmètics. La i la són extensions de la jerarquia aritmètica que permeten classificar més conjunts. 算术阶层是递归论或可计算性理论中的概念，将自然数的子集按照定义它们的公式的复杂度分类。 En matematika logiko, la aritmetika hierarkio aŭ kleene-a hierarkio klasifikas la arojn de aritmetikaj formuloj (aŭ aritmetikaj aroj) laŭ ilia grado de solvebleco. Markotoj en la hierarkio estas difinita tiujn formulojn, kiuj kontentigas propozicion (priskribon) de certa komplekseco. La provizas supera baron por la grado de solvebleco de aritmetika formulo. Die Arithmetische Hierarchie ist ein Konzept der mathematischen Logik. Sie klassifiziert Mengen von natürlichen Zahlen, die in der Sprache der Peano-Arithmetik definierbar sind, nach der Komplexität ihrer Definitionen. Die arithmetisch definierbaren Mengen werden auch als arithmetisch bezeichnet. Die arithmetische Hierarchie spielt eine wichtige Rolle in der Berechenbarkeitstheorie. Die und die erweitern die arithmetische Hierarchie nach oben. 수리 논리학에서 산술적 위계(영어: arithmetical hierarchy) 또는 클레이니-모스토프스키 위계(Kleene hierarchy)란, 그것을 정의하는 식의 복잡도에 근거하여 집합들을 분류한 위계이다. 그러한 분류가 가능한 집합을 산술적(arithmetical)이라 한다. 재귀 이론, 기술적 집합론, 페아노 산술 연구 등에 있어서 중요한 개념이다. 算術的階層（さんじゅつてきかいそう、英: Arithmetical hierarchy）は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層（Kleene hierarchy）とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。 La jerarquía aritmética, o jerarquía de Kleene clasifica ciertos conjuntos basándose en la complejidad de las fórmulas que los definen. Todo conjunto que recibe una clasificación es llamado aritmético. La jerarquía aritmética es importante en la , , y el estudio de teorías formales tales como aritmética de Peano. El da una forma fácil de obtener un límite superior sobre las clasificaciones que se asignan a una fórmula y al conjunto que la misma define. La y la jerarquía analítica extienden la jerarquía aritmética clasificando fórmulas y conjuntos adicionales.

prov:wasDerivedFrom

wikipedia-en:Arithmetical_hierarchy?oldid=1116127068&ns=0

dbo:wikiPageLength

24870

foaf:isPrimaryTopicOf

wikipedia-en:Arithmetical_hierarchy