Order:
  1.  23
    A variant of the Notion of Semicreative set.Heinrich Rolletschek - 1993 - Mathematical Logic Quarterly 39 (1):33-46.
    This paper introduces the notion of cW10-creative set, which strengthens that of semicreative set in a similar way as complete creativity strengthens creativity. Two results are proven, both of which imply that not all semicreative sets are cW10-creative. First, it is shown that semicreative Dedekind cuts cannot be cW10-creative; the existence of semicreative Dedekind cuts was shown by Soare. Secondly, it is shown that if A ⊕ B, the join of A and B, is cW10-creative, then either A or B (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  15
    Closure properties of almost-finiteness classes in recursive function theory.Heinrich Rolletschek - 1983 - Journal of Symbolic Logic 48 (3):756-763.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  44
    Some New Lattice Constructions in High R. E. Degrees.Heinrich Rolletschek - 1995 - Mathematical Logic Quarterly 41 (3):395-430.
    A well-known theorem by Martin asserts that the degrees of maximal sets are precisely the high recursively enumerable degrees, and the same is true with ‘maximal’ replaced by ‘dense simple’, ‘r-maximal’, ‘strongly hypersimple’ or ‘finitely strongly hypersimple’. Many other constructions can also be carried out in any given high r. e. degree, for instance r-maximal or hyperhypersimple sets without maximal supersets . In this paper questions of this type are considered systematically. Ultimately it is shown that every conjunction of simplicity- (...)
    Direct download  
     
    Export citation  
     
    Bookmark