In order to prove (the non trivial part of) Chang-Los-Suszko's theorem [1], I'm struggling with the following lemma :
Lemma. Let $T$ be a $\mathcal L$-theory and $T_{\forall\exists}$ the set of $\forall\exists$-sentences consequences of $T$. Then for every model $\mathfrak M \models T_{\forall\exists}$, there exists $\mathfrak N \models T$ such that $\mathfrak M \subseteq \mathfrak N$ and where the inclusion is essentially closed.
I recall here that an inclusion $\mathfrak M \subseteq \mathfrak N$ is essentially closed if for every quantifier-free formula $\varphi(\bar x, \bar y)$, and for every tuple $\bar m$ of elements of $M$, one has $$ \mathfrak N \models \exists \bar x \varphi(\bar x,\bar m) \quad \text{implies} \quad \mathfrak M \models \exists \bar x \varphi(\bar x,\bar m) .$$
My thought was to get $\mathfrak N$ by showing that the $\mathcal L_M$-theory $$ T \cup \Delta(\mathfrak M) \cup \{ (\exists \bar x\varphi(\bar x,\bar m)) \to \varphi(\bar a_{\varphi(\bar x, \bar m)},\bar m) : \varphi \ \text{quantifier-free}, \bar m \in M \} $$ is consistent, where $\Delta(\mathfrak M)$ is the simple diagram of $\mathfrak M$, and where $\bar a_{\varphi(\bar x, \bar m)}$ is a choice of a tuple of elements of $M$ such that $\mathfrak M \models \varphi(\bar a_{\varphi(\bar x,\bar m)},\bar m)$ if it exists and else is arbitrary. And to do so, of course I would use compactness and only show that the $$ T \cup \{ \psi(\bar m) \wedge \bigwedge_{i=1}^n\left((\exists \bar x\varphi_i(\bar x,\bar m_i)) \to \varphi(\bar a_{\varphi(\bar x, \bar m_i)},\bar m_i) \right)\} $$ are consistent (with $\psi$ and the $\varphi_i$ quantifier-free). Here I'm kind of stuck…
I want to express the latter formula (between the braces) as some $\exists \bar z \forall \bar t \chi(\bar z,\bar t)$ with $\chi$ quantifier-free : then $\mathfrak M$ will satisfy it and so prevent $T$ from showing its negation, yielding a model $\mathfrak N$ of $T$ satisfying $\exists \bar z \forall \bar t \chi(\bar z,\bar t)$. CQFD.
It does not seem far from reach but I just can't compute that $\chi$. I hope someone can give me a hint (or tell me that I'm completely off).
[1] For those who wonder, Chang-Los-Suszko's theorem states that a theory $T$ is inductive (i.e. its class of models is closed under taking increasing union) if and only if $T$ admits a $\forall\exists$-axiomatization.
Hint: Let's slightly modify the construction. Show that $$T \cup \Delta(M) \cup \{\forall x \phi(x, \bar m) : M \models \forall x \phi(x, \bar m), \phi \text { quantifier free}\}$$ is consistent.