Asymptotic differential algebra and model theory of transseries

DOI10.1515/9781400885411zbMATH Open1430.12002arXiv1509.02588OpenAlexW3098547607MaRDI QIDQ2963577FDOQ2963577

Authors: Matthias Aschenbrenner, Joris van der Hoeven, Lou van den Dries 

Publication date: 14 February 2017

Abstract: We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.

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

Recommendations

• Toward a model theory for transseries
• scientific article; zbMATH DE number 2202751
• Transserial Hardy fields
• Transseries and real differential algebra
• Transseries, model theory, and Hardy fields

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) Model theory of ordered structures; o-minimality (03C64) Differential algebra (12H05) Model theory of fields (12L12) Research exposition (monographs, survey articles) pertaining to field theory (12-02)

Cited In (60)

• Revisiting closed asymptotic couples
• A tale of two Liouville closures
• Pseudo-linear algebra over a division ring
• AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS
• Differential-henselianity and maximality of asymptotic valued differential fields
• Title not available (Why is that?)
• Topological fields with a generic derivation
• On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations
• Title not available (Why is that?)
• Liouville closed \(H\)-fields
• On a differential intermediate value property
• On the structure of transitively differential algebras
• HAMEL SPACES AND DISTAL EXPANSIONS
• On the tame automorphisms of differential polynomial algebras
• Liouville closed \(H_T\)-fields
• On the uniqueness of maximal immediate extensions of valued differential fields
• ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS
• Transseries and real differential algebra
• An algebraic model of almost transitive differential geometry
• Differential antisymmetric infinitesimal bialgebras, coherent derivations and Poisson bialgebras
• Effective power series computations
• Tame topology over definable uniform structures
• Dimension in the realm of transseries
• Transseries as germs of surreal functions
• Homogeneous universal $H$-fields
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• SURREAL ORDERED EXPONENTIAL FIELDS
• The asymptotic couple of the field of logarithmic transseries
• On the Pila-Wilkie theorem
• NIP FOR THE ASYMPTOTIC COUPLE OF THE FIELD OF LOGARITHMIC TRANSSERIES
• Logarithmic hyperseries
• Transserial Hardy fields
• Ilyashenko algebras based on transserial asymptotic expansions
• On valuation independence and defectless extensions of valued fields
• Distality in valued fields and related structures
• The natural growth scale
• Distality for the asymptotic couple of the field of logarithmic transseries
• Generic derivations on o-minimal structures
• On coincidence of dimensions in closed ordered differential fields
• Definable valuations on ordered fields
• On the prime spectrum of the ring of bounded nonstandard complex numbers
• \(T\)-convex \(T\)-differential fields and their immediate extensions
• Surreal numbers with derivation, Hardy fields and transseries: a survey
• Defect extensions and a characterization of tame fields
• Néron desingularization of extensions of valuation rings (with an appendix by Kęstutis Česnavičius)
• The fundamental theorem of calculus in differential rings
• Combinatorial properties of nonarchimedean convex sets
• The surreal numbers as a universal \(H\)-field
• The Maillet-Malgrange type theorem for generalized power series
• The differential rank of a differential-valued field
• Newtonian valued differential fields with arbitrary value group
• A dichotomy for \(T\)-convex fields with a monomial group
• Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
• Epilogue: Stokes phenomena. Dynamics, classification problems and avatars
• Analytic nullstellensätze and the model theory of valued fields
• Integration on the surreals
• Surreal substructures
• Filling gaps in Hardy fields
• Ax-Kochen-Ershov principles for finitely ramified Henselian fields
• The amalgamation property for automorphisms of ordered abelian groups

This page was built for publication: Asymptotic differential algebra and model theory of transseries

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