Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Arithmetical_hierarchy> ?p ?o. }
Showing items 1 to 39 of
39
with 100 items per page.
- Arithmetical_hierarchy abstract "In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene-Mostowski hierarchy 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.".
- Arithmetical_hierarchy wikiPageID "186475".
- Arithmetical_hierarchy wikiPageRevisionID "600275245".
- Arithmetical_hierarchy hasPhotoCollection Arithmetical_hierarchy.
- Arithmetical_hierarchy subject Category:Complexity_classes.
- Arithmetical_hierarchy subject Category:Computability_theory.
- Arithmetical_hierarchy subject Category:Effective_descriptive_set_theory.
- Arithmetical_hierarchy subject Category:Hierarchy.
- Arithmetical_hierarchy subject Category:Mathematical_logic_hierarchies.
- Arithmetical_hierarchy type Abstraction100002137.
- Arithmetical_hierarchy type Arrangement107938773.
- Arithmetical_hierarchy type Class107997703.
- Arithmetical_hierarchy type Collection107951464.
- Arithmetical_hierarchy type ComplexityClasses.
- Arithmetical_hierarchy type Group100031264.
- Arithmetical_hierarchy type Hierarchy108377806.
- Arithmetical_hierarchy type MathematicalLogicHierarchies.
- Arithmetical_hierarchy type Ordering108456993.
- Arithmetical_hierarchy type Series108457976.
- Arithmetical_hierarchy comment "In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene-Mostowski hierarchy 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.".
- Arithmetical_hierarchy label "Arithmetical hierarchy".
- Arithmetical_hierarchy label "Arithmetische Hierarchie".
- Arithmetical_hierarchy label "Hierarquia aritmética".
- Arithmetical_hierarchy label "Hiérarchie arithmétique".
- Arithmetical_hierarchy label "Jerarquía aritmética".
- Arithmetical_hierarchy label "算数阶层".
- Arithmetical_hierarchy label "算術的階層".
- Arithmetical_hierarchy sameAs Aritmetická_hierarchie.
- Arithmetical_hierarchy sameAs Arithmetische_Hierarchie.
- Arithmetical_hierarchy sameAs Jerarquía_aritmética.
- Arithmetical_hierarchy sameAs Hiérarchie_arithmétique.
- Arithmetical_hierarchy sameAs 算術的階層.
- Arithmetical_hierarchy sameAs Hierarquia_aritmética.
- Arithmetical_hierarchy sameAs m.019h3l.
- Arithmetical_hierarchy sameAs Q669094.
- Arithmetical_hierarchy sameAs Q669094.
- Arithmetical_hierarchy sameAs Arithmetical_hierarchy.
- Arithmetical_hierarchy wasDerivedFrom Arithmetical_hierarchy?oldid=600275245.
- Arithmetical_hierarchy isPrimaryTopicOf Arithmetical_hierarchy.