Hidden constructions in abstract algebra (6)
The theorem of Maroscia, Brewer and Costa.

pdf file,
Henri Lombardi, Claude Quitté and Ihsen Yengui.
Preprint 2005.
J. Pure Appl. Algebra 212 , (2008), 1575-1582.

Abstract :

This paper is a sequel to

Constructions cachées en algèbre abstraite (2) Le principe local global abstract , (with Quitté, C.).

We give a constructive deciphering for a generalization of Quillen-Suslin Theorem due to Maroscia and Brewer&Costa.