G. Metakides and A. Nerode. Recursively enumerable vector spaces. Annals of mathematical logic, vol. 11 (1977), pp. 147–171. - G. Metakides and A. Nerode. Effective content of field theory. Annals of mathematical logic, vol. 17 (1979), pp. 289–320. - G. Metakides and A. Nerode. Recursion theory on fields and abstract dependence. Journal of algebra, vol. 65 (1980), pp. 36–59.
A. G. Hamilton · Journal of Symbolic Logic · 1983
G. Metakides and A. Nerode. Recursively enumerable vector spaces. Annals of mathematical logic, vol. 11 (1977), pp. 147–171. - G. Metakides and A. Nerode. Effective content of field theory. Annals of mathematical logic, vol. 17 (1979), pp. 289–320. - G. Metakides and A. Nerode. Recursion theory on fields and abstract dependence. Journal of algebra, vol. 65 (1980), pp. 36–59. - Volume 48 Issue 3