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

Thomas Brihaye, Christian Michaux, Cédric Rivière. Cell decomposition and dimension function in the theory of closed ordered differential fields. Annals of Pure and Applied Logic, 159(1-2):111-128, 2009. [doi]

Abstract

Abstract is missing.