Order:
Disambiguations
George Metakides [5]G. Metakides [4]
  1.  17
    Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  30
    Recursion Theory on Orderings. I. A Model Theoretic Setting.G. Metakides & J. B. Remmel - 1979 - Journal of Symbolic Logic 44 (3):383-402.
    In [6], Metakides and Nerode introduced the study of the lattice of recursively enumerable substructures of a recursively presented model as a means to understand the recursive content of certain algebraic constructions. For example, the lattice of recursively enumerable subspaces,, of a recursively presented vector spaceV∞has been studied by Kalantari, Metakides and Nerode, Retzlaff, Remmel and Shore. Similar studies have been done by Remmel [12], [13] for Boolean algebras and by Metakides and Nerode [9] for algebraically closed fields. In all (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  22
    An Algebraic Characterization of Power Set in Countable Standard Models of ZF.George Metakides & J. M. Plotkin - 1975 - Journal of Symbolic Logic 40 (2):167-170.
  4.  1
    $Alpha$-Degrees of $Alpha$-Theories.George Metakides - 1972 - Journal of Symbolic Logic 37 (4):677-682.
  5.  3
    Α-Degrees of Α-Theories.George Metakides - 1972 - Journal of Symbolic Logic 37 (4):677-682.
  6. Patras Logic Symposion: Proceedings of the Logic Symposion Held at Patras, Greece, August 18-22, 1980.George Metakides (ed.) - 1982 - Elsevier.
     
    Export citation  
     
    Bookmark