1: \begin{abstract}

2: Let $G$ be a finite group. We explore the model theoretic properties of the class of 

3: differential fields of characteristic zero in $m$ commuting derivations equipped with a $G$-action by differential field automorphisms. In the language of $G$-differential rings (i.e. the language of rings with added symbols for derivations and automorphisms), we prove that this class has a model-companion -- denoted $\GDCF$. We then deploy the model-theoretic tools developed in the first author's paper \cite{Hoff3} to show that any model of $\GDCF$ is supersimple (but unstable when $G$ is nontrivial), a PAC-differential field (and hence differentially large in the sense of the second author and Tressl \cite{OmarMarcus}), and admits elimination of imaginaries after adding a tuple of parameters. We also address model-completeness and supersimplicity of theories of bounded PAC-differential fields (extending the results of Chatzidakis-Pillay \cite{ChPi} on bounded PAC-fields).

4: %We also compute the $\SU$-rank of $\GDCF$ and characterize simplicity of $\GDCF$ in the case of arbitrary (possibly infinite) group $G$.

5: \end{abstract}

6: