Toward a model theory for transseries
From MaRDI portal
Publication:372613
DOI10.1215/00294527-2143898zbMath1314.03037arXiv1112.5237OpenAlexW3100430713MaRDI QIDQ372613
Joris van der Hoeven, Matthias Aschenbrenner, L. P. D. van den Dries
Publication date: 9 October 2013
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1112.5237
Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Rate of growth of functions, orders of infinity, slowly varying functions (26A12) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Julia's equation and differential transcendence ⋮ The asymptotic couple of the field of logarithmic transseries ⋮ Normalization of strongly hyperbolic logarithmic transseries and complex Dulac germs ⋮ Transseries and Todorov-Vernaeve's asymptotic fields ⋮ Transseries as germs of surreal functions ⋮ SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS ⋮ Normal forms of hyperbolic logarithmic transseries
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Transseries for beginners
- Topological differential fields
- New orders of infinity
- Differentially algebraic gaps
- Power series solutions of algebraic differential equations
- Differential valuations
- Operators on generalized power series
- \(H\)-fields and their Liouville extensions
- Liouville closed \(H\)-fields
- Asymptotic solutions of \(Y=F(x)Y\)
- Locally o-minimal structures and structures with locally o-minimal open core
- Closed asymptotic couples
- Transseries and real differential algebra
- Diophantine problems over local fields. III: Decidable fields
- A model complete theory of valued D-fields
- Notes on exponential-logarithmic terms
- Elementary theory of valued fields with a valuation-preserving automorphism
- The Rank of a Hardy Field
- On the Value Group of a Differential Valuation II
- On the Value Group of a Differential Valuation
- Exponentiation in power series fields
- Logarithmic-Exponential Power Series
- Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
- T-convexity and tame extensions
- Model theory of the Frobenius on the Witt vectors
- Groups, measures, and the NIP
- Diophantine Problems Over Local Fields I
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Logarithmic-exponential series
