scientific article; zbMATH DE number 1160037

zbMATH Open0953.03045MaRDI QIDQ4392286FDOQ4392286

Authors: Lou van den Dries 

Publication date: 8 June 1998

Title of this publication is not available (Why is that?)

Recommendations

• o-minimal structures
• o-minimal structures on the field of real numbers
• o-minimal structures
• Tame topology and Tarski-type systems

zbMATH Keywords

o-minimal structuretame topology

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10) Model theory of fields (12L12)

Cited In (only showing first 100 items - show all)

• One-basedness and reductions of elliptic curves over real closed fields
• Valued fields, metastable groups
• Tractability conditions for numeric CSPs
• Definable functions continuous on curves in o-minimal structures
• Topologies, Continuity and Bisimulations
• On the expressiveness and decidability of o-minimal hybrid systems
• A generic condition implying o-minimality for restricted \(C^\infty\)-functions
• Grothendieck ring of semialgebraic formulas and motivic real Milnor fibers
• Grothendieck rings of o-minimal expansions of ordered Abelian groups
• Definable triangulations with regularity conditions
• Continuous and random Vapnik-Chervonenkis classes
• Equivariant differential topology in an o-minimal expansion of the field of real numbers
• Imaginaries in real closed valued fields
• Level set methods for finding critical points of mountain pass type
• Algebraic differential equations from covering maps
• On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
• Aggregate operators in constraint query languages
• Differential equations over polynomially bounded o-minimal structures
• Reachability and connectivity queries in constraint databases
• The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field
• Positivstellensätze for differentiable functions
• Lipschitz cell decomposition in o-minimal structures. I.
• Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras
• Integral closures in real algebraic geometry
• Definable one dimensional structures in o-minimal theories
• Lectures on the Ax-Schanuel conjecture
• Intersection theory for o-minimal manifolds
• Hedgehog theory via Euler calculus
• Quadratic growth and critical point stability of semi-algebraic functions
• Multivariable Newton-Puiseux theorem for generalised quasianalytic classes
• Definability in o-minimal expansions of the real numbers
• Unstable structures definable in o-minimal theories
• Zarankiewicz's problem for semilinear hypergraphs
• Multiplicative independence of modular functions
• Integration and cell decomposition in \(P\)-minimal structures
• Infinitely Peano differentiable functions in polynomially bounded o-minimal structures
• Weighted o-minimal hybrid systems
• O-minimal residue fields of o-minimal fields
• Radiality of definable sets
• Holomorphic curves in compact Shimura varieties
• Strong cell decomposition property in o-minimal traces
• Compact domination for groups definable in linear o-minimal structures
• Complexity of cylindrical decompositions of sub-Pfaffian
• One-basedness and groups of the form \(G/G ^{00}\)
• A semi-linear group which is not affine
• Polynomial dynamics and local analysis of small and grand orbits
• Specifications for decidable hybrid games
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• CLASSIFYING SPACES AND THE LASCAR GROUP
• Cartan-decomposition subgroups of 𝑆𝑂(2,𝑛)
• An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
• Definable group extensions in semi-bounded o-minimal structures
• Towards the André-Oort conjecture for mixed Shimura varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points
• Finite morphisms between projective varieties and skeleta
• Holomorphic curves in Shimura varieties
• Stabilizers, \(\mathbf{NTP}_2\) groups with f-generics, and PRC fields
• Analytic $p$-adic cell decomposition and integrals
• An algebraic characterization of o-minimal and weakly o-minimal MV-chains
• Invariance results for definable extensions of groups
• Invariance of o-minimal cohomology with definably compact supports
• Counting special points: logic, Diophantine geometry, and transcendence theory
• Definable smoothing of Lipschitz continuous functions
• Multi-block Bregman proximal alternating linearized minimization and its application to orthogonal nonnegative matrix factorization
• The density of rational points on a Pfaff curve
• An o-minimal structure which does not admit \(C^\infty\) cellular decomposition
• Computing strength of structures related to the field of real numbers
• On metric types that are definable in an o-minimal structure
• Model theory of adeles. I.
• Remez-type inequality on sets with cusps
• Scalar curvature of definable CAT-spaces
• Growth of log-analytic functions
• An open mapping theorem for o-minimal structures
• An o-minimal structure which does not admit \(\mathcal C^{\infty}\) cellular decomposition
• Smooth approximation of definable continuous functions
• Smooth functions in o-minimal structures
• Motivic integration and Milnor fiber
• Simple algebraic and semialgebraic groups over real closed fields
• Structure theorems for o-minimal expansions of groups
• On the integrability of the \(n\)-centre problem
• The set of restricted complex exponents for expansions of the reals
• Bounding the length of gradient trajectories
• Monotone functions and maps
• A criterion for the strong cell decomposition property
• Saturation and stability in the theory of computation over the reals
• Forking and independence in o-minimal theories
• On the torsion values for sections of an elliptic scheme
• Covers of abelian varieties as analytic Zariski structures
• Locally o-minimal structures
• On central extensions and definably compact groups in o-minimal structures
• On the frequency of height values
• Symbolic reachability computation for families of linear vector fields
• Linear groups definable in o-minimal structures
• Classification of semi-algebraic \(p\)-adic sets up to semi-algebraic bijection
• Transfer methods for o-minimal topology
• The surjectivity and the continuity of definable functions in some definably complete locally o-minimal expansions and the Grothendieck ring of almost o-minimal structures
• Commutators in groups definable in o-minimal structures
• \(C\)-minimal fields, in honor of François Lucas
• Connectedness in structures on the real numbers: o-minimality and undecidability
• Characterizations of semicomputable sets of real numbers

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 Q4392286)