A nullstellensatz and a positivstellensatz for ordered differential fields |
| |
Authors: | Quentin Brouette |
| |
Affiliation: | Université de Mons, Institut de Mathématique, 20 Place du Parc, 7000 Mons, Belgium |
| |
Abstract: | We use the model completeness and axiomatisation of the theory of closed ordered differential fields to give a differential version of Dubois, Krivine and Risler's nullstellensatz and Stengle's positivstellensatz for ordered fields. |
| |
Keywords: | Nullstellensatz differential fields real closed fields sums of squares MSC (2010) 03C65 03C98 12J15 12D15 12H05 |
|
|