scientific article; zbMATH DE number 3937151

MaRDI QIDQ3710508zbMATH OpenFDO

Authors Lou van den Dries

Publication date 1984

zbMATH Keywords

cylindrical decompositiondefinabilityreal closed fields

Mathematics Subject Classification ID

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

Recommendations

• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Model theory and exponentiation.
• An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
• scientific article; zbMATH DE number 3997767
• Tame topology and Tarski-type systems

Cited in

(37)

• On the number of topological types occurring in a parameterized family of arrangements
• On gradients of functions definable in o-minimal structures
• Queries with arithmetical constraints
• Definable utility in o-minimal structures.
• Real spectrum of ring of definable functions
• Extending Tamm's theorem
• Strongly minimal groups in o-minimal structures
• Decisiveness of stochastic systems and its application to hybrid models
• On the Reeb spaces of definable maps
• Structure theorems in tame expansions of o-minimal structures by a dense set
• A.D. Taimanov and model theory in Kazakhstan
• On the expressiveness and decidability of o-minimal hybrid systems
• On some global semianalytic sets
• O-minimal Hauptvermutung for polyhedra. I
• The rational points of a definable set
• On the Pila-Wilkie theorem
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Exponentiation is Hard to Avoid
• Weakly o-minimal structures and real closed fields
• Globally subanalytic CMC surfaces in ℝ³ with singularities
• Convexity Relations and Generalizations of o-Minimality
• Characterizing o-minimal groups in tame expansions of o-minimal structures
• Hensel minimality I
• 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
• 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
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• Half a century with the problem of the gradient of an analytic function
• Global stability of first-order methods for coercive tame functions
• Some generalizations of o-minimality
• De Rham cohomology for o-minimal manifolds

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3710508)