About: Alpha recursion theory

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

unknown

Property	Value
dbo:wikiPageExternalLink	https://projecteuclid.org/euclid.bams/1183541465 https://projecteuclid.org/euclid.pl/1235422631 https://core.ac.uk/download/pdf/30905237.pdf
dbo:wikiPageWikiLink	dbc:Computability_theory dbr:Kripke–Platek_set_theory dbr:Empty_set dbr:Admissible_ordinal dbr:Second-order_arithmetic dbr:Recursion_theory dbr:Primitive_recursion dbr:Constructible_hierarchy dbr:Levy_hierarchy dbr:Relative_complement
dct:subject	dbc:Computability_theory
rdfs:label	Alpha recursion theory (en)
owl:sameAs	freebase:Alpha recursion theory wikidata:Alpha recursion theory dbpedia-global:Alpha recursion theory
prov:wasDerivedFrom	wikipedia-en:Alpha_recursion_theory?oldid=1198967816&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Alpha_recursion_theory
is dbo:wikiPageRedirects of	dbr:Alpha_recursion dbr:Α-recursion_theory
is dbo:wikiPageWikiLink of	dbr:Computably_enumerable_set dbr:Analytical_hierarchy dbr:Computability_theory dbr:Mathematical_logic dbr:Admissible_ordinal dbr:Outline_of_logic dbr:Hyperarithmetical_theory dbr:Alpha_recursion dbr:Α-recursion_theory
is foaf:primaryTopic of	wikipedia-en:Alpha_recursion_theory

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International