The elementary theory of restricted analytic fields with exponentiation

DOI10.2307/2118545zbMATH Open0837.12006OpenAlexW1995742741WikidataQ101242845 ScholiaQ101242845MaRDI QIDQ1341981FDOQ1341981

Lou van den Dries, Angus Macintyre, David Marker

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

Recommendations

• ON THE THEORY OF EXPONENTIAL FIELDS
• On the real exponential field with restricted analytic functions
• scientific article
• The analytic theory of multiplicative Galois structure
• scientific article; zbMATH DE number 3637953
• On the theory of the real exponential field
• Elementary analytic methods in higher ramification theory
• The elementary theory of normal Frobenius fields
• scientific article; zbMATH DE number 2107000
• scientific article; zbMATH DE number 3433971

zbMATH Keywords

exponential functionanalytic functionsquantifier eliminationcomplete theory\(o\)-minimalityrestricted analytic functionsuniversal axiomatization

Mathematics Subject Classification ID

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

Cited In (only showing first 100 items - show all)

• Factorization in generalized power series
• Sheaves on \(\mathcal T\)-topologies
• \(\kappa\)-bounded exponential-logarithmic power series fields
• The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
• A transfer principle for the continuations of real functions to the Levi-Civita field
• Real closed valued fields with analytic structure
• Equivariant differential topology in an o-minimal expansion of the field of real numbers
• On the elementary theory of restricted elementary functions
• Rational points on analytic varieties
• Quantifier elimination for neocompact sets
• On o-minimal expansions of Archimedean ordered groups
• Smooth functions in o-minimal structures
• Liouville closed \(H_T\)-fields
• Differential equations over polynomially bounded o-minimal structures
• Definability and nondefinability results for certain o-minimal structures
• Finitely representable databases
• On the real exponential field with restricted analytic functions
• On the role of abnormal minimizers in sub-Riemannian geometry
• Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents
• Counting special points: Logic, diophantine geometry, and transcendence theory
• Inclusion dynamics hybrid automata
• Correction to On the real exponential field with restricted analytic functions
• On gradients of functions definable in o-minimal structures
• 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
• SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
• Geometric categories and o-minimal structures
• On freely generated \(E\)-subrings
• System JLZ -- rational default reasoning by minimal ranking constructions.
• Finiteness property for generalized abelian integrals.
• Global complexification of real analytic globally subanalytic functions
• Rings of analytic functions definable in o-minimal structure
• A preparation theorem for Weierstrass systems
• Title not available (Why is that?)
• Expansions of the real field with power functions
• Multivariable Newton-Puiseux theorem for generalised quasianalytic classes
• Some unlikely intersections beyond André–Oort
• Real closed fields with non-standard and standard analytic structure
• Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks
• A closedness theorem over Henselian fields with analytic structure and its applications
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• John functions for o-minimal domains
• Algebraic properties of rings of generalized power series
• Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Logarithmic-exponential series
• Some remarks on Schanuel's conjecture
• Real root isolation for exp-log-arctan functions
• T-convexity and tame extensions II
• Logarithmic-Exponential Power Series
• The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure
• Generalised power series solutions of sub-analytic differential equations
• Cyclotomic torsion points in elliptic schemes
• Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques. (Integration of subanalytic functions and volumes of subanalytic subspaces)
• Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)
• Transseries and Todorov-Vernaeve's asymptotic fields
• Tame flows
• On the structure of nonarchimedean exponential fields. I
• Maps on Ultrametric Spaces, Hensel's Lemma, and Differential Equations Over Valued Fields
• Complexity of cylindrical decompositions of sub-Pfaffian
• Comparison of exponential-logarithmic and logarithmic-exponential series
• T-convexity and tame extensions
• Definability of restricted theta functions and families of abelian varieties
• The six Grothendieck operations on o-minimal sheaves
• On smooth locally o-minimal functions
• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• Homology of semi-pfaffian sets
• Extending Tamm's theorem
• Existence of prime elements in rings of generalized power series
• Randomizing a model
• Sub-Riemannian sphere in Martinet flat case
• \(R\)-analytic functions
• The rational points of a definable set
• Expansions of o-minimal structures on the real field by trajectories of linear vector fields
• o-minimal analytic separation of sets in dimension 2
• THE CENTRAL PATH IN SMOOTH CONVEX SEMIDEFINITE PROGRAMS
• Title not available (Why is that?)
• A Superlinearly Convergent Smoothing Newton Continuation Algorithm for Variational Inequalities over Definable Sets
• First order tameness of measures
• An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of ℝan,exp
• Course on Non-oscillatory Trajectories
• XI Latin American Symposium on Mathematical Logic
• Model Completeness for the Real Field with the Weierstrass ℘ Function
• Tame semiflows for piecewise linear vector fields
• Triangulations of monotone families I: two-dimensional families
• Embedding the prime model of real exponentiation into o‐minimal exponential fields
• Quasi-analyticity, o-minimality and quantifier elimination.
• Conformal mapping of o-minimal corners
• On preparation theorems for R_{an, exp}-definable functions
• Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries
• Surreal Analysis: An Analogue of Real Analysis for Surreal Numbers
• Ax-Schanuel for Shimura varieties
• Definable linear orders definably embed into lexicographic orders in o-minimal structures
• Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets
• Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation
• Basics of O-minimality and Hardy Fields
• A proof of the valuation property and preparation theorem
• Global convergence of the gradient method for functions definable in o-minimal structures
• Half a century with the problem of the gradient of an analytic function
• Analytic nullstellensätze and the model theory of valued fields

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1341981)