Dimension de Heitmann des treillis ditributifs et des anneaux commutatifs

Thierry Coquand; Henri Lombardi; Claude Quitté

Publications mathématiques de Besançon. Algèbre et théorie des nombres, (2006) p. 57-100

Décryptage constructif des preuves classiques, un cas d’école  : le théorème d’Artin en théorie de Galois

Henri Lombardi; Claude Quitté

Publications mathématiques de Besançon. Algèbre et théorie des nombres, (2006) p. 43-54

Platitude, localisation et anneaux de Prüfer : une approche constructive

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 2 (2001) p. 1-65

Constructions cachées en algèbre abstraite (4). La solution du 17e problème de Hilbert par la théorie d’Artin-Schreier

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 3 (2001) p. 1-11