A nullstellensatz and a positivstellensatz for ordered differential fields

作者：Brouette Quentin^*

来源：Mathematical Logic Quarterly, 2013, 59(3): 247-254.

DOI：10.1002/malq.201200041

• Nullstellensatz
• differential fields
• real closed fields
• sums of squares
• MSC (2010)
• 03C65
• 03C98
• 12J15
• 12D15
• 12H05

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%26apos;s nullstellensatz and Stengle%26apos;s positivstellensatz for ordered fields.

• 出版日期2013-5