Ideals in computable rings

References

Page 1

	Year	Citations
Recursively enumerable sets and degrees Robert I. Soare Bulletin of the American Mathematical Society	1978	1.6K
Π⁰₁ classes and degrees of theories Carl G. Jockusch, Robert I. Soare Transactions of the American Mathematical Society Math XmlnsRecursive Function TheoryEngineeringAnnotation Encoding=Proof Complexity	1972	348
Computable algebra, general theory and theory of computable fields. Michael O. Rabin Transactions of the American Mathematical Society	1960	308
Constructions in algebra A. Seidenberg Transactions of the American Mathematical Society Algebraic LogicAbstract AlgebraRepresentation TheoryAlgebraic StructureAssociated Prime Ideals	1974	273
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	254
CONSTRUCTIVE ALGEBRAS I A. I. Malʹt︠s︡ev Russian Mathematical Surveys Algebraic LogicConstructive MathematicsAlgebraic Systems1.1Abstract AlgebraAlgebraic Structure	1961	212
Recursively enumerable sets and degrees Gian‐Carlo Rota Advances in Mathematics Extremal Set TheoryEnumerable SetsDiscrete MathematicsRecursive FunctionComputability Theory	1988	202
CLASSICAL RECURSION THEORY Jens Erik Fenstad Bulletin of the London Mathematical Society Theoretical MathematicsCombinatorics On WordP. OdifreddiClassical Recursion TheoryIsbn 0	1993	158
Effective content of field theory G. Metakides, Anil Nerode Annals of Mathematical Logic Field MethodQuantum Field TheoryFinite FieldConstructive Field TheoryField Theory	1979	141
Countable algebra and set existence axioms11Research partially supported by NSF grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's research was also supported by an Alfred P. Sloan Research Fellowship. Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith Annals of Pure and Applied Logic Algebraic LogicSet Existence Axioms11researchAbstract AlgebraNsf Grants Mcs-79-23743Countable Algebra	1983	128

Page 1