Topological closure and Kolchin dimension for generic derivations
Let C\mathfrak CC carry a topology τ\tauτ satisfying suitable conditions, and let τδˉ\tau_{\bar \delta}τδˉ be the topology induced by x↦Jet(x)x\mapsto\operatorname{Jet}(x)x↦Jet(x) into…