The elementary theory of restricted analytic fields with exponentiation

exponential function analytic functions quantifier elimination complete theory \(o\)-minimality restricted analytic functions universal 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)

Exponential topological fields with a generic derivation
scientific article; zbMATH DE number 1417307 (Why is no real title available?)
On the structure of nonarchimedean exponential fields. I
Tame flows
Generic derivations on o-minimal structures
Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
Entropic risk for turn-based stochastic games
Basics of o-minimality and Hardy fields
Comparison of exponential-logarithmic and logarithmic-exponential series
Definability of restricted theta functions and families of abelian varieties
Tameness, strings, and the distance conjecture
T-convexity and tame extensions
On smooth locally o-minimal functions
Complexity of cylindrical decompositions of sub-Pfaffian
Definable quotients in locally o-minimal structures
Exponential fields and Conway’s omega-map
OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
Homology of semi-pfaffian sets
Extending Tamm's theorem
\(T\)-convex \(T\)-differential fields and their immediate extensions
Triangulations of monotone families. I: two-dimensional families
Neocompact quantifier elimination in structures based on Banach spaces
On damped second-order gradient systems
Restricted analytic valued fields with partial exponentiation
Randomizing a model
Integer-valued O-minimal functions
Existence of prime elements in rings of generalized power series
Differentiability properties of log-analytic functions
R-analytic functions
Restricted log-exp-analytic functions and some differentiability results
Sub-Riemannian sphere in Martinet flat case
The rational points of a definable set
Uniform model-completeness for the real field expanded by power functions
o-minimal analytic separation of sets in dimension 2
Expansions of o-minimal structures on the real field by trajectories of linear vector fields
A closedness theorem and applications in geometry of rational points over Henselian valued fields
THE CENTRAL PATH IN SMOOTH CONVEX SEMIDEFINITE PROGRAMS
Analytic continuations of --analytic germs
First order tameness of measures
scientific article; zbMATH DE number 1522509 (Why is no real title available?)
Surreal analysis: an analogue of real analysis for surreal numbers
Turing meets Schanuel
Pfaffian differential equations over exponential o-minimal structures
Surreal ordered exponential fields
Counting special points: logic, Diophantine geometry, and transcendence theory
Course on Non-oscillatory Trajectories
Sheaves on T-topologies
XI Latin American Symposium on Mathematical Logic
Model Completeness for the Real Field with the Weierstrass ℘ Function
\(\kappa\)-bounded exponential-logarithmic power series fields
Factorization in generalized power series
Tame semiflows for piecewise linear vector fields
A transfer principle for the continuations of real functions to the Levi-Civita field
Equivariant differential topology in an o-minimal expansion of the field of real numbers
Real closed valued fields with analytic structure
On the elementary theory of restricted elementary functions
Rational points on analytic varieties
Quantifier elimination for neocompact sets
Quasi-analyticity, o-minimality and quantifier elimination.
Conformal mapping of o-minimal corners
Generalized Euler characteristic in power-bounded T-convex valued fields
Embedding the prime model of real exponentiation into o‐minimal exponential fields
On o-minimal expansions of Archimedean ordered groups
Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries
Smooth functions in o-minimal structures
Ordered transexponential fields
On preparation theorems for R<sub>an, exp</sub>-definable functions
On the elementary theory of restricted real and imaginary parts of holomorphic functions
Liouville closed H_T-fields
Differential equations over polynomially bounded o-minimal structures
Ax-Schanuel for Shimura varieties
Critical points for least-squares problems involving certain analytic functions, with applications to sigmoidal nets
Finitely representable databases
Definability and nondefinability results for certain o-minimal structures
Definable linear orders definably embed into lexicographic orders in o-minimal structures
On the real exponential field with restricted analytic functions
Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation
On the role of abnormal minimizers in sub-Riemannian geometry
A superlinearly convergent smoothing Newton continuation algorithm for variational inequalities over definable sets
Impossibility of extending Pólya's theorem to ``forms with arbitrary real exponents
On singularities of minimum time control-affine systems
Inclusion dynamics hybrid automata
Correction to On the real exponential field with restricted analytic functions
A proof of the valuation property and preparation theorem
On gradients of functions definable in o-minimal structures
Global convergence of the gradient method for 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
An algorithm for regular solutions of systems of exp-subanalytic equations and o-minimality of \(\mathbb{R}_{\text{an} , \exp}\)
Geometric categories and o-minimal structures
On freely generated \(E\)-subrings
Integration of oscillatory and subanalytic functions
System JLZ -- rational default reasoning by minimal ranking constructions.
SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES
Finiteness property for generalized abelian integrals.
Half a century with the problem of the gradient of an analytic function
Analytic nullstellensätze and the model theory of valued fields
Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
The absolute arithmetic continuum and the unification of all numbers great and small

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)