Hidden constructions in abstract algebra. VI: The theorem of Maroscia and Brewer {\&} Costa (Q2481800)

This paper belongs to a series of articles concerning constructive methods in commutative algebra. Here is the authors abstract: ``We give a constructive deciphering for a generalization of the Quillen-Suslin theorem due to \textit{P. Maroscia} [C. R. Acad. Sci., Paris, Sér. A 285, 183--185 (1977; Zbl 0364.13006)] and \textit{J. W. Brewer} and \textit{D. L. Costa} [J. Pure Appl. Algebra 13, 157--163 (1978; Zbl 0446.13006)] stating that finitely generated projective modules over \(R[X_1,\dots,X_n]\), where \(R\) is a Prüfer domain with Krull dimension \(\leq1\), are extended from \(R\).'' Here is another quote: ``It is worth pointing out that \textit{Y. Lequain} and \textit{A. Simis} [J. Pure Appl. Algebra 18, 165--171 (1980; Zbl 0463.13005)] have obtained a stronger theorem with the same conclusion but without the Krull dimension assumption.''