On the real exponential field with restricted analytic functions
From MaRDI portal
Publication:1320026
DOI10.1007/BF02758635zbMath0823.03017MaRDI QIDQ1320026
Chris Miller, L. P. D. van den Dries
Publication date: 31 October 1995
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Related Items
Expansions of the real field with power functions, Sheaves on \(\mathcal T\)-topologies, A note on o-minimal flows and the Ax-Lindemann-Weierstrass theorem for semi-abelian varieties over \(\mathbb{C}\), The hyperbolic Ax-Lindemann-Weierstraß conjecture, Extending Tamm's theorem, Conformal mapping of o-minimal corners, Equidistribution of Hodge loci II, THE CENTRAL PATH IN SMOOTH CONVEX SEMIDEFINITE PROGRAMS, An extension of Hölder's theorem on the Gamma function, Algebraic differential equations from covering maps, Łojasiewicz inequalities for sets definable in the structure \({\mathbb R}_{\text{exp}}\), Correction to On the real exponential field with restricted analytic functions, SPECIAL POINT PROBLEMS WITH ELLIPTIC MODULAR SURFACES, Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation, T-convexity and tame extensions, Ilyashenko algebras based on transserial asymptotic expansions, Geometric categories and o-minimal structures, Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets, Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure, On the Pila-Wilkie theorem, Unlikely intersections of curves with algebraic subgroups in semiabelian varieties, Hodge theory, between algebraicity and transcendence, A definability criterion for connected Lie groups, The André-Oort conjecture for \(\mathcal A_g\), Wilkie's conjecture for Pfaffian structures, Multiplicative structures and random walks in o-minimal groups, Locally definable subgroups of semialgebraic groups, Definability of restricted theta functions and families of abelian varieties, STORMED Hybrid Systems, Transseries and Todorov-Vernaeve's asymptotic fields, Comparison theorems for o-minimal singular (co)homology, \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\), LOCAL INTERDEFINABILITY OF WEIERSTRASS ELLIPTIC FUNCTIONS, Hyperbolic Ax-Lindemann theorem in the cocompact case, Ax-Lindemann for \(\mathcal{A}_g\), Tame topology of arithmetic quotients and algebraicity of Hodge loci, On some global semianalytic sets, Specifications for decidable hybrid games, An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp, Basics on Lipschitz geometry, A Modular André–Oort Statement with Derivatives, Analytic continuations of log-exp-analytic germs, Hölder-Łojasiewicz inequalities for volumes of tame objects, Basics of O-minimality and Hardy Fields, Multiplicative independence of modular functions, Definable linear orders definably embed into lexicographic orders in o-minimal structures, The André–Oort conjecture for the moduli space of abelian surfaces, Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function, First order tameness of measures, Ax-Schanuel for Shimura varieties, Inexact Half-Quadratic Optimization for Linear Inverse Problems, Correction to: ``Holomorphic curves in Shimura varieties, Inclusion dynamics hybrid automata, Unlikely intersections between isogeny orbits and curves, The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure, Integer-valued definable functions in ℝan,exp, CM RELATIONS IN FIBERED POWERS OF ELLIPTIC FAMILIES, Peano differentiable extensions in o-minimal structures, Models of true arithmetic are integer parts of models of real exponentation, Counting special points: Logic, diophantine geometry, and transcendence theory, Some unlikely intersections beyond André–Oort, Unlikely intersections with isogeny orbits in a product of elliptic schemes, Applications of the hyperbolic Ax–Schanuel conjecture, A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets, Geometric and o-minimal Littlewood-Offord problems
Cites Work
- \(p\)-adic and real subanalytic sets
- The elementary theory of restricted analytic fields with exponentiation
- Points de platitude d'un morphisme d'espaces analytiques complexes
- The Rank of a Hardy Field
- On the elementary theory of restricted elementary functions
- Algebraic theories with definable Skolem functions
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Definable Sets in Ordered Structures. I
- Definable Sets in Ordered Structures. II
- Unnamed Item
- Unnamed Item
