Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078696977> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2078696977 endingPage "104" @default.
- W2078696977 startingPage "97" @default.
- W2078696977 abstract "This work is an attempt to characterize the index sets of classes of recursively enumerable sets which are expressible in terms of open sets in the Baire topology on the power set of the set N of natural numbers, usual in recursion theory. Let be a class of subsets of N and be the set of indices of recursively enumerable sets W х belonging to . A well-known theorem of Rice and Myhill (cf. [5, p. 324, Rice-Shapiro Theorem]) states that is recursively enumerable if and only if is a r.e. open set . In this case, note that if is not empty and does not contain all recursively enumerable sets, is a complete set. This theorem will be partially extended to classes which are boolean combinations of open sets by the following: (i) There is a canonical boolean combination which represents , namely the shortest among boolean combinations which represent . (ii) The recursive isomorphism type of depends on the length n of this canonical boolean combination (and trivial properties of ); for instance, is recursively isomorphic (in the particular case where is a boolean combination of recursive open sets) to an elementary set combination Y n or U n , constructed from {х ∣ х W х ) and depending on the length n . We can say also that is a complete set in the sense of Ershov's hierarchy [1] (in this particular case)." @default.
- W2078696977 created "2016-06-24" @default.
- W2078696977 creator A5072806941 @default.
- W2078696977 date "1974-03-01" @default.
- W2078696977 modified "2023-09-24" @default.
- W2078696977 title "Index sets in Ershov's hierarchy " @default.
- W2078696977 cites W2037320888 @default.
- W2078696977 cites W2071426334 @default.
- W2078696977 doi "https://doi.org/10.2307/2272349" @default.
- W2078696977 hasPublicationYear "1974" @default.
- W2078696977 type Work @default.
- W2078696977 sameAs 2078696977 @default.
- W2078696977 citedByCount "8" @default.
- W2078696977 countsByYear W20786969772016 @default.
- W2078696977 countsByYear W20786969772020 @default.
- W2078696977 countsByYear W20786969772021 @default.
- W2078696977 countsByYear W20786969772023 @default.
- W2078696977 crossrefType "journal-article" @default.
- W2078696977 hasAuthorship W2078696977A5072806941 @default.
- W2078696977 hasConcept C10021369 @default.
- W2078696977 hasConcept C100643331 @default.
- W2078696977 hasConcept C114614502 @default.
- W2078696977 hasConcept C118615104 @default.
- W2078696977 hasConcept C136119220 @default.
- W2078696977 hasConcept C158465420 @default.
- W2078696977 hasConcept C169171071 @default.
- W2078696977 hasConcept C177264268 @default.
- W2078696977 hasConcept C187455244 @default.
- W2078696977 hasConcept C199360897 @default.
- W2078696977 hasConcept C202444582 @default.
- W2078696977 hasConcept C203702658 @default.
- W2078696977 hasConcept C207764348 @default.
- W2078696977 hasConcept C33923547 @default.
- W2078696977 hasConcept C41008148 @default.
- W2078696977 hasConcept C52703633 @default.
- W2078696977 hasConcept C81518389 @default.
- W2078696977 hasConceptScore W2078696977C10021369 @default.
- W2078696977 hasConceptScore W2078696977C100643331 @default.
- W2078696977 hasConceptScore W2078696977C114614502 @default.
- W2078696977 hasConceptScore W2078696977C118615104 @default.
- W2078696977 hasConceptScore W2078696977C136119220 @default.
- W2078696977 hasConceptScore W2078696977C158465420 @default.
- W2078696977 hasConceptScore W2078696977C169171071 @default.
- W2078696977 hasConceptScore W2078696977C177264268 @default.
- W2078696977 hasConceptScore W2078696977C187455244 @default.
- W2078696977 hasConceptScore W2078696977C199360897 @default.
- W2078696977 hasConceptScore W2078696977C202444582 @default.
- W2078696977 hasConceptScore W2078696977C203702658 @default.
- W2078696977 hasConceptScore W2078696977C207764348 @default.
- W2078696977 hasConceptScore W2078696977C33923547 @default.
- W2078696977 hasConceptScore W2078696977C41008148 @default.
- W2078696977 hasConceptScore W2078696977C52703633 @default.
- W2078696977 hasConceptScore W2078696977C81518389 @default.
- W2078696977 hasIssue "1" @default.
- W2078696977 hasLocation W20786969771 @default.
- W2078696977 hasOpenAccess W2078696977 @default.
- W2078696977 hasPrimaryLocation W20786969771 @default.
- W2078696977 hasRelatedWork W1496446432 @default.
- W2078696977 hasRelatedWork W1916240204 @default.
- W2078696977 hasRelatedWork W1989095041 @default.
- W2078696977 hasRelatedWork W2078696977 @default.
- W2078696977 hasRelatedWork W2094060015 @default.
- W2078696977 hasRelatedWork W2120630897 @default.
- W2078696977 hasRelatedWork W2123065381 @default.
- W2078696977 hasRelatedWork W2148363933 @default.
- W2078696977 hasRelatedWork W2247387913 @default.
- W2078696977 hasRelatedWork W2516433860 @default.
- W2078696977 hasVolume "39" @default.
- W2078696977 isParatext "false" @default.
- W2078696977 isRetracted "false" @default.
- W2078696977 magId "2078696977" @default.
- W2078696977 workType "article" @default.