The elementary theory of restricted analytic fields with exponentiation
From MaRDI portal
Publication:1341981
DOI10.2307/2118545zbMath0837.12006OpenAlexW1995742741WikidataQ101242845 ScholiaQ101242845MaRDI QIDQ1341981
David Marker, L. P. D. van den Dries, Angus J. Macintyre
Publication date: 21 May 1996
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2118545
exponential functionquantifier eliminationanalytic functionsrestricted analytic functionscomplete theory\(o\)-minimalityuniversal axiomatization
Related Items
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, 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, A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets, 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, Exponential fields and Conway’s omega-map, Liouville closed \(H_T\)-fields, Global convergence of the gradient method for functions definable in o-minimal structures, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, Embedding the prime model of real exponentiation into o‐minimal exponential fields, On preparation theorems for R<sub>an, exp</sub>-definable functions, The six Grothendieck operations on o-minimal sheaves, An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp, The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small, Some remarks on Schanuel's conjecture, Neocompact quantifier elimination in structures based on Banach spaces, Logarithmic-exponential series, Complexity of cylindrical decompositions of sub-Pfaffian, Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function, A preparation theorem for Weierstrass systems, UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
