1. Anderson F W, Fuller K R. Rings and Categories of Modules, 2nd ed. Graduate Texts in Mathematics, vol. 13. New York: Springer, 1992
2. Ash C J, Knight J F. Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144. Amsterdam: North-Holland, 2000
3. Downey R G, Lempp S, Mileti J R. Ideals in computable rings. J Algebra, 2007, 314: 872–887
4. Dzhafarov D D, Mummert C. Reverse Mathematics: Problems, Reductions and Proofs. Theory and Applications of Computability. Heidelberg: Springer, 2022
5. Friedman H M, Simpson S G, Smith R L. Countable algebra and set existence axioms. Ann Pure Appl Logic, 1983, 25: 141–181