Anneaux préordonnés

Jean-Louis Krivine (1)

1 PPS - Preuves, Programmes et Systèmes

This paper introduced the basic concepts of real algebraic geometry. It contains the first statement and proof of the "positive nullstellensatz".

Domains: Algebraic Geometry [math.AG]; Rings and Algebras [math.RA]

Jean-Louis Krivine. Anneaux préordonnés. Journal d'analyse mathématique, 1964, 12, p. 307-326. ⟨hal-00165658⟩