Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Arithmetical hierarchy
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Hierarchy which classifies certain sets based on the complexity of formulas that define them
Property
Value
dbo:
description
hierarchy which classifies certain sets based on the complexity of formulas that define them
(en)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Arithmetic_hierarchy.svg?width=300
dbo:
wikiPageWikiLink
dbr
:Primitive_recursive_function
dbr
:Oracle_machine
dbr
:File:Arithmetic_hierarchy.svg
dbr
:Cantor_space
dbr
:Complexity
dbc
:Computability_theory
dbr
:Complement_(set_theory)
dbr
:Peano_axioms
dbr
:Set_(mathematics)
dbr
:Andrzej_Mostowski
dbr
:Polynomial_hierarchy
dbr
:E_(complexity)
dbr
:Many-one_reduction
dbr
:Course-of-values_recursion
dbr
:Analytical_hierarchy
dbr
:Pairing_function
dbr
:Computable_function
dbr
:Borel_set
dbr
:Halting_problem
dbr
:Turing_jump
dbr
:Arithmetical_hierarchy
dbr
:Post's_theorem
dbr
:Hierarchy_(mathematics)
dbc
:Hierarchy
dbc
:Effective_descriptive_set_theory
dbc
:Mathematical_logic_hierarchies
dbr
:Cartesian_power
dbr
:Lévy_hierarchy
dbr
:Effective_Polish_space
dbr
:Effective_descriptive_set_theory
dbr
:Intersection_(set_theory)
dbr
:Stephen_Cole_Kleene
dbr
:Mathematical_logic
dbr
:Turing_degree
dbr
:Interpretability_logic
dbr
:Baire_space_(set_theory)
dbr
:Bounded_quantifier
dbr
:Prenex_normal_form
dbr
:Tuple
dbr
:Union_(set_theory)
dbr
:Borel_hierarchy
dbr
:Second-order_arithmetic
dbc
:Complexity_classes
dbr
:Indicator_function
dbr
:Tarski–Kuratowski_algorithm
dbr
:Recursion_theory
dbr
:Recursive_set
dbr
:Universal_quantifier
dbr
:Peano_arithmetic
dbr
:Recursively_enumerable_set
dbr
:Existential_quantifier
dbr
:Lightface
dbr
:Hyperarithmetic_reducibility
dbr
:Hyperarithmetical_hierarchy
dbr
:Turing_complete_set
dbr
:Turing_reducibility
dbp:
date
August 2024
(en)
dbp:
text
set parameters.
(en)
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:ComplexityClasses
dbt
:See_also
dbt
:Clarify
dbt
:No_footnotes
dbt
:Citation
dbt
:Refend
dbt
:Refbegin
dbt
:Pointclasses
dbt
:Short_description
dct:
subject
dbc
:Computability_theory
dbc
:Hierarchy
dbc
:Effective_descriptive_set_theory
dbc
:Mathematical_logic_hierarchies
dbc
:Complexity_classes
rdfs:
label
Arithmetical hierarchy
(en)
Jerarquia aritmètica
(ca)
Arithmetische Hierarchie
(de)
Aritmetická hierarchie
(cs)
Aritmetika hierarkio
(eo)
Jerarquía aritmética
(es)
Hiérarchie arithmétique
(fr)
算術的階層
(ja)
산술적 위계
(ko)
Hierarquia aritmética
(pt)
算数阶层
(zh)
rdfs:
seeAlso
dbr
:Post's_theorem
owl:
sameAs
freebase
:Arithmetical hierarchy
yago-res
:Arithmetical hierarchy
wikidata
:Arithmetical hierarchy
dbpedia-de
:Arithmetical hierarchy
dbpedia-fr
:Arithmetical hierarchy
dbpedia-zh
:Arithmetical hierarchy
dbpedia-ja
:Arithmetical hierarchy
dbpedia-pt
:Arithmetical hierarchy
dbpedia-es
:Arithmetical hierarchy
dbpedia-ko
:Arithmetical hierarchy
dbpedia-ca
:Arithmetical hierarchy
dbpedia-cs
:Arithmetical hierarchy
dbpedia-eo
:Arithmetical hierarchy
dbpedia-sr
:Arithmetical hierarchy
dbpedia-global
:Arithmetical hierarchy
dbr
:Arithmetical hierarchy
prov:
wasDerivedFrom
wikipedia-en
:Arithmetical_hierarchy?oldid=1283305178&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Arithmetic_hierarchy.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:Arithmetical_hierarchy
is
dbo:
knownFor
of
dbr
:Andrzej_Mostowski
dbr
:Stephen_Cole_Kleene
is
dbo:
wikiPageRedirects
of
dbr
:Kleene–Mostowski_hierarchy
dbr
:Kleene–Mostowski_hierarchy
dbr
:AH_(complexity)
dbr
:Kleene-Mostowski_hierarchy
dbr
:Kleene_hierarchy
dbr
:Arithmetic_hierarchy
dbr
:Arithmetic_reducibility
dbr
:Arithmetical_reducibility
dbr
:Pi-0-1_sentence
dbr
:Pi-0-1_sentences
dbr
:Pi-0-2_sentence
is
dbo:
wikiPageWikiLink
of
dbr
:Chaitin's_constant
dbr
:Constructible_universe
dbr
:Conservative_extension
dbr
:Oracle_machine
dbr
:Computably_enumerable_set
dbr
:Peano_axioms
dbr
:Recursively_enumerable_language
dbr
:Definable_set
dbr
:Gödel's_incompleteness_theorems
dbr
:Proof_theory
dbr
:Andrzej_Mostowski
dbr
:Kőnig's_lemma
dbr
:Polynomial_hierarchy
dbr
:Computable_set
dbr
:Friedman_translation
dbr
:Double-negation_translation
dbr
:Super-recursive_algorithm
dbr
:Analytical_hierarchy
dbr
:Delta
dbr
:Gödel's_completeness_theorem
dbr
:Computable_function
dbr
:Decider_(Turing_machine)
dbr
:Termination_analysis
dbr
:Definable_real_number
dbr
:Halting_problem
dbr
:Turing_jump
dbr
:Arithmetical_hierarchy
dbr
:Post's_theorem
dbr
:Computability_theory
dbr
:Collatz_conjecture
dbr
:List_of_first-order_theories
dbr
:Hierarchy_(mathematics)
dbr
:Heyting_arithmetic
dbr
:Arithmetical_set
dbr
:Tarski's_undefinability_theorem
dbr
:Lévy_hierarchy
dbr
:Effective_descriptive_set_theory
dbr
:Glossary_of_set_theory
dbr
:Pi_(disambiguation)
dbr
:Mathematical_logic
dbr
:Gisbert_Hasenjaeger
dbr
:Turing_degree
dbr
:Reverse_mathematics
dbr
:Large_countable_ordinal
dbr
:Pointclass
dbr
:Emil_Leon_Post
dbr
:Bounded_quantifier
dbr
:Giorgi_Japaridze
dbr
:List_of_mathematical_logic_topics
dbr
:Prenex_normal_form
dbr
:Borel_hierarchy
dbr
:List_of_algorithms
dbr
:Kleene's_T_predicate
dbr
:Wadge_hierarchy
dbr
:Limits_of_computation
dbr
:Turing_machine
dbr
:Ω-consistent_theory
dbr
:Algorithmically_random_sequence
dbr
:Tarski–Kuratowski_algorithm
dbr
:True_arithmetic
dbr
:Index_set_(computability)
dbr
:Constructive_set_theory
dbr
:Dependence_logic
dbr
:Low_basis_theorem
dbr
:Computable_ordinal
dbr
:Reduction_(computability_theory)
dbr
:Kleene–Mostowski_hierarchy
dbr
:AH_(complexity)
dbr
:Self-verifying_theories
dbr
:Π01_class
dbr
:Basis_theorem_(computability)
dbr
:Enumeration_reducibility
dbr
:Dieter_Rödding
dbr
:K-trivial_set
dbr
:Hyperarithmetical_theory
dbr
:Indicator_vector
dbr
:Anders_C._Hansen
dbr
:Induction,_bounding_and_least_number_principles
dbr
:Kleene-Mostowski_hierarchy
dbr
:Kleene_hierarchy
dbr
:Arithmetic_hierarchy
dbr
:Arithmetic_reducibility
dbr
:Arithmetical_reducibility
dbr
:Pi-0-1_sentence
dbr
:Pi-0-1_sentences
dbr
:Pi-0-2_sentence
is
dbp:
knownFor
of
dbr
:Andrzej_Mostowski
is
rdfs:
seeAlso
of
dbr
:Post's_theorem
is
foaf:
primaryTopic
of
wikipedia-en
:Arithmetical_hierarchy
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International