Which elements of ${\bf Z}$ are definable without parameters in ${\bf Z}$?

102 Views Asked by At

Consider ${\bf Z}$ as a first-order structure in the language $(0, +, -)$ of Abelian groups.

Which elements of ${\bf Z}$ are definable without parameters?

I think only 0 is, because there is no way to distinguish between x and -x.