A note on the effective listing of complete types

Abstract

We use the "geometric axioms" point of view to give an effective listing of the complete types of the theory DCF 0 of differentially closed fields of characteristic 0. This gives another account of observations made in [1] and [6].