scientific article

From MaRDI portal
Publication:3710508

zbMath0585.03006MaRDI QIDQ3710508

L. P. D. van den Dries

Publication date: 1984


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



Related Items

Extending Tamm's theorem, On the expressiveness and decidability of o-minimal hybrid systems, On the Reeb spaces of definable maps, A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, On the Pila-Wilkie theorem, Queries with arithmetical constraints, Global convergence of the gradient method for functions definable in o-minimal structures, Deciding first-order formulas involving univariate mixed trigonometric-polynomials, Decision problem for a class of univariate Pfaffian functions, On the set of reduced states of translation invariant, infinite quantum systems, Structure theorems in tame expansions of o-minimal structures by a dense set, \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\), On some global semianalytic sets, O-minimal Hauptvermutung for polyhedra. I, Real spectrum of ring of definable functions, Lattice ordered o-minimal structures, \(\text{P}\neq \text{NP}\) for the reals with various analytic functions, Symbolic reachability computation for families of linear vector fields, The rational points of a definable set, Exponentiation is Hard to Avoid, Strongly minimal groups in o-minimal structures, On the number of topological types occurring in a parameterized family of arrangements, Globally subanalytic CMC surfaces in ℝ3 with singularities, On gradients of functions definable in o-minimal structures, A.D. Taimanov and model theory in Kazakhstan, Convexity Relations and Generalizations of o-Minimality, Definable Sets in Ordered Structures. I, Definable utility in o-minimal structures., Definable Sets in Ordered Structures. II, CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES, Hensel minimality I, Decisiveness of stochastic systems and its application to hybrid models, Weakly o-minimal structures and real closed fields