Reverse Mathematics, Projective Modules and Invertible Modules

[1]  Huishan Wu.  Computability theory and algebra , 2017 .

[2]  Stephen G. Simpson,et al.  Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.

[3]  Huishan Wu,et al.  The Complexity of Radicals and Socles of Modules , 2020, Notre Dame J. Formal Log..

[4]  Joseph R. Mileti,et al.  Ideals in computable rings , 2007 .

[5]  Stephen G. Simpson,et al.  Countable algebra and set existence axioms , 1983, Ann. Pure Appl. Log..