Switch to: Citations

Add references

You must login to add references.
  1. Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
    Download  
     
    Export citation  
     
    Bookmark   599 citations  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   480 citations  
  • Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Quasimaximality and principal filters isomorphism between.Rumen Dimitrov - 2004 - Archive for Mathematical Logic 43 (3):415-424.
    Let I be a quasimaximal subset of a computable basis of the fully efective vector space V ∞ . We give a necessary and sufficient condition for the existence of an isomorphism between the principal filter respectivelly. We construct both quasimaximal sets that satisfy and quasimaximal sets that do not satisfy this condition. With the latter we obtain a negative answer to Question 5.4 posed by Downey and Remmel in [3].
    Download  
     
    Export citation  
     
    Bookmark   7 citations