Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Arithmetical_hierarchy> ?p ?o }
Showing triples 1 to 79 of
79
with 100 triples 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 wikiPageLength "20086".
- Arithmetical_hierarchy wikiPageOutDegree "51".
- Arithmetical_hierarchy wikiPageRevisionID "700939769".
- Arithmetical_hierarchy wikiPageWikiLink Analytical_hierarchy.
- Arithmetical_hierarchy wikiPageWikiLink Baire_space_(set_theory).
- Arithmetical_hierarchy wikiPageWikiLink Borel_hierarchy.
- Arithmetical_hierarchy wikiPageWikiLink Borel_set.
- Arithmetical_hierarchy wikiPageWikiLink Bounded_quantifier.
- Arithmetical_hierarchy wikiPageWikiLink Cantor_space.
- Arithmetical_hierarchy wikiPageWikiLink Cartesian_product.
- Arithmetical_hierarchy wikiPageWikiLink Category:Complexity_classes.
- Arithmetical_hierarchy wikiPageWikiLink Category:Computability_theory.
- Arithmetical_hierarchy wikiPageWikiLink Category:Effective_descriptive_set_theory.
- Arithmetical_hierarchy wikiPageWikiLink Category:Hierarchy.
- Arithmetical_hierarchy wikiPageWikiLink Category:Mathematical_logic_hierarchies.
- Arithmetical_hierarchy wikiPageWikiLink Complexity.
- Arithmetical_hierarchy wikiPageWikiLink Computability_theory.
- Arithmetical_hierarchy wikiPageWikiLink Effective_Polish_space.
- Arithmetical_hierarchy wikiPageWikiLink Effective_descriptive_set_theory.
- Arithmetical_hierarchy wikiPageWikiLink Existential_quantification.
- Arithmetical_hierarchy wikiPageWikiLink Halting_problem.
- Arithmetical_hierarchy wikiPageWikiLink Hierarchy_(mathematics).
- Arithmetical_hierarchy wikiPageWikiLink Hyperarithmetical_theory.
- Arithmetical_hierarchy wikiPageWikiLink Indicator_function.
- Arithmetical_hierarchy wikiPageWikiLink Interpretability_logic.
- Arithmetical_hierarchy wikiPageWikiLink Intersection_(set_theory).
- Arithmetical_hierarchy wikiPageWikiLink Many-one_reduction.
- Arithmetical_hierarchy wikiPageWikiLink Mathematical_logic.
- Arithmetical_hierarchy wikiPageWikiLink Oracle_machine.
- Arithmetical_hierarchy wikiPageWikiLink Peano_axioms.
- Arithmetical_hierarchy wikiPageWikiLink Pointclass.
- Arithmetical_hierarchy wikiPageWikiLink Polynomial_hierarchy.
- Arithmetical_hierarchy wikiPageWikiLink Posts_theorem.
- Arithmetical_hierarchy wikiPageWikiLink Prenex_normal_form.
- Arithmetical_hierarchy wikiPageWikiLink Primitive_recursive_function.
- Arithmetical_hierarchy wikiPageWikiLink Recursive_set.
- Arithmetical_hierarchy wikiPageWikiLink Recursively_enumerable_set.
- Arithmetical_hierarchy wikiPageWikiLink Second-order_arithmetic.
- Arithmetical_hierarchy wikiPageWikiLink Set_(mathematics).
- Arithmetical_hierarchy wikiPageWikiLink Tarski–Kuratowski_algorithm.
- Arithmetical_hierarchy wikiPageWikiLink Tuple.
- Arithmetical_hierarchy wikiPageWikiLink Turing_degree.
- Arithmetical_hierarchy wikiPageWikiLink Turing_jump.
- Arithmetical_hierarchy wikiPageWikiLink Turing_reduction.
- Arithmetical_hierarchy wikiPageWikiLink Union_(set_theory).
- Arithmetical_hierarchy wikiPageWikiLink Universal_quantification.
- Arithmetical_hierarchy wikiPageWikiLinkText "Arithmetical hierarchy".
- Arithmetical_hierarchy wikiPageWikiLinkText "arithmetical hierarchy".
- Arithmetical_hierarchy wikiPageWikiLinkText "arithmetical".
- Arithmetical_hierarchy wikiPageWikiLinkText "sentence".
- Arithmetical_hierarchy wikiPageWikiLinkText "sentences".
- Arithmetical_hierarchy wikiPageUsesTemplate Template:Citation.
- Arithmetical_hierarchy wikiPageUsesTemplate Template:ComplexityClasses.
- 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 Class.
- Arithmetical_hierarchy type Pattern.
- 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.".
- Arithmetical_hierarchy label "Arithmetical hierarchy".
- Arithmetical_hierarchy sameAs Q669094.
- Arithmetical_hierarchy sameAs Jerarquia_aritmètica.
- Arithmetical_hierarchy sameAs Aritmetická_hierarchie.
- Arithmetical_hierarchy sameAs Arithmetische_Hierarchie.
- Arithmetical_hierarchy sameAs Aritmetika_hierarkio.
- 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 Аритметичка_хијерархија.
- Arithmetical_hierarchy sameAs Q669094.
- Arithmetical_hierarchy sameAs 算数阶层.
- Arithmetical_hierarchy wasDerivedFrom Arithmetical_hierarchy?oldid=700939769.
- Arithmetical_hierarchy isPrimaryTopicOf Arithmetical_hierarchy.