Matches in SemOpenAlex for { <https://semopenalex.org/work/W3007887782> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3007887782 abstract "A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a reduction of $X$ to $X$ then the range of $f$ intersects all $X$-equivalence classes. It is known that the infinite self-full ceers properly contain the dark ceers, i.e. the infinite ceers which do not admit an infinite computably enumerable transversal. Unlike the collection of dark ceers, which are closed under the operation of uniform join, we answer a question from cite{joinmeet} by showing that there are self-full ceers $X$ and $Y$ so that their uniform join $Xoplus Y$ is non-self-full. We then define and examine the hereditarily self-full ceers, which are the self-full ceers $X$ so that for any self-full $Y$, $Xoplus Y$ is also self-full: we show that they are closed under uniform join, and that every non-universal degree in $textrm{Ceers}_{/{mathcal{I}}}$ have infinitely many incomparable hereditarily self-full strong minimal covers. In particular, every non-universal ceer is bounded by a hereditarily self-full ceer. Thus the hereditarily self-full ceers form a properly intermediate class in between the dark ceers and the infinite self-full ceers which is closed under $oplus$." @default.
- W3007887782 created "2020-03-06" @default.
- W3007887782 creator A5022967955 @default.
- W3007887782 creator A5048208997 @default.
- W3007887782 creator A5068865870 @default.
- W3007887782 date "2019-09-20" @default.
- W3007887782 modified "2023-09-27" @default.
- W3007887782 title "Self-full ceers and the uniform join operator" @default.
- W3007887782 cites W1556167844 @default.
- W3007887782 cites W1985493589 @default.
- W3007887782 cites W2005704285 @default.
- W3007887782 cites W2058701006 @default.
- W3007887782 cites W2346539614 @default.
- W3007887782 cites W2558071339 @default.
- W3007887782 cites W2963065069 @default.
- W3007887782 cites W3018984611 @default.
- W3007887782 hasPublicationYear "2019" @default.
- W3007887782 type Work @default.
- W3007887782 sameAs 3007887782 @default.
- W3007887782 citedByCount "0" @default.
- W3007887782 crossrefType "posted-content" @default.
- W3007887782 hasAuthorship W3007887782A5022967955 @default.
- W3007887782 hasAuthorship W3007887782A5048208997 @default.
- W3007887782 hasAuthorship W3007887782A5068865870 @default.
- W3007887782 hasConcept C104317684 @default.
- W3007887782 hasConcept C114614502 @default.
- W3007887782 hasConcept C118615104 @default.
- W3007887782 hasConcept C121332964 @default.
- W3007887782 hasConcept C134306372 @default.
- W3007887782 hasConcept C156103551 @default.
- W3007887782 hasConcept C158448853 @default.
- W3007887782 hasConcept C17020691 @default.
- W3007887782 hasConcept C185592680 @default.
- W3007887782 hasConcept C24890656 @default.
- W3007887782 hasConcept C2775997480 @default.
- W3007887782 hasConcept C2776124973 @default.
- W3007887782 hasConcept C2780069185 @default.
- W3007887782 hasConcept C33923547 @default.
- W3007887782 hasConcept C34388435 @default.
- W3007887782 hasConcept C55493867 @default.
- W3007887782 hasConcept C86339819 @default.
- W3007887782 hasConceptScore W3007887782C104317684 @default.
- W3007887782 hasConceptScore W3007887782C114614502 @default.
- W3007887782 hasConceptScore W3007887782C118615104 @default.
- W3007887782 hasConceptScore W3007887782C121332964 @default.
- W3007887782 hasConceptScore W3007887782C134306372 @default.
- W3007887782 hasConceptScore W3007887782C156103551 @default.
- W3007887782 hasConceptScore W3007887782C158448853 @default.
- W3007887782 hasConceptScore W3007887782C17020691 @default.
- W3007887782 hasConceptScore W3007887782C185592680 @default.
- W3007887782 hasConceptScore W3007887782C24890656 @default.
- W3007887782 hasConceptScore W3007887782C2775997480 @default.
- W3007887782 hasConceptScore W3007887782C2776124973 @default.
- W3007887782 hasConceptScore W3007887782C2780069185 @default.
- W3007887782 hasConceptScore W3007887782C33923547 @default.
- W3007887782 hasConceptScore W3007887782C34388435 @default.
- W3007887782 hasConceptScore W3007887782C55493867 @default.
- W3007887782 hasConceptScore W3007887782C86339819 @default.
- W3007887782 hasLocation W30078877821 @default.
- W3007887782 hasOpenAccess W3007887782 @default.
- W3007887782 hasPrimaryLocation W30078877821 @default.
- W3007887782 hasRelatedWork W134494900 @default.
- W3007887782 hasRelatedWork W1497624275 @default.
- W3007887782 hasRelatedWork W1556156541 @default.
- W3007887782 hasRelatedWork W1778104262 @default.
- W3007887782 hasRelatedWork W1837353865 @default.
- W3007887782 hasRelatedWork W1970368453 @default.
- W3007887782 hasRelatedWork W1987817244 @default.
- W3007887782 hasRelatedWork W2042568844 @default.
- W3007887782 hasRelatedWork W2056440793 @default.
- W3007887782 hasRelatedWork W2074091676 @default.
- W3007887782 hasRelatedWork W2131172571 @default.
- W3007887782 hasRelatedWork W2131391550 @default.
- W3007887782 hasRelatedWork W2146943866 @default.
- W3007887782 hasRelatedWork W2149246969 @default.
- W3007887782 hasRelatedWork W2884296479 @default.
- W3007887782 hasRelatedWork W2962758793 @default.
- W3007887782 hasRelatedWork W2964325820 @default.
- W3007887782 hasRelatedWork W3018984611 @default.
- W3007887782 hasRelatedWork W944512599 @default.
- W3007887782 hasRelatedWork W954299962 @default.
- W3007887782 isParatext "false" @default.
- W3007887782 isRetracted "false" @default.
- W3007887782 magId "3007887782" @default.
- W3007887782 workType "article" @default.