Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077996052> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2077996052 endingPage "391" @default.
- W2077996052 startingPage "391" @default.
- W2077996052 abstract "The prime computable (respectively, search computable) relations of an arbitrary mathematical structure are shown to be those relations R such that both R and its complement are definable by disjunctions of recursively enumerable sets of quantifier free (respectively, existential) formulas of the first order language for the structure. The prime and search computable functions are also characterized in terms of recursive sequences of terms and formulas of this language." @default.
- W2077996052 created "2016-06-24" @default.
- W2077996052 creator A5037448576 @default.
- W2077996052 date "1974-01-01" @default.
- W2077996052 modified "2023-10-18" @default.
- W2077996052 title "Prime and search computability, characterized as definability in certain sublanguages of constructible $Lsb{omega }{}sb{1,omega }$" @default.
- W2077996052 cites W2004238969 @default.
- W2077996052 cites W2038720187 @default.
- W2077996052 cites W2070746010 @default.
- W2077996052 cites W2219464666 @default.
- W2077996052 doi "https://doi.org/10.1090/s0002-9947-1974-0416882-2" @default.
- W2077996052 hasPublicationYear "1974" @default.
- W2077996052 type Work @default.
- W2077996052 sameAs 2077996052 @default.
- W2077996052 citedByCount "1" @default.
- W2077996052 crossrefType "journal-article" @default.
- W2077996052 hasAuthorship W2077996052A5037448576 @default.
- W2077996052 hasBestOaLocation W20779960521 @default.
- W2077996052 hasConcept C104317684 @default.
- W2077996052 hasConcept C112313634 @default.
- W2077996052 hasConcept C114614502 @default.
- W2077996052 hasConcept C118615104 @default.
- W2077996052 hasConcept C127716648 @default.
- W2077996052 hasConcept C136119220 @default.
- W2077996052 hasConcept C138885662 @default.
- W2077996052 hasConcept C152062344 @default.
- W2077996052 hasConcept C154945302 @default.
- W2077996052 hasConcept C184992742 @default.
- W2077996052 hasConcept C185592680 @default.
- W2077996052 hasConcept C188082640 @default.
- W2077996052 hasConcept C202444582 @default.
- W2077996052 hasConcept C203702658 @default.
- W2077996052 hasConcept C2778523021 @default.
- W2077996052 hasConcept C2779557605 @default.
- W2077996052 hasConcept C33923547 @default.
- W2077996052 hasConcept C41008148 @default.
- W2077996052 hasConcept C41895202 @default.
- W2077996052 hasConcept C54271186 @default.
- W2077996052 hasConcept C55493867 @default.
- W2077996052 hasConceptScore W2077996052C104317684 @default.
- W2077996052 hasConceptScore W2077996052C112313634 @default.
- W2077996052 hasConceptScore W2077996052C114614502 @default.
- W2077996052 hasConceptScore W2077996052C118615104 @default.
- W2077996052 hasConceptScore W2077996052C127716648 @default.
- W2077996052 hasConceptScore W2077996052C136119220 @default.
- W2077996052 hasConceptScore W2077996052C138885662 @default.
- W2077996052 hasConceptScore W2077996052C152062344 @default.
- W2077996052 hasConceptScore W2077996052C154945302 @default.
- W2077996052 hasConceptScore W2077996052C184992742 @default.
- W2077996052 hasConceptScore W2077996052C185592680 @default.
- W2077996052 hasConceptScore W2077996052C188082640 @default.
- W2077996052 hasConceptScore W2077996052C202444582 @default.
- W2077996052 hasConceptScore W2077996052C203702658 @default.
- W2077996052 hasConceptScore W2077996052C2778523021 @default.
- W2077996052 hasConceptScore W2077996052C2779557605 @default.
- W2077996052 hasConceptScore W2077996052C33923547 @default.
- W2077996052 hasConceptScore W2077996052C41008148 @default.
- W2077996052 hasConceptScore W2077996052C41895202 @default.
- W2077996052 hasConceptScore W2077996052C54271186 @default.
- W2077996052 hasConceptScore W2077996052C55493867 @default.
- W2077996052 hasLocation W20779960521 @default.
- W2077996052 hasOpenAccess W2077996052 @default.
- W2077996052 hasPrimaryLocation W20779960521 @default.
- W2077996052 hasRelatedWork W1968465633 @default.
- W2077996052 hasRelatedWork W2000784135 @default.
- W2077996052 hasRelatedWork W2026093615 @default.
- W2077996052 hasRelatedWork W2059810892 @default.
- W2077996052 hasRelatedWork W2104411855 @default.
- W2077996052 hasRelatedWork W2171088343 @default.
- W2077996052 hasRelatedWork W2186864846 @default.
- W2077996052 hasRelatedWork W2914940747 @default.
- W2077996052 hasRelatedWork W2962874125 @default.
- W2077996052 hasRelatedWork W3134034528 @default.
- W2077996052 hasVolume "197" @default.
- W2077996052 isParatext "false" @default.
- W2077996052 isRetracted "false" @default.
- W2077996052 magId "2077996052" @default.
- W2077996052 workType "article" @default.