About: Hyperarithmetical theory

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://math.uic.edu/~marker/math512/dst.pdf https://math.berkeley.edu/~antonio/ http://folk.uio.no/dnormann/LogikkII.pdf http://projecteuclid.org/DPubS%3Fservice=UI&version=1.0&verb=Display&page=toc&handle=euclid.pl/1235422631
dbo:wikiPageWikiLink	dbc:Computability_theory dbr:Peano_axioms dbr:Set_theory dbr:Type_theory dbr:Many-one_reduction dbr:Analytical_hierarchy dbr:Pairing_function dbr:Baire_space dbr:Computable_function dbr:Ordinal_number dbr:Turing_jump dbr:Arithmetical_hierarchy dbc:Hierarchy dbr:Arithmetical_set dbr:Effective_descriptive_set_theory dbr:Kripke–Platek_set_theory dbr:Turing_degree dbr:Large_countable_ordinal dbr:Turing_reduction dbr:Admissible_ordinal dbr:Ordinal_notation dbr:Second-order_arithmetic dbr:Natural_number dbr:Limit_ordinal dbr:Alpha_recursion_theory dbr:Tarski's_indefinability_theorem dbr:Recursion_theory dbr:Julia_F._Knight dbr:Supremum dbr:Recursive_ordinal
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:ISBN dbt:Pointclasses dbt:Unsourced_section
dct:subject	dbc:Computability_theory dbc:Hierarchy
gold:hypernym	dbr:Generalization
rdfs:label	Hyperarithmetical theory (en) Teoria hiperaritmética (pt)
owl:sameAs	freebase:Hyperarithmetical theory wikidata:Hyperarithmetical theory dbpedia-pt:Hyperarithmetical theory dbpedia-global:Hyperarithmetical theory
prov:wasDerivedFrom	wikipedia-en:Hyperarithmetical_theory?oldid=1216882341&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Hyperarithmetical_theory
is dbo:wikiPageRedirects of	dbr:Hyperjump dbr:Hyperarithmetic dbr:Hyperarithmetic_hierarchy dbr:Hyperarithmetic_reducibility dbr:Hyperarithmetic_set dbr:Hyperarithmetic_theory dbr:Hyperarithmetical dbr:Hyperarithmetical_hierarchy dbr:Hyperarithmetical_reducibility dbr:Hyperarithmetical_set
is dbo:wikiPageWikiLink of	dbr:Kai_Wehmeier dbr:Set_theory dbr:Analytical_hierarchy dbr:Computable_function dbr:List_of_types_of_sets dbr:Mathematical_logic dbr:Pointclass dbr:Descriptive_set_theory dbr:Hilary_Putnam dbr:Nonrecursive_ordinal dbr:Basis_theorem_(computability) dbr:Hyperjump dbr:Hyperarithmetic dbr:Hyperarithmetic_hierarchy dbr:Hyperarithmetic_reducibility dbr:Hyperarithmetic_set dbr:Hyperarithmetic_theory dbr:Hyperarithmetical dbr:Hyperarithmetical_hierarchy dbr:Hyperarithmetical_reducibility dbr:Hyperarithmetical_set
is foaf:primaryTopic of	wikipedia-en:Hyperarithmetical_theory