Real Algebraic and Analytic Geometry

Preprint Server

RAAG_NETWORK.gif
Previous   Next
33. Henri Lombardi:
Constructions cachées en algèbre abstraite (5). Principe local-global de Pfister et variantes.

e-mail:
homepage: http://hlombardi.free.fr/

Submission: 2003, March 2.

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

Mathematics Subject Classification (2000): 03F65, 03B35, 12D15, 12J15, 14Q20.

Keywords and Phrases: Pfister's local-global principle, Ordered fields, Witt Group, Harrison space, Constructive mathematics, Hilbert Program.

Full text, 17p.: dvi 109k, ps.gz 84k, pdf 244k.

Server Home Page