Publication:2739385

From MaRDI portal


zbMath0980.03043MaRDI QIDQ2739385

L. P. D. van den Dries

Publication date: 31 October 2001



03C60: Model-theoretic algebra

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03-03: History of mathematical logic and foundations

26A12: Rate of growth of functions, orders of infinity, slowly varying functions

32B20: Semi-analytic sets, subanalytic sets, and generalizations

03C64: Model theory of ordered structures; o-minimality

03C10: Quantifier elimination, model completeness, and related topics


Related Items