Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083324532> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2083324532 endingPage "1560" @default.
- W2083324532 startingPage "1543" @default.
- W2083324532 abstract "Abstract. Call a set A n-correctable if every set Turing reducible to A via a Turing machine that on any input makes at most n queries is Turing reducible to A via a Turing machine that on any input makes at most n -queries and on any input halts no matter what answers are given to its queries. We show that if a c.e. set A is n -correctable for some n ≥ 2, then it is n -correctable for all n. We show that this is the optimal such result by constructing a c.e. set that is 1-correctable but not 2-correctable. The former result is obtained by examining the logical closure properties of c.e. sets that are 2-correctable." @default.
- W2083324532 created "2016-06-24" @default.
- W2083324532 creator A5057460107 @default.
- W2083324532 date "2001-12-01" @default.
- W2083324532 modified "2023-09-25" @default.
- W2083324532 title "On the convergence of query-bounded computations and logical closure properties of c.e. sets " @default.
- W2083324532 cites W1514625626 @default.
- W2083324532 cites W2056414301 @default.
- W2083324532 cites W594315820 @default.
- W2083324532 doi "https://doi.org/10.2307/2694961" @default.
- W2083324532 hasPublicationYear "2001" @default.
- W2083324532 type Work @default.
- W2083324532 sameAs 2083324532 @default.
- W2083324532 citedByCount "0" @default.
- W2083324532 crossrefType "journal-article" @default.
- W2083324532 hasAuthorship W2083324532A5057460107 @default.
- W2083324532 hasConcept C11413529 @default.
- W2083324532 hasConcept C114614502 @default.
- W2083324532 hasConcept C118615104 @default.
- W2083324532 hasConcept C131671149 @default.
- W2083324532 hasConcept C134306372 @default.
- W2083324532 hasConcept C146834321 @default.
- W2083324532 hasConcept C15190523 @default.
- W2083324532 hasConcept C162324750 @default.
- W2083324532 hasConcept C177264268 @default.
- W2083324532 hasConcept C199360897 @default.
- W2083324532 hasConcept C29248071 @default.
- W2083324532 hasConcept C33923547 @default.
- W2083324532 hasConcept C34388435 @default.
- W2083324532 hasConcept C34447519 @default.
- W2083324532 hasConcept C41008148 @default.
- W2083324532 hasConcept C45374587 @default.
- W2083324532 hasConcept C80444323 @default.
- W2083324532 hasConcept C9870796 @default.
- W2083324532 hasConceptScore W2083324532C11413529 @default.
- W2083324532 hasConceptScore W2083324532C114614502 @default.
- W2083324532 hasConceptScore W2083324532C118615104 @default.
- W2083324532 hasConceptScore W2083324532C131671149 @default.
- W2083324532 hasConceptScore W2083324532C134306372 @default.
- W2083324532 hasConceptScore W2083324532C146834321 @default.
- W2083324532 hasConceptScore W2083324532C15190523 @default.
- W2083324532 hasConceptScore W2083324532C162324750 @default.
- W2083324532 hasConceptScore W2083324532C177264268 @default.
- W2083324532 hasConceptScore W2083324532C199360897 @default.
- W2083324532 hasConceptScore W2083324532C29248071 @default.
- W2083324532 hasConceptScore W2083324532C33923547 @default.
- W2083324532 hasConceptScore W2083324532C34388435 @default.
- W2083324532 hasConceptScore W2083324532C34447519 @default.
- W2083324532 hasConceptScore W2083324532C41008148 @default.
- W2083324532 hasConceptScore W2083324532C45374587 @default.
- W2083324532 hasConceptScore W2083324532C80444323 @default.
- W2083324532 hasConceptScore W2083324532C9870796 @default.
- W2083324532 hasIssue "04" @default.
- W2083324532 hasLocation W20833245321 @default.
- W2083324532 hasOpenAccess W2083324532 @default.
- W2083324532 hasPrimaryLocation W20833245321 @default.
- W2083324532 hasRelatedWork W1483817375 @default.
- W2083324532 hasRelatedWork W1485707736 @default.
- W2083324532 hasRelatedWork W1527973804 @default.
- W2083324532 hasRelatedWork W1556623397 @default.
- W2083324532 hasRelatedWork W1978271909 @default.
- W2083324532 hasRelatedWork W2401794038 @default.
- W2083324532 hasRelatedWork W2567274518 @default.
- W2083324532 hasRelatedWork W3037105743 @default.
- W2083324532 hasRelatedWork W3038380712 @default.
- W2083324532 hasRelatedWork W4229880262 @default.
- W2083324532 hasVolume "66" @default.
- W2083324532 isParatext "false" @default.
- W2083324532 isRetracted "false" @default.
- W2083324532 magId "2083324532" @default.
- W2083324532 workType "article" @default.