New posts in Definability

Define $\mathbb{N}$ in the ring $\mathbb{Z}$ without Lagrange's theorem

Is factorial definable using a $\Delta_0$ formula?