Matches in SemOpenAlex for { <https://semopenalex.org/work/W142821862> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W142821862 endingPage "382" @default.
- W142821862 startingPage "365" @default.
- W142821862 abstract "X ′ is the canonical example of a set which is definable from X but not recursive in X. The Turing degree of X ′ depends only on the Turing degree of X, so the jump induces an increasing function on the Turing degrees D. In this paper, we will discuss two aspects of the jump and its iterations. First, we will show that they are implicitly characterized by general properties of relative definability. Second, we will present the Shore and Slaman [1999] theorem that the function x 7→ x′ is first order definable in the Turing degrees. Finally, we will pose analogous questions about the relation y is recursively enumerable in x and discuss what is known about them. Our discussion will rest on two technical facts, which are generalizations of the following two theorems." @default.
- W142821862 created "2016-06-24" @default.
- W142821862 creator A5056375116 @default.
- W142821862 date "2017-04-26" @default.
- W142821862 modified "2023-09-25" @default.
- W142821862 title "Aspects of the Turing jump" @default.
- W142821862 cites W1538838225 @default.
- W142821862 cites W1999737391 @default.
- W142821862 cites W2017193571 @default.
- W142821862 cites W2057392475 @default.
- W142821862 cites W2060075008 @default.
- W142821862 cites W2083623332 @default.
- W142821862 cites W2113021297 @default.
- W142821862 cites W2131652429 @default.
- W142821862 cites W2191957727 @default.
- W142821862 doi "https://doi.org/10.1017/9781316755884.016" @default.
- W142821862 hasPublicationYear "2017" @default.
- W142821862 type Work @default.
- W142821862 sameAs 142821862 @default.
- W142821862 citedByCount "6" @default.
- W142821862 countsByYear W1428218622012 @default.
- W142821862 countsByYear W1428218622014 @default.
- W142821862 countsByYear W1428218622018 @default.
- W142821862 crossrefType "book-chapter" @default.
- W142821862 hasAuthorship W142821862A5056375116 @default.
- W142821862 hasConcept C11413529 @default.
- W142821862 hasConcept C118615104 @default.
- W142821862 hasConcept C121332964 @default.
- W142821862 hasConcept C131671149 @default.
- W142821862 hasConcept C14036430 @default.
- W142821862 hasConcept C177264268 @default.
- W142821862 hasConcept C179061269 @default.
- W142821862 hasConcept C199360897 @default.
- W142821862 hasConcept C202444582 @default.
- W142821862 hasConcept C203702658 @default.
- W142821862 hasConcept C24890656 @default.
- W142821862 hasConcept C2775997480 @default.
- W142821862 hasConcept C2780695682 @default.
- W142821862 hasConcept C29248071 @default.
- W142821862 hasConcept C33923547 @default.
- W142821862 hasConcept C41008148 @default.
- W142821862 hasConcept C45374587 @default.
- W142821862 hasConcept C62520636 @default.
- W142821862 hasConcept C78458016 @default.
- W142821862 hasConcept C86803240 @default.
- W142821862 hasConcept C9870796 @default.
- W142821862 hasConceptScore W142821862C11413529 @default.
- W142821862 hasConceptScore W142821862C118615104 @default.
- W142821862 hasConceptScore W142821862C121332964 @default.
- W142821862 hasConceptScore W142821862C131671149 @default.
- W142821862 hasConceptScore W142821862C14036430 @default.
- W142821862 hasConceptScore W142821862C177264268 @default.
- W142821862 hasConceptScore W142821862C179061269 @default.
- W142821862 hasConceptScore W142821862C199360897 @default.
- W142821862 hasConceptScore W142821862C202444582 @default.
- W142821862 hasConceptScore W142821862C203702658 @default.
- W142821862 hasConceptScore W142821862C24890656 @default.
- W142821862 hasConceptScore W142821862C2775997480 @default.
- W142821862 hasConceptScore W142821862C2780695682 @default.
- W142821862 hasConceptScore W142821862C29248071 @default.
- W142821862 hasConceptScore W142821862C33923547 @default.
- W142821862 hasConceptScore W142821862C41008148 @default.
- W142821862 hasConceptScore W142821862C45374587 @default.
- W142821862 hasConceptScore W142821862C62520636 @default.
- W142821862 hasConceptScore W142821862C78458016 @default.
- W142821862 hasConceptScore W142821862C86803240 @default.
- W142821862 hasConceptScore W142821862C9870796 @default.
- W142821862 hasLocation W1428218621 @default.
- W142821862 hasOpenAccess W142821862 @default.
- W142821862 hasPrimaryLocation W1428218621 @default.
- W142821862 hasRelatedWork W12631801 @default.
- W142821862 hasRelatedWork W1530010332 @default.
- W142821862 hasRelatedWork W1564859736 @default.
- W142821862 hasRelatedWork W1808977091 @default.
- W142821862 hasRelatedWork W1970903680 @default.
- W142821862 hasRelatedWork W1984694328 @default.
- W142821862 hasRelatedWork W1985995199 @default.
- W142821862 hasRelatedWork W2014472563 @default.
- W142821862 hasRelatedWork W2021327660 @default.
- W142821862 hasRelatedWork W205536126 @default.
- W142821862 hasRelatedWork W2060434897 @default.
- W142821862 hasRelatedWork W2104926563 @default.
- W142821862 hasRelatedWork W2339875149 @default.
- W142821862 hasRelatedWork W2571490773 @default.
- W142821862 hasRelatedWork W2789194095 @default.
- W142821862 hasRelatedWork W2804295013 @default.
- W142821862 hasRelatedWork W3197865906 @default.
- W142821862 hasRelatedWork W3211509423 @default.
- W142821862 hasRelatedWork W2178007895 @default.
- W142821862 hasRelatedWork W2400328797 @default.
- W142821862 isParatext "false" @default.
- W142821862 isRetracted "false" @default.
- W142821862 magId "142821862" @default.
- W142821862 workType "book-chapter" @default.