Huishan Wu. Reverse Mathematics, Projective Modules and Invertible Modules. In Jianer Chen, Qilong Feng, Jinhui Xu 0001, editors, Theory and Applications of Models of Computation, 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings. Volume 12337 of Lecture Notes in Computer Science, pages 132-143, Springer, 2020. [doi]
Abstract is missing.