The elementary theory of restricted analytic fields with exponentiation

DOI10.2307/2118545MaRDI QIDQ1341981zbMATH OpenOpenAlexWikidataFDO

Authors David Marker, Lou van den Dries, Angus 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

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)

Recommendations

• ON THE THEORY OF EXPONENTIAL FIELDS
• On the real exponential field with restricted analytic functions
• scientific article; zbMATH DE number 4085773
• 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

Cited in

(only showing first 100 items - show all)

• On freely generated \(E\)-subrings
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Complexity of cylindrical decompositions of sub-Pfaffian
• On smooth locally o-minimal functions
• A transfer principle for the continuations of real functions to the Levi-Civita field
• Extending Tamm's theorem
• scientific article; zbMATH DE number 1417306 (Why is no real title available?)
• System JLZ -- rational default reasoning by minimal ranking constructions.
• OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
• Logarithmic-exponential series
• Comparison of exponential-logarithmic and logarithmic-exponential series
• Inclusion dynamics hybrid automata
• Rational points on analytic varieties
• T-convexity and tame extensions
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• Correction to On the real exponential field with restricted analytic functions
• Expansions of the real field with power functions
• Randomizing a model
• Differential equations over polynomially bounded o-minimal structures
• Finiteness property for generalized abelian integrals.
• Existence of prime elements in rings of generalized power series
• The absolute arithmetic continuum and the unification of all numbers great and small
• John functions for o-minimal domains
• On the elementary theory of restricted real and imaginary parts of holomorphic functions
• Real root isolation for exp-log-arctan functions
• Some remarks on Schanuel's conjecture
• The rational points of a definable set
• Smooth functions in o-minimal structures
• Real closed valued fields with analytic structure
• scientific article; zbMATH DE number 1522509 (Why is no real title available?)
• Finitely representable databases
• Uniform model-completeness for the real field expanded by power functions
• Algebraic properties of rings of generalized power series
• Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
• On the role of abnormal minimizers in sub-Riemannian geometry
• Expansions of o-minimal structures on the real field by trajectories of linear vector fields
• THE CENTRAL PATH IN SMOOTH CONVEX SEMIDEFINITE PROGRAMS
• The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure
• Multivariable Newton-Puiseux theorem for generalised quasianalytic classes
• Liouville closed \(H_T\)-fields
• Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks
• Tame flows
• Definability of restricted theta functions and families of abelian varieties
• Counting special points: logic, Diophantine geometry, and transcendence theory
• SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
• Some unlikely intersections beyond André–Oort
• Quantifier elimination for neocompact sets
• Generalised power series solutions of sub-analytic differential equations
• On o-minimal expansions of Archimedean ordered groups
• Rings of analytic functions definable in o-minimal structure
• A closedness theorem over Henselian fields with analytic structure and its applications
• On the structure of nonarchimedean exponential fields. I
• Geometric categories and o-minimal structures
• Global complexification of real analytic globally subanalytic functions
• Sub-Riemannian sphere in Martinet flat case
• Factorization in generalized power series
• Equivariant differential topology in an o-minimal expansion of the field of real numbers
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• A superlinearly convergent smoothing Newton continuation algorithm for variational inequalities over definable sets
• Real closed fields with non-standard and standard analytic structure
• T-convexity and tame extensions II
• On gradients of functions definable in o-minimal structures
• Logarithmic-Exponential Power Series
• o-minimal analytic separation of sets in dimension 2
• \(R\)-analytic functions
• First order tameness of measures
• Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents
• Sheaves on \(\mathcal T\)-topologies
• On the elementary theory of restricted elementary functions
• 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
• Homology of semi-pfaffian sets
• A preparation theorem for Weierstrass systems
• 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)
• On the real exponential field with restricted analytic functions
• Definability and nondefinability results for certain o-minimal structures
• \(\kappa\)-bounded exponential-logarithmic power series fields
• Multiplicities of Pfaffian intersections, and the Łojasiewicz inequality
• Definable linear orders definably embed into lexicographic orders in o-minimal structures
• Transseries and Todorov-Vernaeve's asymptotic fields
• XI Latin American Symposium on Mathematical Logic
• On the Pila-Wilkie theorem
• Periods, power series, and integrated algebraic numbers
• Embedding the prime model of real exponentiation into o‐minimal exponential fields
• scientific article; zbMATH DE number 1417307 (Why is no real title available?)
• Generalized Euler characteristic in power-bounded \(T\)-convex valued fields
• Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets
• 2000 Annual Meeting of the Association for Symbolic Logic
• Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function
• On damped second-order gradient systems
• Quasi-analyticity, o-minimality and quantifier elimination.
• Mellin transforms of power-constructible functions
• Construction of O-minimal Structures from Quasianalytic Classes
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Parametric Fourier and Mellin transforms of power-constructible functions
• \(T\)-convex \(T\)-differential fields and their immediate extensions
• Sub-Riemannian Cartan sphere
• Tame semiflows for piecewise linear vector fields
• On singularities of minimum time control-affine systems

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)