FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000784135> ?p ?o ?g. }

• W2000784135 endingPage "404" @default.
• W2000784135 startingPage "392" @default.
• W2000784135 abstract "§1. Introduction . Natural sets that can be enumerated by a computable function (the recursively enumerable or r.e. sets ) always seem to be either actually computable ( recursive ) or of the same complexity (with respect to Turing computability) as the Halting Problem, the complete r.e. set K . The obvious question, first posed in Post [1944] and since then called Post's Problem is then just whether there are r.e. sets which are neither computable nor complete, i.e., neither recursive nor of the same Turing degree as K ? Let be the r.e. degrees, i.e., the r.e. sets modulo the equivalence relation of equicomputable with the partial order induced by Turing computability. This structure is a partial order (indeed, an uppersemilattice or usl )with least element 0 , the degree (equivalence class) of the computable sets, and greatest element 1 or 0 ′, the degree of K . Post's problem then asks if there are any other elements of . The (positive) solution of Post's problem by Friedberg [1957] and Muchnik [1956] was followed by various algebraic or order theoretic results that were interpreted as saying that the structure was in some way well behaved: T heorem 1.1 (Embedding theorem; Muchnik [1958], Sacks [1963]). Every countable partial ordering or even uppersemilattice can be embedded into . T heorem 1.2 (Sacks Splitting Theorem [1963b]). For every nonrecursive r.e. degree a there are r.e. degrees b, c < a such that b ∨ c = a . T heorem 1.3 (Sacks Density Theorem [1964]). For every pair of nonrecursive r.e. degrees a < b there is an r.e. degree c such that a < c < b ." @default.
• W2000784135 created "2016-06-24" @default.
• W2000784135 creator A5041739806 @default.
• W2000784135 creator A5047690936 @default.
• W2000784135 creator A5056375116 @default.
• W2000784135 date "1996-12-01" @default.
• W2000784135 modified "2023-09-23" @default.
• W2000784135 title "Definability in the Recursively Enumerable Degrees" @default.
• W2000784135 cites W1026721552 @default.
• W2000784135 cites W1592162066 @default.
• W2000784135 cites W1964249676 @default.
• W2000784135 cites W1972685794 @default.
• W2000784135 cites W1976647442 @default.
• W2000784135 cites W1980888823 @default.
• W2000784135 cites W1981509588 @default.
• W2000784135 cites W1986222532 @default.
• W2000784135 cites W2006726677 @default.
• W2000784135 cites W2010076006 @default.
• W2000784135 cites W2015965037 @default.
• W2000784135 cites W2033957959 @default.
• W2000784135 cites W2037416374 @default.
• W2000784135 cites W2045033949 @default.
• W2000784135 cites W2051601785 @default.
• W2000784135 cites W2057381252 @default.
• W2000784135 cites W2070390550 @default.
• W2000784135 cites W2082637799 @default.
• W2000784135 cites W2086881654 @default.
• W2000784135 cites W2088993859 @default.
• W2000784135 cites W2213438832 @default.
• W2000784135 cites W4232277851 @default.
• W2000784135 doi "https://doi.org/10.2307/421171" @default.
• W2000784135 hasPublicationYear "1996" @default.
• W2000784135 type Work @default.
• W2000784135 sameAs 2000784135 @default.
• W2000784135 citedByCount "12" @default.
• W2000784135 countsByYear W20007841352012 @default.
• W2000784135 countsByYear W20007841352016 @default.
• W2000784135 countsByYear W20007841352017 @default.
• W2000784135 countsByYear W20007841352023 @default.
• W2000784135 crossrefType "journal-article" @default.
• W2000784135 hasAuthorship W2000784135A5041739806 @default.
• W2000784135 hasAuthorship W2000784135A5047690936 @default.
• W2000784135 hasAuthorship W2000784135A5056375116 @default.
• W2000784135 hasConcept C10138342 @default.
• W2000784135 hasConcept C110729354 @default.
• W2000784135 hasConcept C111142201 @default.
• W2000784135 hasConcept C11413529 @default.
• W2000784135 hasConcept C114614502 @default.
• W2000784135 hasConcept C118615104 @default.
• W2000784135 hasConcept C121332964 @default.
• W2000784135 hasConcept C127753061 @default.
• W2000784135 hasConcept C137343475 @default.
• W2000784135 hasConcept C152062344 @default.
• W2000784135 hasConcept C156103551 @default.
• W2000784135 hasConcept C162324750 @default.
• W2000784135 hasConcept C167729594 @default.
• W2000784135 hasConcept C182306322 @default.
• W2000784135 hasConcept C203702658 @default.
• W2000784135 hasConcept C24890656 @default.
• W2000784135 hasConcept C2524010 @default.
• W2000784135 hasConcept C2775997480 @default.
• W2000784135 hasConcept C29248071 @default.
• W2000784135 hasConcept C33923547 @default.
• W2000784135 hasConcept C45374587 @default.
• W2000784135 hasConcept C52703633 @default.
• W2000784135 hasConcept C54271186 @default.
• W2000784135 hasConceptScore W2000784135C10138342 @default.
• W2000784135 hasConceptScore W2000784135C110729354 @default.
• W2000784135 hasConceptScore W2000784135C111142201 @default.
• W2000784135 hasConceptScore W2000784135C11413529 @default.
• W2000784135 hasConceptScore W2000784135C114614502 @default.
• W2000784135 hasConceptScore W2000784135C118615104 @default.
• W2000784135 hasConceptScore W2000784135C121332964 @default.
• W2000784135 hasConceptScore W2000784135C127753061 @default.
• W2000784135 hasConceptScore W2000784135C137343475 @default.
• W2000784135 hasConceptScore W2000784135C152062344 @default.
• W2000784135 hasConceptScore W2000784135C156103551 @default.
• W2000784135 hasConceptScore W2000784135C162324750 @default.
• W2000784135 hasConceptScore W2000784135C167729594 @default.
• W2000784135 hasConceptScore W2000784135C182306322 @default.
• W2000784135 hasConceptScore W2000784135C203702658 @default.
• W2000784135 hasConceptScore W2000784135C24890656 @default.
• W2000784135 hasConceptScore W2000784135C2524010 @default.
• W2000784135 hasConceptScore W2000784135C2775997480 @default.
• W2000784135 hasConceptScore W2000784135C29248071 @default.
• W2000784135 hasConceptScore W2000784135C33923547 @default.
• W2000784135 hasConceptScore W2000784135C45374587 @default.
• W2000784135 hasConceptScore W2000784135C52703633 @default.
• W2000784135 hasConceptScore W2000784135C54271186 @default.
• W2000784135 hasIssue "4" @default.
• W2000784135 hasLocation W20007841351 @default.
• W2000784135 hasOpenAccess W2000784135 @default.
• W2000784135 hasPrimaryLocation W20007841351 @default.
• W2000784135 hasRelatedWork W1211082744 @default.
• W2000784135 hasRelatedWork W155750020 @default.
• W2000784135 hasRelatedWork W2000784135 @default.
• W2000784135 hasRelatedWork W2156724103 @default.
• W2000784135 hasRelatedWork W2171088343 @default.

• next