Constructions of finitely generated submodules of constructively noetherian modules
Compositio Mathematica, Volume 62 (1987) no. 1, p. 47-52
@article{CM_1987__62_1_47_0,
     author = {Ruitenburg, Wim},
     title = {Constructions of finitely generated submodules of constructively noetherian modules},
     journal = {Compositio Mathematica},
     publisher = {Martinus Nijhoff Publishers},
     volume = {62},
     number = {1},
     year = {1987},
     pages = {47-52},
     zbl = {0622.13006},
     mrnumber = {892150},
     language = {en},
     url = {http://www.numdam.org/item/CM_1987__62_1_47_0}
}
Ruitenburg, Wim. Constructions of finitely generated submodules of constructively noetherian modules. Compositio Mathematica, Volume 62 (1987) no. 1, pp. 47-52. http://www.numdam.org/item/CM_1987__62_1_47_0/

Jacobson, N.: Basic algebra I. W.H. Freeman and Co. (1974) xvi + 472 pp. | MR 356989 | Zbl 0284.16001

Mines, R., Richman, F. and Ruitenburg, W.: A course in constructive algebra, to appear. | MR 919949 | Zbl 0725.03044

Richman, F.: Constructive aspects of Noetherian rings. Proc. Amer. Math. Soc. 44 (1974) 436-441. | MR 416874 | Zbl 0265.13011

Seidenberg, A.: Constructions in algebra. Transactions Amer. Math. Soc. 197 (1974) 273-313. | MR 349648 | Zbl 0356.13007

Seidenberg, A.: What is Noetherian? Rend. Sem. Mat. e Fis. Milano 44 (1974) 55-61. | MR 416875 | Zbl 0345.13010

Seidenberg, A.: On the Lasker-Noether decomposition theorem. Amer. J. Math. 106 (1984) 611-638. | MR 745143 | Zbl 0567.13006