1: \begin{abstract}

2: We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group $G$. We embed these structures in a monster model $\mathfrak{D}$ of some well-rounded theory and describe them as PAC substructures of $\mathfrak{D}$.

3: 

4: Assuming that the class of these existentially closed models is elementary,

5: we show that, under the assumption of having bounded models, 

6: its theory is simple and eliminates quantifiers up to some existential formulas - similar to ACFA. Moreover, it codes finite sets and allows a geometric elimination of imaginaries, but not always a weak elimination of imaginaries.

7: \end{abstract}

8: