Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597848232> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1597848232 endingPage "325" @default.
- W1597848232 startingPage "317" @default.
- W1597848232 abstract "We use constructive measure theory to show the decidability of the ‘almost all’ theory of subrecursive degrees. The formulas of this theory are built up using the constant 0 standing for the minimum degree, the functions ∪, ∩ standing for the join and meet of two degrees respectively, the relation ≤ standing for the reducibility the logical connectives &, ┐, and the quantifier (for almost all a). An efficient decision procedure is described." @default.
- W1597848232 created "2016-06-24" @default.
- W1597848232 creator A5010961023 @default.
- W1597848232 creator A5069797745 @default.
- W1597848232 date "1974-01-01" @default.
- W1597848232 modified "2023-10-12" @default.
- W1597848232 title "The ‘Almost All’ Theory of Subrecursive Degrees is Decidable" @default.
- W1597848232 doi "https://doi.org/10.1007/978-3-662-21545-6_23" @default.
- W1597848232 hasPublicationYear "1974" @default.
- W1597848232 type Work @default.
- W1597848232 sameAs 1597848232 @default.
- W1597848232 citedByCount "3" @default.
- W1597848232 crossrefType "book-chapter" @default.
- W1597848232 hasAuthorship W1597848232A5010961023 @default.
- W1597848232 hasAuthorship W1597848232A5069797745 @default.
- W1597848232 hasBestOaLocation W15978482322 @default.
- W1597848232 hasConcept C11413529 @default.
- W1597848232 hasConcept C118615104 @default.
- W1597848232 hasConcept C124101348 @default.
- W1597848232 hasConcept C136119220 @default.
- W1597848232 hasConcept C153269930 @default.
- W1597848232 hasConcept C154945302 @default.
- W1597848232 hasConcept C199360897 @default.
- W1597848232 hasConcept C202444582 @default.
- W1597848232 hasConcept C25343380 @default.
- W1597848232 hasConcept C2777027219 @default.
- W1597848232 hasConcept C2778523021 @default.
- W1597848232 hasConcept C2778701210 @default.
- W1597848232 hasConcept C2780009758 @default.
- W1597848232 hasConcept C32278780 @default.
- W1597848232 hasConcept C33923547 @default.
- W1597848232 hasConcept C41008148 @default.
- W1597848232 hasConcept C98045186 @default.
- W1597848232 hasConceptScore W1597848232C11413529 @default.
- W1597848232 hasConceptScore W1597848232C118615104 @default.
- W1597848232 hasConceptScore W1597848232C124101348 @default.
- W1597848232 hasConceptScore W1597848232C136119220 @default.
- W1597848232 hasConceptScore W1597848232C153269930 @default.
- W1597848232 hasConceptScore W1597848232C154945302 @default.
- W1597848232 hasConceptScore W1597848232C199360897 @default.
- W1597848232 hasConceptScore W1597848232C202444582 @default.
- W1597848232 hasConceptScore W1597848232C25343380 @default.
- W1597848232 hasConceptScore W1597848232C2777027219 @default.
- W1597848232 hasConceptScore W1597848232C2778523021 @default.
- W1597848232 hasConceptScore W1597848232C2778701210 @default.
- W1597848232 hasConceptScore W1597848232C2780009758 @default.
- W1597848232 hasConceptScore W1597848232C32278780 @default.
- W1597848232 hasConceptScore W1597848232C33923547 @default.
- W1597848232 hasConceptScore W1597848232C41008148 @default.
- W1597848232 hasConceptScore W1597848232C98045186 @default.
- W1597848232 hasLocation W15978482321 @default.
- W1597848232 hasLocation W15978482322 @default.
- W1597848232 hasOpenAccess W1597848232 @default.
- W1597848232 hasPrimaryLocation W15978482321 @default.
- W1597848232 hasRelatedWork W1493764813 @default.
- W1597848232 hasRelatedWork W1517238936 @default.
- W1597848232 hasRelatedWork W2007102962 @default.
- W1597848232 hasRelatedWork W2903135056 @default.
- W1597848232 hasRelatedWork W3086629457 @default.
- W1597848232 hasRelatedWork W3135280923 @default.
- W1597848232 hasRelatedWork W3154348966 @default.
- W1597848232 hasRelatedWork W4225979384 @default.
- W1597848232 hasRelatedWork W4229857370 @default.
- W1597848232 hasRelatedWork W4311299684 @default.
- W1597848232 isParatext "false" @default.
- W1597848232 isRetracted "false" @default.
- W1597848232 magId "1597848232" @default.
- W1597848232 workType "book-chapter" @default.