Defining the Turing jump (Q1574741): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q55894375, #quickstatements; #temporary_batch_1712260040974 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q55894375 / rank | |||
Normal rank |
Latest revision as of 21:50, 4 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Defining the Turing jump |
scientific article |
Statements
Defining the Turing jump (English)
0 references
13 August 2000
0 references
Starting from the notion of effective computability in terms of a Turing machine, the authors use the notion of (Turing) degree of the arithmetic sets for the definition of the (Turing) jump operators. Some results on Turing degrees are presented and also the authors' proof answering a question posed by Jockusch and Shore.
0 references
Turing degree structures
0 references