A nullstellensatz and a positivstellensatz for ordered differential fields
From MaRDI portal
Publication:4928974
DOI10.1002/malq.201200041zbMath1280.03042MaRDI QIDQ4928974
Publication date: 19 June 2013
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201200041
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lectures on formally real fields
- Cell decomposition and dimension function in the theory of closed ordered differential fields
- Anneaux preordonnes
- The theory of closed ordered differential fields with \(m\) commuting derivations
- A nullstellensatz for ordered fields
- A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
- The model theory of ordered differential fields
- The model theory of differential fields with finitely many commuting derivations
- Algebraic theory of differential inequalities
- The uniform companion for large differential fields of characteristic 0