scientific article; zbMATH DE number 1531888

zbMath0986.03034MaRDI QIDQ4513930

L. P. D. van den Dries

Publication date: 6 June 2002

Full work available at URL: http://www.msri.org/communications/books/Book39/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

surveyquantifier eliminationo-minimalitymodel completenessmodel-theory of fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

VALUED MODULES OVER SKEW POLYNOMIAL RINGS I, Approximation properties and existential completeness for ring morphisms, Pairs of theories satisfying a Mordell–Lang condition, On the model companion for \(e\)-fold \(p\)-adically valued fields, Interpolative fusions, Definability of types and VC density in differential topological fields, The elementary theory of large e-fold ordered fields, On the model companion of the theory of e-fold ordered fields, Bounds in the theory of polynomial rings over fields. A nonstandard approach