The elementary theory of restricted analytic fields with exponentiation

exponential function quantifier elimination analytic functions restricted analytic functions complete theory \(o\)-minimality universal axiomatization

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered fields (12J15) Model theory of fields (12L12)

Related Items (only showing first 100 items - show all)

On the role of abnormal minimizers in sub-Riemannian geometry ⋮ Expansions of the real field with power functions ⋮ Sheaves on \(\mathcal T\)-topologies ⋮ Quantifier elimination for neocompact sets ⋮ Méthodes géométriques et analytiques pour étudier l'application exponentielle, la sphère et le front d'onde en géométrie sous-riemannienne dans le cas Martinet ⋮ Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries ⋮ 2000 Annual Meeting of the Association for Symbolic Logic ⋮ Pfaffian differential equations over exponential o-minimal structures ⋮ Turing meets Schanuel ⋮ Extending Tamm's theorem ⋮ On the structure of nonarchimedean exponential fields. I ⋮ Global complexification of real analytic globally subanalytic functions ⋮ Conformal mapping of o-minimal corners ⋮ Triangulations of monotone families I: two-dimensional families ⋮ THE CENTRAL PATH IN SMOOTH CONVEX SEMIDEFINITE PROGRAMS ⋮ Integration of oscillatory and subanalytic functions ⋮ Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application ⋮ Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions) ⋮ Correction to On the real exponential field with restricted analytic functions ⋮ On Singularities of Minimum Time Control-Affine Systems ⋮ Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation ⋮ Surreal Analysis: An Analogue of Real Analysis for Surreal Numbers ⋮ Finitely representable databases ⋮ Ilyashenko algebras based on transserial asymptotic expansions ⋮ Cyclotomic torsion points in elliptic schemes ⋮ Geometric categories and o-minimal structures ⋮ Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets ⋮ On the Pila-Wilkie theorem ⋮ Generalized Euler characteristic in power-bounded T-convex valued fields ⋮ Finiteness property for generalized abelian integrals. ⋮ Rings of analytic functions definable in o-minimal structure ⋮ Tameness, strings, and the distance conjecture ⋮ A closedness theorem and applications in geometry of rational points over Henselian valued fields ⋮ On o-minimal expansions of Archimedean ordered groups ⋮ \(T\)-convex \(T\)-differential fields and their immediate extensions ⋮ Real closed valued fields with analytic structure ⋮ Definability of restricted theta functions and families of abelian varieties ⋮ SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES ⋮ Sub-Riemannian Cartan sphere ⋮ T-convexity and tame extensions II ⋮ Transseries and Todorov-Vernaeve's asymptotic fields ⋮ \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\) ⋮ System JLZ -- rational default reasoning by minimal ranking constructions. ⋮ Analytic continuations of log-exp-analytic germs ⋮ Surreal numbers with derivation, Hardy fields and transseries: a survey ⋮ Unnamed Item ⋮ On smooth locally o-minimal functions ⋮ Basics of O-minimality and Hardy Fields ⋮ Construction of O-minimal Structures from Quasianalytic Classes ⋮ Course on Non-oscillatory Trajectories ⋮ Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks ⋮ \(R\)-analytic functions ⋮ Generic derivations on o-minimal structures ⋮ Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents ⋮ Definable linear orders definably embed into lexicographic orders in o-minimal structures ⋮ Model Theory: Geometrical and Set-Theoretic Aspects and Prospects ⋮ Sub-Riemannian sphere in Martinet flat case ⋮ Existence of prime elements in rings of generalized power series ⋮ Smooth functions in o-minimal structures ⋮ Equivariant differential topology in an o-minimal expansion of the field of real numbers ⋮ Logarithmic-Exponential Power Series ⋮ The rational points of a definable set ⋮ First order tameness of measures ⋮ Ax-Schanuel for Shimura varieties ⋮ Definability and nondefinability results for certain o-minimal structures ⋮ Tame flows ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Inclusion dynamics hybrid automata ⋮ On freely generated \(E\)-subrings ⋮ Factorization in generalized power series ⋮ o-minimal analytic separation of sets in dimension 2 ⋮ Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality ⋮ The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure ⋮ Expansions of o-minimal structures on the real field by trajectories of linear vector fields ⋮ Multivariable Newton-Puiseux theorem for generalised quasianalytic classes ⋮ John functions for o-minimal domains ⋮ Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques. (Integration of subanalytic functions and volumes of subanalytic subspaces) ⋮ On gradients of functions definable in o-minimal structures ⋮ Maps on Ultrametric Spaces, Hensel's Lemma, and Differential Equations Over Valued Fields ⋮ Homology of semi-pfaffian sets ⋮ Model Completeness for the Real Field with the Weierstrass ℘ Function ⋮ Real root isolation for exp-log-arctan functions ⋮ A transfer principle for the continuations of real functions to the Levi-Civita field ⋮ A closedness theorem over Henselian fields with analytic structure and its applications ⋮ Counting special points: Logic, diophantine geometry, and transcendence theory ⋮ Randomizing a model ⋮ Some unlikely intersections beyond André–Oort ⋮ Differentiability properties of log-analytic functions ⋮ \(\kappa\)-bounded exponential-logarithmic power series fields ⋮ SURREAL ORDERED EXPONENTIAL FIELDS ⋮ Generalised power series solutions of sub-analytic differential equations ⋮ Restricted log-exp-analytic functions and some differentiability results ⋮ Algebraic properties of rings of generalized power series ⋮ Tame semiflows for piecewise linear vector fields ⋮ Comparison of exponential-logarithmic and logarithmic-exponential series ⋮ On damped second-order gradient systems ⋮ On the real exponential field with restricted analytic functions ⋮ Rational points on analytic varieties ⋮ Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank ⋮ Differential equations over polynomially bounded o-minimal structures

This page was built for publication: The elementary theory of restricted analytic fields with exponentiation