scientific article

zbMath0585.03006MaRDI QIDQ3710508

L. P. D. van den Dries

Publication date: 1984

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

zbMATH Keywords

definabilityreal closed fieldscylindrical decomposition

Mathematics Subject Classification ID

Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (33)

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 ℝ³ 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

This page was built for publication: