Is it possible to show that there is a simple formula, preferably existential, that characterizes a nonstandard model of the ring of integers among the elements of $\prod\_p \mathbb{F}\_p/\mathcal{U}$?


Thank you



Defining $\mathbb{Z}^*$ in $\prod_p \mathbb{F}_p/\mathcal{U}$ (or pseudo-finite fields)
There is no first-order definable subring of the ultraproduct $\Pi\_p\mathbb{F}\_p/U$ satisfying the theory of $\mathbb{Z}$. Indeed, every definable subset of $\Pi\_p\mathbb{F}\_p/U$ containing $1$ and closed under addition is the whole of $\Pi\_p\mathbb{F}\_p/U$, regardless of the complexity of the definition. To see this, suppose that $R\subset \Pi\_p\mathbb{F}\_p/U$ is closed under addition, contains $1$ and $x\in R\iff \Pi\_p\mathbb{F}\_p/U\models \varphi(x)$. Every such $x$ has the form $x=[f]\_U$, for a function $f$ for which $f(p)\in \mathbb{F}\_p$. For example, the $1$ of $\Pi\_p\mathbb{F}\_p/U$ is represented by the constant function $f(p)=1$. Since $\Pi\_p\mathbb{F}\_p/U\models\varphi(1)$, it follows by the Los theorem on ultraproducts that $U$-almost every $\mathbb{F}\_p\models \varphi(1)$. Since $R$ is closed under addition, it follows again by Los that $U$-almost every $\mathbb{F}\_p$ satisfies that the extension of $\varphi$ is closed under addition. Putting these two facts together, it follows for the $\mathbb{F}\_p$ that satisfy both $\varphi(1)$ and the assertion that $\varphi$ is closed under addition, that they each also satisfy $\varphi(2)$ and $\varphi(3)$ and so on. Thus, in fact, they each satisfy $\forall n\varphi(n)$. Thus, by the Los theorem again, we get that $\Pi\_p\mathbb{F}\_p/U\models\forall x\varphi(x)$, and so $R$ is the whole of $\Pi\_p\mathbb{F}\_p/U$. 


The argument also works just the same when the definition has parameters. 


