Switch to: References

Add citations

You must login to add citations.
  1. Splittings of effectively speedable sets and effectively levelable sets.Roland S. H. Omanadze - 2004 - Journal of Symbolic Logic 69 (1):143-158.
    We prove that a computably enumerable set A is effectively speedable (effectively levelable) if and only if there exists a splitting (A₀,A₁) of A such that both A₀ and A₁ are effectively speedable (effectively levelable). These results answer two questions raised by J. B. Remmel.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • Implicit measurements of dynamic complexity properties and splittings of speedable sets.Michael A. Jahn - 1999 - Journal of Symbolic Logic 64 (3):1037-1064.
    We prove that any speedable computably enumerable set may be split into a disjoint pair of speedable computably enumerable sets. This solves a longstanding question of J.B. Remmel concerning the behavior of computably enumerable sets in Blum's machine independent complexity theory. We specify dynamic requirements and implement a novel way of detecting speedability-by embedding the relevant measurements into the substage structure of the tree construction. Technical difficulties in satisfying the dynamic requirements lead us to implement "local" strategies that only look (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • Non-splittings of speedable sets.Ellen S. Chih - 2015 - Journal of Symbolic Logic 80 (2):609-635.