Constructions cachées en algèbre abstraite (5)
Principe local-global de Pfister et variantes.

L'article au format pdf
International Journal of Commutative Rings. 2 (4), (2003), 157-176.

Résumé

Nous donnons une sémantique constructive pour le principe local global de Pfister et nous en développons une théorie constructive.

Mots-clés : Principe local-global de Pfister. Corps ordonnés. Groupe de Witt. Espace de Harrison. Mathématiques constructives. Programme de Hilbert.


Hidden constructions in abstract algebra (5)
Pfister's local-global principle and variants.

Abstract

We give a constructive semantic and we develop a constructive theory for the Pfister's local-global principle.

Key-words: Pfister's local-global principle. Ordered fields. Witt Group. Harrison space. Constructive mathematics. Hilbert Program.