Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035687451> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2035687451 endingPage "358" @default.
- W2035687451 startingPage "347" @default.
- W2035687451 abstract "The structure ( D , ≤) of the Turing degrees under Turing reducibility is quite complicated. This is true even if we restrict our attention to the substructure ( R , ≤) of r.e. degrees. However, the theorems which imply that these structures are complicated all involve ad hoc constructions of sets having the desired reducibility relations. The complexity disappears when we turn to degrees occurring in nature. Of the degrees in R , only 0 and 0′ seem natural. In D , only 0, 0′, 0″, …, 0 ω , 0 ω+1 , … (and on into the transfinite) seem natural. Thus the natural degrees appear to be wellordered, with successors given by Turing jump. If this is true, one would like to prove it. Of course the first problem is to make the concept of naturalness more precise. The following requirements seem plausible: a natural degree should be definable, its definition should relativise to an arbitrary degree, and this relativisation should preserve reducibility relations among natural degrees. Thus to each natural degree c is associated a definable f c : D → D so that f c (0) = c and ∀ d ( d ≤ f c ( d )). Moreover, b ≤ c iff ∀ d ( f b ( d ) ≤, f c ( d )). To be specific, let us take the definability of f c to mean that f c ∈ L ( R ). If P is a property of degrees, we say P holds almost everywhere (a.e.) iff ∃ c ∀ d ≥: c P ( d ). For f, g : D → D , let f ≤ m g iff f ( d ) ≤ g ( d ) a.e. Define f ′ by f ′( d ) = f { d )′, and let M = { f : D → D / f ∈ L ( R ) ∧ d ≤ f ( d ) a.e.}. The following conjecture is due to D. A. Martin: Conjecture. M is prewellordered by ≤ m . If f ∈ M has rank α in ≤ m , then f ′ has rank α + 1." @default.
- W2035687451 created "2016-06-24" @default.
- W2035687451 creator A5088247102 @default.
- W2035687451 date "1982-06-01" @default.
- W2035687451 modified "2023-09-24" @default.
- W2035687451 title "A classification of jump operators" @default.
- W2035687451 cites W137575595 @default.
- W2035687451 cites W1985995199 @default.
- W2035687451 cites W2026230232 @default.
- W2035687451 cites W2055180636 @default.
- W2035687451 cites W2098636695 @default.
- W2035687451 cites W2122092051 @default.
- W2035687451 cites W2200966179 @default.
- W2035687451 doi "https://doi.org/10.2307/2273146" @default.
- W2035687451 hasPublicationYear "1982" @default.
- W2035687451 type Work @default.
- W2035687451 sameAs 2035687451 @default.
- W2035687451 citedByCount "43" @default.
- W2035687451 countsByYear W20356874512012 @default.
- W2035687451 countsByYear W20356874512015 @default.
- W2035687451 countsByYear W20356874512016 @default.
- W2035687451 countsByYear W20356874512018 @default.
- W2035687451 countsByYear W20356874512019 @default.
- W2035687451 countsByYear W20356874512020 @default.
- W2035687451 countsByYear W20356874512021 @default.
- W2035687451 countsByYear W20356874512022 @default.
- W2035687451 countsByYear W20356874512023 @default.
- W2035687451 crossrefType "journal-article" @default.
- W2035687451 hasAuthorship W2035687451A5088247102 @default.
- W2035687451 hasConcept C114614502 @default.
- W2035687451 hasConcept C118615104 @default.
- W2035687451 hasConcept C121332964 @default.
- W2035687451 hasConcept C147358099 @default.
- W2035687451 hasConcept C184264201 @default.
- W2035687451 hasConcept C24890656 @default.
- W2035687451 hasConcept C2775997480 @default.
- W2035687451 hasConcept C33923547 @default.
- W2035687451 hasConceptScore W2035687451C114614502 @default.
- W2035687451 hasConceptScore W2035687451C118615104 @default.
- W2035687451 hasConceptScore W2035687451C121332964 @default.
- W2035687451 hasConceptScore W2035687451C147358099 @default.
- W2035687451 hasConceptScore W2035687451C184264201 @default.
- W2035687451 hasConceptScore W2035687451C24890656 @default.
- W2035687451 hasConceptScore W2035687451C2775997480 @default.
- W2035687451 hasConceptScore W2035687451C33923547 @default.
- W2035687451 hasIssue "2" @default.
- W2035687451 hasLocation W20356874511 @default.
- W2035687451 hasOpenAccess W2035687451 @default.
- W2035687451 hasPrimaryLocation W20356874511 @default.
- W2035687451 hasRelatedWork W1871156538 @default.
- W2035687451 hasRelatedWork W2031989954 @default.
- W2035687451 hasRelatedWork W2044231811 @default.
- W2035687451 hasRelatedWork W2081631658 @default.
- W2035687451 hasRelatedWork W2158211033 @default.
- W2035687451 hasRelatedWork W2212471609 @default.
- W2035687451 hasRelatedWork W4200610777 @default.
- W2035687451 hasRelatedWork W4241241280 @default.
- W2035687451 hasRelatedWork W4289753919 @default.
- W2035687451 hasRelatedWork W4361204940 @default.
- W2035687451 hasVolume "47" @default.
- W2035687451 isParatext "false" @default.
- W2035687451 isRetracted "false" @default.
- W2035687451 magId "2035687451" @default.
- W2035687451 workType "article" @default.