Dimension in the realm of transseries

DOI10.1090/CONM/697/14044MaRDI QIDQ4635356zbMATH OpenOpenAlexFDO

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

Publication date 16 April 2018

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

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

Mathematics Subject Classification ID

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

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].

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

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• Around differential Galois theory
• Asymptotic differential algebra and model theory of transseries
• Cell decomposition and dimension function in the theory of closed ordered differential fields
• Dimension in the realm of transseries
• Dimension of definable sets, algebraic boundedness and Henselian fields
• First order algebraic differential equations. A differential algebraic approach
• INTERPRETABLE GROUPS, STABLY EMBEDDED SETS, AND VAUGHTIAN PAIRS
• Logarithmic-exponential series
• Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
• The nonminimality of the differential closure
• The search for trivial types
• Topological differential fields and dimension functions

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)