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

DOI10.1016/j.apal.2008.09.029zbMath1166.03015OpenAlexW1979310461MaRDI 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 functioncell decompositionordered differential fields

Mathematics Subject Classification ID

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

Related Items (9)

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 ⋮ Dimension in the realm of transseries ⋮ On coincidence of dimensions in closed ordered differential fields ⋮ Generic derivations on o-minimal structures ⋮ A nullstellensatz and a positivstellensatz for ordered differential fields ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS ⋮ Further notes on cell decomposition 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

This page was built for publication: Cell decomposition and dimension function in the theory of closed ordered differential fields