scientific article; zbMATH DE number 5066365
From MaRDI portal
Publication:5393644
zbMath1110.03019MaRDI QIDQ5393644
Publication date: 23 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessquantifier eliminationsubcategory\(D\)-groups\(D\)-varietymany-sorted first-order structure
Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (5)
On the model companion of partial differential fields with an automorphism ⋮ Model theory of compact complex manifolds with an automorphism ⋮ Some model theory of fibrations and algebraic reductions ⋮ Completeness in partial differential algebraic geometry ⋮ New examples (and counterexamples) of complete finite-rank differential varieties
This page was built for publication:
