1. Introduction to Commutative Algebra;Atiyah,1969
2. C.J. Conidis, Chain conditions in computable rings, Trans. Amer. Math. Soc., in press
3. Ideals in computable rings;Downey;J. Algebra,2007
4. Abstract Algebra;Dummit,1999
5. Countable algebra and set existence axioms;Friedman;Ann. Pure Appl. Logic,1983