An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp

DOI10.1142/S0219498819500786zbMath1475.03091OpenAlexW2800362108MaRDI QIDQ5383854

Zofia Rożen, Wiesław Pawłucki

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

zbMATH Keywords

o-minimal structureexp-subanalytic equationLion's theorem

Mathematics Subject Classification ID

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