Definability in families of Kolchin invariants
Let ⟨C,δˉ⟩\langle \mathfrak C,\bar \delta\rangle⟨C,δˉ⟩ be a monster model of TgδˉT^{\bar \delta}_gTgδˉ. For an LδˉL^{\bar \delta}Lδˉ-definable set XXX, let ωX\omega_XωX be the supremum of the relevant K…