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
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 


There is no firstorder 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. 

