Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980508729> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1980508729 abstract "A set A is symmetric enumeration (se-) reducible to a set B (A ≤sb se B) if A is enumeration reducible to B and barA is enumeration reducible to barB. This reducibility gives rise to a degree structure (Dsb se) whose least element is the class of computable sets. We give a classification of ≤sb se in terms of other standard reducibilities and we show that the natural embedding of the Turing degrees (Dsb T) into the enumeration degrees (Dsb e) translates to an embedding (ιsb se) into Dsb se that preserves least element, suprema, and infima. We define a weak and a strong jump and we observe that ιsb se preserves the jump operator relative to the latter definition. We prove various (global) results concerning branching, exact pairs, minimal covers, and diamond embeddings in Dsb se. We show that certain classes of se-degrees are first-order definable, in particular, the classes of semirecursive, Σsb n ⋃ Πsb n, Δsb n (for any n in ω), and embedded Turing degrees. This last result allows us to conclude that the theory of Dsb se has the same 1-degree as the theory of Second-Order Arithmetic." @default.
- W1980508729 created "2016-06-24" @default.
- W1980508729 creator A5082044410 @default.
- W1980508729 date "2007-04-01" @default.
- W1980508729 modified "2023-09-25" @default.
- W1980508729 title "On the Symmetric Enumeration Degrees" @default.
- W1980508729 cites W1967629533 @default.
- W1980508729 cites W2006726677 @default.
- W1980508729 cites W2012561888 @default.
- W1980508729 cites W2016487828 @default.
- W1980508729 cites W2037416374 @default.
- W1980508729 cites W2042499838 @default.
- W1980508729 cites W2047316241 @default.
- W1980508729 cites W2051601785 @default.
- W1980508729 cites W207547410 @default.
- W1980508729 cites W2109268728 @default.
- W1980508729 cites W2126750620 @default.
- W1980508729 cites W2161387988 @default.
- W1980508729 cites W2213438832 @default.
- W1980508729 cites W4232819959 @default.
- W1980508729 cites W4250826358 @default.
- W1980508729 cites W4256336801 @default.
- W1980508729 doi "https://doi.org/10.1305/ndjfl/1179323263" @default.
- W1980508729 hasPublicationYear "2007" @default.
- W1980508729 type Work @default.
- W1980508729 sameAs 1980508729 @default.
- W1980508729 citedByCount "2" @default.
- W1980508729 countsByYear W19805087292018 @default.
- W1980508729 crossrefType "journal-article" @default.
- W1980508729 hasAuthorship W1980508729A5082044410 @default.
- W1980508729 hasBestOaLocation W19805087291 @default.
- W1980508729 hasConcept C10138342 @default.
- W1980508729 hasConcept C104317684 @default.
- W1980508729 hasConcept C114614502 @default.
- W1980508729 hasConcept C118615104 @default.
- W1980508729 hasConcept C121332964 @default.
- W1980508729 hasConcept C154945302 @default.
- W1980508729 hasConcept C156340839 @default.
- W1980508729 hasConcept C158448853 @default.
- W1980508729 hasConcept C162324750 @default.
- W1980508729 hasConcept C17020691 @default.
- W1980508729 hasConcept C17744445 @default.
- W1980508729 hasConcept C182306322 @default.
- W1980508729 hasConcept C184264201 @default.
- W1980508729 hasConcept C185592680 @default.
- W1980508729 hasConcept C199539241 @default.
- W1980508729 hasConcept C200288055 @default.
- W1980508729 hasConcept C24890656 @default.
- W1980508729 hasConcept C2775997480 @default.
- W1980508729 hasConcept C33923547 @default.
- W1980508729 hasConcept C41008148 @default.
- W1980508729 hasConcept C41608201 @default.
- W1980508729 hasConcept C55493867 @default.
- W1980508729 hasConcept C86339819 @default.
- W1980508729 hasConcept C95611797 @default.
- W1980508729 hasConceptScore W1980508729C10138342 @default.
- W1980508729 hasConceptScore W1980508729C104317684 @default.
- W1980508729 hasConceptScore W1980508729C114614502 @default.
- W1980508729 hasConceptScore W1980508729C118615104 @default.
- W1980508729 hasConceptScore W1980508729C121332964 @default.
- W1980508729 hasConceptScore W1980508729C154945302 @default.
- W1980508729 hasConceptScore W1980508729C156340839 @default.
- W1980508729 hasConceptScore W1980508729C158448853 @default.
- W1980508729 hasConceptScore W1980508729C162324750 @default.
- W1980508729 hasConceptScore W1980508729C17020691 @default.
- W1980508729 hasConceptScore W1980508729C17744445 @default.
- W1980508729 hasConceptScore W1980508729C182306322 @default.
- W1980508729 hasConceptScore W1980508729C184264201 @default.
- W1980508729 hasConceptScore W1980508729C185592680 @default.
- W1980508729 hasConceptScore W1980508729C199539241 @default.
- W1980508729 hasConceptScore W1980508729C200288055 @default.
- W1980508729 hasConceptScore W1980508729C24890656 @default.
- W1980508729 hasConceptScore W1980508729C2775997480 @default.
- W1980508729 hasConceptScore W1980508729C33923547 @default.
- W1980508729 hasConceptScore W1980508729C41008148 @default.
- W1980508729 hasConceptScore W1980508729C41608201 @default.
- W1980508729 hasConceptScore W1980508729C55493867 @default.
- W1980508729 hasConceptScore W1980508729C86339819 @default.
- W1980508729 hasConceptScore W1980508729C95611797 @default.
- W1980508729 hasIssue "2" @default.
- W1980508729 hasLocation W19805087291 @default.
- W1980508729 hasOpenAccess W1980508729 @default.
- W1980508729 hasPrimaryLocation W19805087291 @default.
- W1980508729 hasRelatedWork W1524475493 @default.
- W1980508729 hasRelatedWork W1775230850 @default.
- W1980508729 hasRelatedWork W1999567411 @default.
- W1980508729 hasRelatedWork W2000685762 @default.
- W1980508729 hasRelatedWork W2046025312 @default.
- W1980508729 hasRelatedWork W2060615452 @default.
- W1980508729 hasRelatedWork W2089098041 @default.
- W1980508729 hasRelatedWork W2212471609 @default.
- W1980508729 hasRelatedWork W2999485615 @default.
- W1980508729 hasRelatedWork W3100498169 @default.
- W1980508729 hasVolume "48" @default.
- W1980508729 isParatext "false" @default.
- W1980508729 isRetracted "false" @default.
- W1980508729 magId "1980508729" @default.
- W1980508729 workType "article" @default.