1: \begin{abstract}

2: This paper is motivated by the study of probability measure-preserving (\emph{pmp}) actions of free groups using continuous model theory.  Such an action is treated as a metric structure that consists of the measure algebra of the probability measure space expanded by a family of its automorphisms. We prove that the existentially closed pmp actions of a given free group form an elementary class, and therefore the theory of pmp $\mbF_k$-actions has a model companion.  We show this model companion is stable and has quantifier elimination. We also prove that the action of $\mbF_k$ on its profinite completion with the Haar measure is metrically generic and therefore, as we show, it is existentially closed.

3: 

4: We deduce our main result from a more general theorem, which gives a set of sufficient conditions for the existence of a model companion for the theory of $\mbF_k$-actions on a separably categorical, stable metric structure.

5: \end{abstract}

6: