Exponentiation is Hard to Avoid

DOI10.2307/2160869zbMath0808.03022OpenAlexW4238066263MaRDI QIDQ4311399

Publication date: 15 March 1995

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

exponential function polynomially bounded definable function \(O\)-minimal expansion of the field of real numbers

Interpolation, preservation, definability (03C40) Models of other mathematical theories (03C65) Model theory of fields (12L12)

Related Items

Expansions of the real field with power functions ⋮ Linear isoperimetric inequality for normal and integral currents in compact subanalytic sets ⋮ Extending Tamm's theorem ⋮ Semialgebraic sets and the Łojasiewicz-Siciak condition ⋮ Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation ⋮ Lipschitz geometry of curves and surfaces definable in o-minimal structures ⋮ Polynomial inequalities, o-minimality and Denjoy-Carleman classes ⋮ Hölder-type global error bounds for non-degenerate polynomial systems ⋮ Geometric categories and o-minimal structures ⋮ Definable completeness of P-minimal fields and applications ⋮ Definable functions in tame expansions of algebraically closed valued fields ⋮ On the Pila-Wilkie theorem ⋮ Regular projections and regular covers in o-minimal structures ⋮ Tameness of definably complete locally o‐minimal structures and definable bounded multiplication ⋮ A convex function satisfying the Łojasiewicz inequality but failing the gradient conjecture both at zero and infinity ⋮ Transseries and Todorov-Vernaeve's asymptotic fields ⋮ \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) ⋮ Zero sets of smooth functions in the Pfaffian closure of an o-minimal structure ⋮ A Frank-Wolfe type theorem for nondegenerate polynomial programs ⋮ Stratifications, equisingularity and triangulation ⋮ Basics on Lipschitz geometry ⋮ Hölder-Łojasiewicz inequalities for volumes of tame objects ⋮ On the local geometry of definably stratified sets ⋮ RAMSEY GROWTH IN SOME NIP STRUCTURES ⋮ On smooth locally o-minimal functions ⋮ Basics of O-minimality and Hardy Fields ⋮ Diophantine approximations on definable sets ⋮ Infinite Differentiability in Polynomially Bounded O-Minimal Structures ⋮ Smooth functions in o-minimal structures ⋮ Equivariant differential topology in an o-minimal expansion of the field of real numbers ⋮ UPC condition in polynomially bounded o-minimal structures ⋮ Real spectrum of ring of definable functions ⋮ Global Łojasiewicz-type inequality for non-degenerate polynomial maps ⋮ The elementary theory of Dedekind cuts in polynomially bounded structures ⋮ Complex analytic geometry and analytic-geometric categories ⋮ Expansions of o-minimal structures by iteration sequences ⋮ Approximations in globally subanalytic and Denjoy-Carleman classes ⋮ Convergent Semidefinite Programming Relaxations for Global Bilevel Polynomial Optimization Problems ⋮ D-minimal expansions of the real field have the zero set property ⋮ Avoiding the projective hierarchy in expansions of the real field by sequences ⋮ Expansions of o-minimal structures on the real field by trajectories of linear vector fields ⋮ On tangent cones of analytic sets and Łojasiewicz exponents ⋮ Tempered distributions and Schwartz functions on definable manifolds ⋮ O-minimal flows on nilmanifolds ⋮ Some nondefinability results with entire functions in a polynomially bounded o-minimal structure ⋮ Whitney's extension problem in o-minimal structures ⋮ Stratification Theory ⋮ Differential equations over polynomially bounded o-minimal structures

Cites Work