Real Algebraic and Analytic Geometry

Preprint Server

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


Submission: 2003, March 2.

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