Characterizing von Neumann regular rings in reverse mathematics
scientific article; zbMATH DE number 7473066
scientific article