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

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

doi:10.1016/j.apal.2008.09.029

Cited by 15 publications

(19 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…It is proved in [1] that the δ-type of a δ-cell does not depend on the cell D L appearing in Definition 1.5 and so is well-defined. Furthermore, as in the o-minimal case, the (1; .…”

Section: Remark 12mentioning

confidence: 96%

“…; 1)-δ-cells are exactly the δ-cells which are δ-open in their ambient space. Theorem 1.6 (Differential Cell Decomposition Theorem [1,Theorem 4.9]). Let M be a closed ordered differential field.…”

Section: Remark 12mentioning

confidence: 98%

“…. , a (n) 1 , a (n) 2 )) = 1 · (n + 1) + 2 where 1 is the differential transcendence degree of M a 1 , a 2 over M.…”

Section: Dimensional Polynomial Of Kolchinmentioning

confidence: 99%

“…In order to use the notation introduced in Definition 1.1 and develop the same kind of argument as in [1], we have to make a restriction on the class of L -definable functions we consider. More precisely,…”

Section: Theorem 37 If a Is An L -Definable Subset Of M K Then The mentioning

confidence: 99%

See 3 more Smart Citations

Further notes on cell decomposition in closed ordered differential fields

Rivière

2009

Annals of Pure and Applied Logic

Self Cite

View full text Add to dashboard Cite

a b s t r a c tIn [T. Brihaye, C. Michaux, C. Rivière, Cell decomposition and dimension function in the theory of closed ordered differential fields, Ann. Pure Appl. Logic (in press).] the authors proved a cell decomposition theorem for the theory of closed ordered differential fields (CODF ) which generalizes the usual Cell Decomposition Theorem for o-minimal structures. As a consequence of this result, a well-behaving dimension function on definable sets in CODF was introduced. Here we continue the study of this cell decomposition in CODF by proving three additional results. We first discuss the relation between the δ-cells introduced in the above-mentioned reference and the notion of Kolchin polynomial (or dimensional polynomial) in differential algebra. We then prove two generalizations of classical decomposition theorems in o-minimal structures. More exactly we give a theorem of decomposition into definably d-connected components (d-connectedness is a weak differential generalization of usual connectedness w.r.t. the order topology) and a differential cell decomposition theorem for a particular class of definable functions in CODF . OutlineThis paper is in direct filiation with paper [1]. Even though we recall in Section 1 some of the developments of the previous paper, it is certainly helpful to have a look at it before reading this one. In the sequel, we will denote by L the language {+, −, * , <, 0, 1} of ordered rings and by L the language {+, −, * , , <, 0, 1} of ordered differential rings.The first section of this paper contains a brief summary of the work presented in [1]. In the latter, the authors study a differential analogue of o-minimality in the theory CODF of closed ordered differential fields. In particular we recall the statement of the differential cell decomposition theorem for definable sets in CODF (Theorem 1.6). Section 2 was motivated by a question of T. Scanlon and contains the developments required to link the notion of δ-cell introduced in [1] with the Kolchin polynomial defined in partial 1 differential algebra [2, Theorem 6,p.115]. In the particular case of a differential field M equipped with a single derivation, the Kolchin polynomial describes, for any tupleā in an extension of M, the asymptotic behavior of the algebraic transcendence degree of the field M(ā,ā , . . . ,ā (n) ) over M (when n tends to ∞). Furthermore W.-Y. Pong proved in [4] that this polynomial has a very simple form dX + b where d is the differential transcendence degree ofā over M and b is a positive integer. Our aim here is to explain how some further investigations concerning δ-cells allow recovering the integers d and b (and then the Kolchin polynomial) in case M is a model of CODF . For this we first define a notion of K -type for a particular class of δ-cells called engaged δ-cells (Definitions 2.4-2.6). In fact the K -type provides a rank on δ-cells which is more precise than the δ-dimension and allows associating a K -rank with any tupleā in a differential extension of M (Definition 2.8). We finally pro...

show abstract

“…It is proved in [1] that the δ-type of a δ-cell does not depend on the cell D L appearing in Definition 1.5 and so is well-defined. Furthermore, as in the o-minimal case, the (1; .…”

Section: Remark 12mentioning

confidence: 96%

Section: Remark 12mentioning

confidence: 98%

“…. , a (n) 1 , a (n) 2 )) = 1 · (n + 1) + 2 where 1 is the differential transcendence degree of M a 1 , a 2 over M.…”

Section: Dimensional Polynomial Of Kolchinmentioning

confidence: 99%

Section: Theorem 37 If a Is An L -Definable Subset Of M K Then The mentioning

confidence: 99%

See 2 more Smart Citations

Further notes on cell decomposition in closed ordered differential fields

Rivière

2009

Annals of Pure and Applied Logic

Self Cite

View full text Add to dashboard Cite

show abstract

“…Valued differential fields have been studied extensively by Guzy, Michaux, Point and Rivière in [13], [30], [31], [32], [33], [35], [36]. ∀x Dx = 0 → ∃y y p = x.…”

Section: 4mentioning

confidence: 99%