Recursion theory on fields and abstract dependence

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Effective procedures in field theory

A. Fröhlich, J. C. Shepherdson · Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences · 1956 · 255 citations

Natural Sciences, Mathematics, Algebra +12

Effective content of field theory

G. Metakides, Anil Nerode · Annals of Mathematical Logic · 1979 · 141 citations

Natural Sciences, Physics, Electromagnetism +8

Recursively enumerable vector spaces

G. Metakides, Anil Nerode · Annals of Mathematical Logic · 1977 · 136 citations

Natural Sciences, Computer Science, Mathematics +12