Search

We show that if G$G$ is a finitely generated group such that its profinite completion Ĝ$\widehat{G}$ is "far from being projective" (i.e., the kernel of the universal Frattini cover of Ĝ$\widehat{G}$ is not a small profinite group), then the class of existentially closed G$G$‐actions on fields is not elementary. Since any infinite, finitely generated, virtually free, and not free group is "far from being projective," the main result of this paper corrects an error in our paper, Beyarslan and Kowalski (Proc. London Math. Soc., (2) 118 (2019), 221–256), by showing the negation of Theorem 3.26 in that paper. [ABSTRACT FROM AUTHOR]

There is an irreparable error in the proof of Theorem 3.26 in the above‐mentioned paper and we withdraw the claim of having proved that theorem. In fact, that theorem is false in a very strong sense. [ABSTRACT FROM AUTHOR]