Switch to: Citations

Add references

You must login to add references.
  1. Effective content of field theory.G. Metakides - 1979 - Annals of Mathematical Logic 17 (3):289.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • A survey of lattices of re substructures.Anil Nerode & Jeffrey Remmel - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--323.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Co-immune subspaces and complementation in V∞.R. Downey - 1984 - Journal of Symbolic Logic 49 (2):528 - 538.
    We examine the multiplicity of complementation amongst subspaces of V ∞ . A subspace V is a complement of a subspace W if V ∩ W = {0} and (V ∪ W) * = V ∞ . A subspace is called fully co-r.e. if it is generated by a co-r.e. subset of a recursive basis of V ∞ . We observe that every r.e. subspace has a fully co-r.e. complement. Theorem. If S is any fully co-r.e. subspace then S has (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces.Iraj Kalantari & Allen Retzlaff - 1977 - Journal of Symbolic Logic 42 (4):481-491.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Automorphisms of supermaximal subspaces.R. G. Downey & G. R. Hird - 1985 - Journal of Symbolic Logic 50 (1):1-9.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Effective extensions of linear forms on a recursive vector space over a recursive field.R. G. Downey & Iraj Kalantari - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (13):193-200.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Hiearchies of Boolean algebras.Lawrence Feiner - 1970 - Journal of Symbolic Logic 35 (3):365-374.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Fiel.R. Downey & Iraj Kalantari - 1985 - Mathematical Logic Quarterly 31 (13):193-200.
    Download  
     
    Export citation  
     
    Bookmark   3 citations