Model theoretic dynamics in Galois fashion (Q1740629)

\textit{Z. Chatzidakis} and \textit{A. Pillay} [Ann. Pure Appl. Logic 95, No. 1--3, 71--92 (1998; Zbl 0929.03043)] studied properties of the model companion of substructures of a monster model of a stable theory equipped with an additional automorphism. In his joint paper with \textit{P. Kowalski} [J. Math. Log. 18, No. 1, Article ID 1850003, 26 p. (2018; Zbl 1406.03052)], the author investigated the model companion of the theory of fields equipped with an action of a fixed finite group. In the paper under review, the author fixes a monster model \(D\) of some stable theory and investigates a class \(K\) of substructures of \(D\) which are existentially closed within the class of substructures equipped with an action of a fixed group. Galois-theoretic results are obtained. Assuming \(K\) is elementary, it is shown that its theory \(T\) is simple and eliminates quantifiers up to some existential formulas, provided \(T\) has bounded models. Moreover, \(T\) codes finite sets and allows a geometric elimination of imaginaries.