| http://dbpedia.org/ontology/abstract
|
En lògica matemàtica, la jerarquia aritmèt … 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.ica que permeten classificar més conjunts.
, En matematika logiko, la aritmetika hierar … 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.grado de solvebleco de aritmetika formulo.
, In mathematical logic, the arithmetical hi … 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. to classify additional formulas and sets.
, Aritmetická hierarchie (také Kleeneova hie … 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.kaz silnější varianty první Gödelovy věty.
, 算术阶层是递归论或可计算性理论中的概念，将自然数的子集按照定义它们的公式的复杂度分类。
, Die Arithmetische Hierarchie ist ein Konze … 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.rn die arithmetische Hierarchie nach oben.
, 算術的階層（さんじゅつてきかいそう、英: Arithmetical hierarchy）は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層（Kleene hierarchy）とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。
, La jerarquía aritmética, o jerarquía de Kl … 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.ificando fórmulas y conjuntos adicionales.
, En logique mathématique, plus particulière … 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).t la classe des ensembles récursifs (Δ10).
, Em Lógica matemática, a hierarquia aritmét … 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.assificar formulas e conjuntos adicionais.
, 수리 논리학에서 산술적 위계(영어: arithmetical hierarchy) 또는 클레이니-모스토프스키 위계(Kleene hierarchy)란, 그것을 정의하는 식의 복잡도에 근거하여 집합들을 분류한 위계이다. 그러한 분류가 가능한 집합을 산술적(arithmetical)이라 한다. 재귀 이론, 기술적 집합론, 페아노 산술 연구 등에 있어서 중요한 개념이다.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Arithmetic_hierarchy.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
186475
|
| http://dbpedia.org/ontology/wikiPageLength
|
24870
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1116127068
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Primitive_recursive_function +
, http://dbpedia.org/resource/Hierarchy_%28mathematics%29 +
, http://dbpedia.org/resource/Complement_%28set_theory%29 +
, http://dbpedia.org/resource/Computable_function +
, http://dbpedia.org/resource/Intersection_%28set_theory%29 +
, http://dbpedia.org/resource/Union_%28set_theory%29 +
, http://dbpedia.org/resource/Borel_set +
, http://dbpedia.org/resource/Borel_hierarchy +
, http://dbpedia.org/resource/Effective_descriptive_set_theory +
, http://dbpedia.org/resource/E_%28complexity%29 +
, http://dbpedia.org/resource/Tuple +
, http://dbpedia.org/resource/Stephen_Cole_Kleene +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Pairing_function +
, http://dbpedia.org/resource/Andrzej_Mostowski +
, http://dbpedia.org/resource/Oracle_machine +
, http://dbpedia.org/resource/Course-of-values_recursion +
, http://dbpedia.org/resource/Category:Hierarchy +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Turing_complete_set +
, http://dbpedia.org/resource/Analytical_hierarchy +
, http://dbpedia.org/resource/Post%27s_theorem +
, http://dbpedia.org/resource/Indicator_function +
, http://dbpedia.org/resource/Interpretability_logic +
, http://dbpedia.org/resource/Bounded_quantifier +
, http://dbpedia.org/resource/Prenex_normal_form +
, http://dbpedia.org/resource/Baire_space_%28set_theory%29 +
, http://dbpedia.org/resource/Category:Complexity_classes +
, http://dbpedia.org/resource/L%C3%A9vy_hierarchy +
, http://dbpedia.org/resource/Category:Mathematical_logic_hierarchies +
, http://dbpedia.org/resource/Cartesian_power +
, http://dbpedia.org/resource/Hyperarithmetic_reducibility +
, http://dbpedia.org/resource/Many-one_reduction +
, http://dbpedia.org/resource/File:Arithmetic_hierarchy.svg +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Recursive_set +
, http://dbpedia.org/resource/Tarski%E2%80%93Kuratowski_algorithm +
, http://dbpedia.org/resource/Hyperarithmetical_hierarchy +
, http://dbpedia.org/resource/Category:Effective_descriptive_set_theory +
, http://dbpedia.org/resource/Turing_jump +
, http://dbpedia.org/resource/Turing_reducibility +
, http://dbpedia.org/resource/Lightface +
, http://dbpedia.org/resource/Second-order_arithmetic +
, http://dbpedia.org/resource/Polynomial_hierarchy +
, http://dbpedia.org/resource/Recursively_enumerable_set +
, http://dbpedia.org/resource/Cantor_space +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://dbpedia.org/resource/Turing_degree +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Complexity +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/Universal_quantifier +
, http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Effective_Polish_space +
, http://dbpedia.org/resource/Peano_axioms +
, http://dbpedia.org/resource/Existential_quantifier +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:See_also +
, http://dbpedia.org/resource/Template:Distinguish +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:No_footnotes +
, http://dbpedia.org/resource/Template:ComplexityClasses +
, http://dbpedia.org/resource/Template:Refbegin +
, http://dbpedia.org/resource/Template:Pointclasses +
, http://dbpedia.org/resource/Template:Refend +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Complexity_classes +
, http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Category:Hierarchy +
, http://dbpedia.org/resource/Category:Effective_descriptive_set_theory +
, http://dbpedia.org/resource/Category:Mathematical_logic_hierarchies +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Arithmetical_hierarchy?oldid=1116127068&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Arithmetic_hierarchy.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Arithmetical_hierarchy +
|
| owl:differentFrom |
http://dbpedia.org/resource/Levy_hierarchy +
|
| owl:sameAs |
http://ja.dbpedia.org/resource/%E7%AE%97%E8%A1%93%E7%9A%84%E9%9A%8E%E5%B1%A4 +
, http://cs.dbpedia.org/resource/Aritmetick%C3%A1_hierarchie +
, http://eo.dbpedia.org/resource/Aritmetika_hierarkio +
, http://www.wikidata.org/entity/Q669094 +
, http://pt.dbpedia.org/resource/Hierarquia_aritm%C3%A9tica +
, http://ko.dbpedia.org/resource/%EC%82%B0%EC%88%A0%EC%A0%81_%EC%9C%84%EA%B3%84 +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://fr.dbpedia.org/resource/Hi%C3%A9rarchie_arithm%C3%A9tique +
, http://ca.dbpedia.org/resource/Jerarquia_aritm%C3%A8tica +
, http://es.dbpedia.org/resource/Jerarqu%C3%ADa_aritm%C3%A9tica +
, http://zh.dbpedia.org/resource/%E7%AE%97%E6%95%B0%E9%98%B6%E5%B1%82 +
, http://rdf.freebase.com/ns/m.019h3l +
, http://sr.dbpedia.org/resource/%D0%90%D1%80%D0%B8%D1%82%D0%BC%D0%B5%D1%82%D0%B8%D1%87%D0%BA%D0%B0_%D1%85%D0%B8%D1%98%D0%B5%D1%80%D0%B0%D1%80%D1%85%D0%B8%D1%98%D0%B0 +
, https://global.dbpedia.org/id/4qmUr +
, http://yago-knowledge.org/resource/Arithmetical_hierarchy +
, http://de.dbpedia.org/resource/Arithmetische_Hierarchie +
|
| rdf:type |
http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/class/yago/Collection107951464 +
, http://dbpedia.org/class/yago/WikicatComplexityClasses +
, http://dbpedia.org/class/yago/Class107997703 +
, http://dbpedia.org/class/yago/Arrangement107938773 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Hierarchy108377806 +
, http://dbpedia.org/class/yago/Ordering108456993 +
, http://dbpedia.org/class/yago/Series108457976 +
, http://dbpedia.org/class/yago/WikicatMathematicalLogicHierarchies +
|
| rdfs:comment |
수리 논리학에서 산술적 위계(영어: arithmetical hierarchy) 또는 클레이니-모스토프스키 위계(Kleene hierarchy)란, 그것을 정의하는 식의 복잡도에 근거하여 집합들을 분류한 위계이다. 그러한 분류가 가능한 집합을 산술적(arithmetical)이라 한다. 재귀 이론, 기술적 집합론, 페아노 산술 연구 등에 있어서 중요한 개념이다.
, La jerarquía aritmética, o jerarquía de Kl … 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.ificando fórmulas y conjuntos adicionales.
, Em Lógica matemática, a hierarquia aritmét … 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 uma fórmula e o conjunto que ela define.
, En lògica matemàtica, la jerarquia aritmèt … 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 classificació dels conjunts aritmètics.
, En matematika logiko, la aritmetika hierar … 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.grado de solvebleco de aritmetika formulo.
, In mathematical logic, the arithmetical hi … 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. to classify additional formulas and sets.
, En logique mathématique, plus particulière … 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.us forme prénexe qui permet de le définir.
, Aritmetická hierarchie (také Kleeneova hie … 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.kaz silnější varianty první Gödelovy věty.
, 算術的階層（さんじゅつてきかいそう、英: Arithmetical hierarchy）は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層（Kleene hierarchy）とも。このような分類が可能な集合は算術的である。 算術的階層は、再帰理論やペアノ算術のような形式理論の研究で重要である。 算術的階層での式や集合の分類の拡張として、やがある。
, 算术阶层是递归论或可计算性理论中的概念，将自然数的子集按照定义它们的公式的复杂度分类。
, Die Arithmetische Hierarchie ist ein Konze … 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.rn die arithmetische Hierarchie nach oben.
|
| rdfs:label |
Jerarquia aritmètica
, Jerarquía aritmética
, Aritmetika hierarkio
, Arithmetical hierarchy
, Hierarquia aritmética
, Arithmetische Hierarchie
, 산술적 위계
, 算術的階層
, 算数阶层
, Hiérarchie arithmétique
, Aritmetická hierarchie
|
| rdfs:seeAlso |
http://dbpedia.org/resource/Post%27s_theorem +
|
