Dimension in the realm of transseries

DOI10.1090/CONM/697/14044zbMATH Open1388.12008arXiv1607.07173OpenAlexW2513422395MaRDI QIDQ4635356FDOQ4635356

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

Publication date: 16 April 2018

Published in: Ordered Algebraic Structures and Related Topics (Search for Journal in Brave)

Abstract: Let $mathbbT$ be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of ${mathbbT}^n$, also in relation to its codimension in the ambient space ${mathbbT}^n$. The case of dimension $0$ is of special interest, and can be characterized both in topological terms (discreteness) and in terms of the Herwig-Hrushovski-Macpherson notion of co-analyzability. The proofs use results by the authors from "Asymptotic Differential Algebra and Model Theory of Transseries", the axiomatic framework for "dimension" in [L. van den Dries, "Dimension of definable sets, algebraic boundedness and Henselian fields", Ann. Pure Appl. Logic 45 (1989), no. 2, 189-209], and facts about co-analyzability from [B. Herwig, E. Hrushovski, D. Macpherson, "Interpretable groups, stably embedded sets, and Vaughtian pairs", J. London Math. Soc. (2003) 68, no. 1, 1-11].

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

Recommendations

• On coincidence of dimensions in closed ordered differential fields
• Transseries and real differential algebra
• Transseries for beginners
• Toward a model theory for transseries
• Asymptotic differential algebra and model theory of transseries

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Differential algebra (12H05) Non-Archimedean valued fields (12J25) Ordered fields (12J15)

Cites Work

• Title not available (Why is that?)
• Logarithmic-exponential series
• Asymptotic Differential Algebra and Model Theory of Transseries
• Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
• Dimension of definable sets, algebraic boundedness and Henselian fields
• First order algebraic differential equations. A differential algebraic approach
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• The nonminimality of the differential closure
• Around differential Galois theory
• The search for trivial types
• Topological differential fields and dimension functions
• INTERPRETABLE GROUPS, STABLY EMBEDDED SETS, AND VAUGHTIAN PAIRS
• Dimension in the realm of transseries

Cited In (3)

• Revisiting closed asymptotic couples
• Dimension in the realm of transseries
• On coincidence of dimensions in closed ordered differential fields

This page was built for publication: Dimension in the realm of transseries

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