About: Turing jump

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

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.cs.umb.edu/~fejer/articles/History_of_Degrees.pdf http://math.berkeley.edu/~slaman/papers/jump.pdf
dbo:wikiPageWikiLink	dbr:Constructible_universe dbr:Oracle_machine dbr:Richard_Shore dbc:Computability_theory dbr:Association_for_Symbolic_Logic dbr:MIT_Press dbr:Computable_function dbr:Halting_problem dbr:Arithmetical_hierarchy dbr:Post's_theorem dbr:Computability_theory dbr:Regular_cardinal dbr:Alan_Turing dbc:Alan_Turing dbc:Year_of_introduction_missing dbr:Theodore_Slaman dbr:Turing_degree dbr:Partial_order dbr:Gödel_numbering dbr:Decision_problem dbr:Journal_of_Symbolic_Logic dbr:Springer-Verlag dbr:Church–Kleene_ordinal dbr:Computably_enumerable dbr:Peano_arithmetic dbr:Oracle_(computer_science) dbr:M-complete dbr:Natural_numbers dbr:Hyperarithmetic_hierarchy dbr:Arithmetic_hierarchy dbr:Relative_computability dbr:Turing-reducible dbr:Transfinite_ordinal dbr:Effective_join dbr:Mathematical_Research_Letters
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Math dbt:Cite_journal dbt:Cite_news dbt:Mvar dbt:More_footnotes dbt:Mathbb
dct:subject	dbc:Computability_theory dbc:Alan_Turing dbc:Year_of_introduction_missing
gold:hypernym	dbr:Operation
rdfs:label	Turing jump (en) チューリングジャンプ (ja) Saut de Turing (fr) Salto de Turing (pt)
owl:sameAs	freebase:Turing jump wikidata:Turing jump dbpedia-fr:Turing jump dbpedia-ja:Turing jump dbpedia-pt:Turing jump dbpedia-global:Turing jump
prov:wasDerivedFrom	wikipedia-en:Turing_jump?oldid=1265545172&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Turing_jump
is dbo:wikiPageDisambiguates of	dbr:Jump
is dbo:wikiPageRedirects of	dbr:Zero-jump dbr:Zero_jump
is dbo:wikiPageWikiLink of	dbr:Chaitin's_constant dbr:Richard_Shore dbr:Integer_sequence dbr:Jump dbr:Computable_function dbr:Arithmetical_hierarchy dbr:Post's_theorem dbr:Computability_theory dbr:Arithmetical_set dbr:Louise_Hay_(mathematician) dbr:Turing_degree dbr:Turing_reduction dbr:Second-order_arithmetic dbr:List_of_things_named_after_Alan_Turing dbr:0J dbr:Computation_in_the_limit dbr:Low_(computability) dbr:Low_basis_theorem dbr:Reduction_(computability_theory) dbr:High_(computability) dbr:Basis_theorem_(computability) dbr:K-trivial_set dbr:Hyperarithmetical_theory dbr:Zero-jump dbr:Zero_jump
is rdfs:seeAlso of	dbr:Halting_problem
is foaf:primaryTopic of	wikipedia-en:Turing_jump