Cell decomposition and dimension function in the theory of closed ordered differential fields

DOI10.1016/j.apal.2008.09.029zbMath1166.03015MaRDI QIDQ1023052

Thomas Brihaye, Cédric Rivière, Christian Michaux

Publication date: 10 June 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.029

zbMATH Keywords

dimension function; cell decomposition; ordered differential fields

Mathematics Subject Classification ID

12H05: Differential algebra

03C64: Model theory of ordered structures; o-minimality

12J15: Ordered fields

12L12: Model theory of fields

Related Items

Dimension in the realm of transseries, A nullstellensatz and a positivstellensatz for ordered differential fields, Generic derivations on o-minimal structures, STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, On differentially closed ordered fields, Further notes on cell decomposition in closed ordered differential fields, On coincidence of dimensions in closed ordered differential fields, Topological fields with a generic derivation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Geometrical axiomatization for model complete theories of differential topological fields
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Further notes on cell decomposition in closed ordered differential fields
• The Field of Reals with Multisummable Series and the Exponential Function
• Definable Sets in Ordered Structures. III
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• The model theory of ordered differential fields
• The real field with convergent generalized power series
• The Pfaffian closure of an o-minimal structure
• Quasianalytic Denjoy-Carleman classes and o-minimality
• Cell Decomposition and Dimension Functions in First-Order Topological Structures
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Ordered differential fields