Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 508

Preprint Number 508

Previous Next Preprint server

508. Quentin Brouette
A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields

Submission date: 8 October 2012.


We use the model completeness and axiomatisation of the theory of closed ordered differential fields to give a differential version of Dubois' nullstellensatz and Stengle's positivstellensatz for ordered fields.

Mathematics Subject Classification: 03C64, 12J15, 12D15, 12H05

Keywords and phrases: Nullstellensatz, ordered fields, derivations, sums of squares

Full text: published in Mathematical Logic Quarterly.

Last updated: March 23 2021 09:22 Please send your corrections to: