| Catalan |
| has gloss | cat: 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 delements que es codifiquin en nombres naturals) segons la complexitat de les fórmules que els defineixen. Els conjunts classificats sanomenen aritmètics. |
| lexicalization | cat: jerarquia aritmètica |
| Czech |
| has gloss | ces: 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. |
| lexicalization | ces: aritmetická hierarchie |
| Esperanto |
| has gloss | epo: 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. |
| lexicalization | epo: aritmetika hierarkio |
| French |
| has gloss | fra: En logique mathématique, plus particulièrement en théorie de la calculabilité, la hiérarchie arithmétique, définie par Kleene est une hiérarchie des sous-ensembles de lensemble N des entiers naturels définissables dans le langage du premier ordre de larithmétique de Peano. Un ensemble dentiers est classé suivant les alternances de quantificateurs dune formule sous forme prénexe qui permet de le définir. |
| lexicalization | fra: Hierarchie arithmetique |
| lexicalization | fra: hiérarchie arithmétique |
| Japanese |
| has gloss | jpn: 算術的階層（さんじゅつてきかいそう、）は、数理論理学において、集合を定義する式の複雑さに基づいて、その集合を分類した階層である。クリーネ階層（Kleene hierarchy）とも。このような分類が可能な集合は算術的である。 |
| lexicalization | jpn: 算術的階層 |
| Castilian |
| has gloss | spa: En lógica matemática, 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. |
| lexicalization | spa: Jerarquia aritmetica |
| lexicalization | spa: jerarquía aritmética |