A theorem of the complement and some new o-minimal structures
From MaRDI portal
Publication:1971497
DOI10.1007/s000290050052zbMath0948.03037OpenAlexW2093614095MaRDI QIDQ1971497
Publication date: 19 November 2000
Published in: Selecta Mathematica. New Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000290050052
Semialgebraic sets and related spaces (14P10) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Model Theory of Analytic Functions: Some Historical Comments ⋮ Diophantine properties of sets definable in o-minimal structures ⋮ Spherical rectangles ⋮ Relative Pfaffian closure for definably complete Baire structures ⋮ On the Reeb spaces of definable maps ⋮ Tangent cones and \(C^{1}\) regularity of definable sets ⋮ The theorem of the complement for nested sub-Pfaffian sets ⋮ Hausdorff limits of Rolle leaves ⋮ Conservative parametric optimality and the ridge method for tame min-max problems ⋮ A generic condition implying o-minimality for restricted \(C^\infty\)-functions ⋮ \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) ⋮ An effective version of Wilkie's theorem of the complement and some effective o-minimality results. ⋮ Alternating Proximal Regularized Dictionary Learning ⋮ An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp ⋮ Lectures on the Ax–Schanuel conjecture ⋮ Unnamed Item ⋮ Bounds of Hausdorff measures of tame sets ⋮ On smooth locally o-minimal functions ⋮ Construction of O-minimal Structures from Quasianalytic Classes ⋮ Course on Non-oscillatory Trajectories ⋮ Pfaffian Sets and O-minimality ⋮ Theorems of the Complement ⋮ Theorem of Lion and o-minimal structures which do not admit $\mathcal {C}^{\infty }$-cell decompositions ⋮ Model completeness in o-minimal polynomially bounded structures ⋮ Singularities of o-minimal Peano derivatives ⋮ Model Theory: Geometrical and Set-Theoretic Aspects and Prospects ⋮ Topological complexity of the relative closure of a semi-Pfaffian couple ⋮ On sparseness and Turing reducibility over the reals ⋮ Smooth functions in o-minimal structures ⋮ Equivariant differential topology in an o-minimal expansion of the field of real numbers ⋮ The density of rational points on a Pfaff curve ⋮ Compression schemes, stable definable families, and o-minimal structures ⋮ Counting rational points on a certain exponential-algebraic surface ⋮ 2001 Annual Meeting of the Association for Symbolic Logic ⋮ The rational points of a definable set ⋮ First order tameness of measures ⋮ On sparseness, reducibilities, and complexity ⋮ Inclusion dynamics hybrid automata ⋮ Strongly minimal groups in o-minimal structures ⋮ On the number of topological types occurring in a parameterized family of arrangements ⋮ o-minimal analytic separation of sets in dimension 2 ⋮ The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure ⋮ An o-minimal structure which does not admit \(C^\infty\) cellular decomposition ⋮ Real root isolation for exp-log-arctan functions ⋮ A general model completeness result for expansions of the real ordered field
