Asymptotic Differential Algebra and Model Theory of Transseries

DOI10.1515/9781400885411zbMath1430.12002arXiv1509.02588OpenAlexW3098547607MaRDI QIDQ2963577

Joris van der Hoeven, Matthias Aschenbrenner, L. P. D. van den Dries

Publication date: 14 February 2017

Full work available at URL: https://arxiv.org/abs/1509.02588

zbMATH Keywords

asymptotic differential algebralog-exp series fieldmodel theory of the field of transseriesordered exponential field consisting of power series

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Differential algebra (12H05) Model theory of ordered structures; o-minimality (03C64) Model theory of fields (12L12) Research exposition (monographs, survey articles) pertaining to field theory (12-02)

Related Items (44)

A tale of two Liouville closures ⋮ Differential-henselianity and maximality of asymptotic valued differential fields ⋮ On the tame automorphisms of differential polynomial algebras ⋮ On the uniqueness of maximal immediate extensions of valued differential fields ⋮ Tame topology over definable uniform structures ⋮ On a differential intermediate value property ⋮ The asymptotic couple of the field of logarithmic transseries ⋮ ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS ⋮ Distality in valued fields and related structures ⋮ Ilyashenko algebras based on transserial asymptotic expansions ⋮ On valuation independence and defectless extensions of valued fields ⋮ Revisiting closed asymptotic couples ⋮ AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS ⋮ Unnamed Item ⋮ On the Pila-Wilkie theorem ⋮ Liouville closed \(H_T\)-fields ⋮ Combinatorial properties of nonarchimedean convex sets ⋮ Differential antisymmetric infinitesimal bialgebras, coherent derivations and Poisson bialgebras ⋮ Effective power series computations ⋮ HAMEL SPACES AND DISTAL EXPANSIONS ⋮ Defect extensions and a characterization of tame fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ \(T\)-convex \(T\)-differential fields and their immediate extensions ⋮ Definable valuations on ordered fields ⋮ Pseudo-linear algebra over a division ring ⋮ Newtonian valued differential fields with arbitrary value group ⋮ Homogeneous universal $H$-fields ⋮ Dimension in the realm of transseries ⋮ Surreal numbers with derivation, Hardy fields and transseries: a survey ⋮ The surreal numbers as a universal \(H\)-field ⋮ On coincidence of dimensions in closed ordered differential fields ⋮ The Maillet-Malgrange type theorem for generalized power series ⋮ On the prime spectrum of the ring of bounded nonstandard complex numbers ⋮ Transseries as germs of surreal functions ⋮ Generic derivations on o-minimal structures ⋮ NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES ⋮ The differential rank of a differential-valued field ⋮ Logarithmic hyperseries ⋮ The natural growth scale ⋮ Distality for the asymptotic couple of the field of logarithmic transseries ⋮ Néron desingularization of extensions of valuation rings (with an appendix by Kęstutis Česnavičius) ⋮ SURREAL ORDERED EXPONENTIAL FIELDS ⋮ Topological fields with a generic derivation ⋮ On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations

This page was built for publication: Asymptotic Differential Algebra and Model Theory of Transseries