scientific article; zbMATH DE number 3997767
From MaRDI portal
zbMath0616.03018MaRDI QIDQ4724607
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functions of several variables (26B99) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Frontière d'une hypersurface pfaffienne, Exponentially and logarithmically closed Hardy fields in several variables, O-minimal Hauptvermutung for polyhedra. I, About certain subsets of the Euclidean space, Some aspects of complexity in real algebraic geometry, Saturation and stability in the theory of computation over the reals
