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.
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.