Infinite Differentiability in Polynomially Bounded O-Minimal Structures

DOI10.2307/2161287zbMath0823.03019OpenAlexW4251368858MaRDI QIDQ4845992

Chris Miller

Publication date: 7 September 1995

Full work available at URL: https://doi.org/10.2307/2161287

zbMATH Keywords

infinitely differentiable functionsreal analytic functionsdefinable functionspolynomially bounded o-minimal expansion of the field of real numbers

Mathematics Subject Classification ID

(C^infty)-functions, quasi-analytic functions (26E10) Models with special properties (saturated, rigid, etc.) (03C50) Real-analytic functions (26E05) Models of other mathematical theories (03C65)

Related Items (38)

Expansions of the real field with power functions ⋮ Extending Tamm's theorem ⋮ An extension of Hölder's theorem on the Gamma function ⋮ Polynomial inequalities, o-minimality and Denjoy-Carleman classes ⋮ Geometric categories and o-minimal structures ⋮ Solutions of quasianalytic equations ⋮ Companionability characterization for the expansion of an o-minimal theory by a dense subgroup ⋮ On metric types that are definable in an o-minimal structure ⋮ Monomialization of a quasianalytic morphism ⋮ Transversality of smooth definable maps in O-minimal structures ⋮ Infinitely Peano differentiable functions in polynomially bounded o-minimal structures ⋮ Unnamed Item ⋮ Zero sets of smooth functions in the Pfaffian closure of an o-minimal structure ⋮ Homomorphism of quasianalytic local rings ⋮ On smooth locally o-minimal functions ⋮ Basics of O-minimality and Hardy Fields ⋮ Extension of \(C^\infty\) functions in polynomially bounded o-minimal structure ⋮ On definable multifunctions and Łojasiewicz inequalities ⋮ A strict Positivstellensatz for rings of definable analytic functions ⋮ Smooth functions in o-minimal structures ⋮ UPC condition in polynomially bounded o-minimal structures ⋮ Complex analytic geometry and analytic-geometric categories ⋮ Quasianalytic Denjoy-Carleman classes and o-minimality ⋮ \( \mathcal{C}^m\) solutions of semialgebraic or definable equations ⋮ D-minimal expansions of the real field have the zero set property ⋮ Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function ⋮ o-minimal analytic separation of sets in dimension 2 ⋮ Expansions of o-minimal structures on the real field by trajectories of linear vector fields ⋮ A preparation theorem for Weierstrass systems ⋮ Differentiability properties of log-analytic functions ⋮ Link between Noetherianity and the Weierstrass Division Theorem on some quasianalytic local rings ⋮ Whitney's extension problem in o-minimal structures ⋮ Composite quasianalytic functions ⋮ Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras ⋮ Restricted log-exp-analytic functions and some differentiability results ⋮ Arc-quasianalytic functions ⋮ Solutions of some quasianalytic equations ⋮ Differential equations over polynomially bounded o-minimal structures

Cites Work

• Unnamed Item
• Unnamed Item
• \(p\)-adic and real subanalytic sets
• Semianalytic and subanalytic sets
• Expansions of the real field with power functions
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• Exponentiation is Hard to Avoid

This page was built for publication: Infinite Differentiability in Polynomially Bounded O-Minimal Structures