An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp
From MaRDI portal
Publication:5383854
DOI10.1142/S0219498819500786zbMath1475.03091OpenAlexW2800362108MaRDI QIDQ5383854
Publication date: 20 June 2019
Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0219498819500786
Semialgebraic sets and related spaces (14P10) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Model theory of ordered structures; o-minimality (03C64)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(p\)-adic and real subanalytic sets
- Semianalytic and subanalytic sets
- On the real exponential field with restricted analytic functions
- The elementary theory of restricted analytic fields with exponentiation
- Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)
- Geometry of subanalytic and semialgebraic sets
- A theorem of the complement and some new o-minimal structures
- A generalization of Wilkie's theorem of the complement, and an application to Pfaffian closure
- Projections of semi-analytic sets
- On the implicit function theorem in o-minimal structures
- Lipschitz stratification of subanalytic sets
- Finitude simple et structures o-minimales (Finiteness property implies o-minimality)
- A Note on a Theorem of Lion
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function