The model theory of m‐ordered differential fields
From MaRDI portal
Publication:5485485
DOI10.1002/malq.200510037zbMath1095.03023MaRDI QIDQ5485485
Publication date: 30 August 2006
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200510037
model companion; model theory of fields; geometric axiomatization; \(m\)-ordered differential fields
03C60: Model-theoretic algebra
12J15: Ordered fields
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
Related Items