modules, commutative rings, Hilbert basis theorem, countable choice, constructive algebra (1974)

by Sem Mat Fis Milano
Venue:55–61 Subject Classification (2000) Primary 13E05; Secondary 13E15, 03E25, 03F65 Key Words and Phrases Noetherian