Matches in SemOpenAlex for { <https://semopenalex.org/work/W2070295070> ?p ?o ?g. }
- W2070295070 endingPage "106" @default.
- W2070295070 startingPage "1" @default.
- W2070295070 abstract "A splitting of an r.e. set A is a pair A1, A2 of disjoint r.e. sets such that A1 ∪ A2 = A. Theorems about splittings have played an important role in recursion theory. One of the main reasons for this is that a splitting of A is a decomposition of A in both the lattice, ε, of recursively enumerable sets and in the uppersemilattice, R, of recursively enumerable degrees (since A1 ⩽T A, A2 ⩽T A and A ⩽T A1 ⊕ A2). Thus splitting theor ems have been used to obtain results about the structure of ε, the structure of R, and the relationship between the two structures. Furthermore it is fair to say that questions about splittings have often generated important new technical developments in recursion theory. In this article we survey most of the results and techniques associated with splitting properties of r.e. sets in ordinary recursion theory." @default.
- W2070295070 created "2016-06-24" @default.
- W2070295070 creator A5039592295 @default.
- W2070295070 creator A5071503687 @default.
- W2070295070 date "1993-11-01" @default.
- W2070295070 modified "2023-10-10" @default.
- W2070295070 title "Splitting theorems in recursion theory" @default.
- W2070295070 cites W1540539875 @default.
- W2070295070 cites W1573868265 @default.
- W2070295070 cites W1592162066 @default.
- W2070295070 cites W1597872305 @default.
- W2070295070 cites W1964249676 @default.
- W2070295070 cites W1969635382 @default.
- W2070295070 cites W1970960302 @default.
- W2070295070 cites W1972481159 @default.
- W2070295070 cites W1975441551 @default.
- W2070295070 cites W1975466840 @default.
- W2070295070 cites W1975592766 @default.
- W2070295070 cites W1976647442 @default.
- W2070295070 cites W1979221298 @default.
- W2070295070 cites W1980888823 @default.
- W2070295070 cites W1981962996 @default.
- W2070295070 cites W1987574007 @default.
- W2070295070 cites W1994697128 @default.
- W2070295070 cites W1994986854 @default.
- W2070295070 cites W1996663206 @default.
- W2070295070 cites W1997375978 @default.
- W2070295070 cites W2000779724 @default.
- W2070295070 cites W2004474150 @default.
- W2070295070 cites W2006726677 @default.
- W2070295070 cites W2007016528 @default.
- W2070295070 cites W2008922348 @default.
- W2070295070 cites W2016891068 @default.
- W2070295070 cites W2023215355 @default.
- W2070295070 cites W2025420511 @default.
- W2070295070 cites W2029116149 @default.
- W2070295070 cites W2030147904 @default.
- W2070295070 cites W2031066297 @default.
- W2070295070 cites W2036737307 @default.
- W2070295070 cites W2045033949 @default.
- W2070295070 cites W2045263624 @default.
- W2070295070 cites W2048614185 @default.
- W2070295070 cites W2048767471 @default.
- W2070295070 cites W2050457719 @default.
- W2070295070 cites W2062249564 @default.
- W2070295070 cites W2063198727 @default.
- W2070295070 cites W2069890413 @default.
- W2070295070 cites W2070390550 @default.
- W2070295070 cites W2073407285 @default.
- W2070295070 cites W2077107644 @default.
- W2070295070 cites W2082637799 @default.
- W2070295070 cites W2083623332 @default.
- W2070295070 cites W2083664478 @default.
- W2070295070 cites W2085844502 @default.
- W2070295070 cites W2090146870 @default.
- W2070295070 cites W2090505712 @default.
- W2070295070 cites W2093944354 @default.
- W2070295070 cites W2100629643 @default.
- W2070295070 cites W2101746971 @default.
- W2070295070 cites W2155433742 @default.
- W2070295070 cites W2161631645 @default.
- W2070295070 cites W2169781225 @default.
- W2070295070 cites W2315181607 @default.
- W2070295070 cites W2334508319 @default.
- W2070295070 cites W2503562141 @default.
- W2070295070 cites W4230395524 @default.
- W2070295070 cites W4230583065 @default.
- W2070295070 cites W4237559355 @default.
- W2070295070 cites W4246124948 @default.
- W2070295070 doi "https://doi.org/10.1016/0168-0072(93)90234-5" @default.
- W2070295070 hasPublicationYear "1993" @default.
- W2070295070 type Work @default.
- W2070295070 sameAs 2070295070 @default.
- W2070295070 citedByCount "42" @default.
- W2070295070 countsByYear W20702950702013 @default.
- W2070295070 countsByYear W20702950702014 @default.
- W2070295070 countsByYear W20702950702015 @default.
- W2070295070 countsByYear W20702950702016 @default.
- W2070295070 countsByYear W20702950702017 @default.
- W2070295070 countsByYear W20702950702019 @default.
- W2070295070 countsByYear W20702950702021 @default.
- W2070295070 countsByYear W20702950702022 @default.
- W2070295070 countsByYear W20702950702023 @default.
- W2070295070 crossrefType "journal-article" @default.
- W2070295070 hasAuthorship W2070295070A5039592295 @default.
- W2070295070 hasAuthorship W2070295070A5071503687 @default.
- W2070295070 hasConcept C111142201 @default.
- W2070295070 hasConcept C11413529 @default.
- W2070295070 hasConcept C114614502 @default.
- W2070295070 hasConcept C118615104 @default.
- W2070295070 hasConcept C121332964 @default.
- W2070295070 hasConcept C168773036 @default.
- W2070295070 hasConcept C202444582 @default.
- W2070295070 hasConcept C203702658 @default.
- W2070295070 hasConcept C24890656 @default.
- W2070295070 hasConcept C2781204021 @default.
- W2070295070 hasConcept C33923547 @default.
- W2070295070 hasConcept C45340560 @default.