Concepedia

Effective content of field theory

G. Metakides, Anil Nerode

Annals of Mathematical Logic · 1979 · 141 citations · 12 references

DOI

Concepts

References

12

Foundations of Constructive Analysis.

Abraham Robinson, Errett Bishop · American Mathematical Monthly · 1968 · 1.3K citations

, , +4

Π⁰₁ classes and degrees of theories

Carl G. Jockusch, Robert I. Soare · Transactions of the American Mathematical Society · 1972 · 352 citations

, , +9

Computable algebra, general theory and theory of computable fields.

Michael O. Rabin · Transactions of the American Mathematical Society · 1960 · 311 citations · Full text

, , +12

Constructions in algebra

A. Seidenberg · Transactions of the American Mathematical Society · 1974 · 273 citations · Full text

, , +10

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

, , +12