Turing jump

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo set of natural numbers
gptkbp:category recursion theory
gptkbp:describes operation on sets of natural numbers
gptkbp:field gptkb:logic
computability theory
https://www.w3.org/2000/01/rdf-schema#label Turing jump
gptkbp:improves Turing degree
gptkbp:introduced gptkb:Stephen_Cole_Kleene
gptkbp:introducedIn 1943
gptkbp:operator unary operation
gptkbp:relatedConcept gptkb:oracle_Turing_machine
gptkb:Turing_reducibility
gptkbp:relatedTo Technical Machine
recursion theory
Turing degree
gptkbp:result higher Turing degree
gptkbp:symbol A'
gptkbp:usedFor defining analytical hierarchy
defining arithmetical hierarchy
measuring relative computability
gptkbp:bfsParent gptkb:Sacks_jump_inversion_theorem
gptkbp:bfsLayer 7