Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I cannot figure out the solution to this exercise in Marker. Can someone help me?

$(Z \oplus Z, +, 0) \not\equiv (Z, +, 0)$

share|cite|improve this question
It's hard to tell without the text what the question is. Perhaps the problem is to show these models are not first-order equivalent in the language of + with identity 0, i.e. to find a first-order sentence satisfied in one but not the other model? – hardmath Mar 17 '11 at 17:38
up vote 10 down vote accepted

EDIT: The sentence $\exists z \forall y \exists x (x+x=y \vee x+x+z=y)$ is true in $\mathbb{Z}$ but not in $\mathbb{Z} \oplus \mathbb{Z}$.

share|cite|improve this answer
Elementary equivalence is not the same thing as isomorphism, so this is not sufficient. (Two structures need not even be the same cardinality to be elementarily equivalent.) It is not clear that the assertion that a monoid is generated by a single element is expressible in a first-order sentence in the language with $0$ and $+$. – Apollo Mar 17 '11 at 17:54
I had forgotten Marker uses $\equiv$ for elementary equivalence. Editing. – Chris Eagle Mar 17 '11 at 18:02
No complaints with that one. – Apollo Mar 17 '11 at 18:12
Thank you very much for your fast response. – Sumac Mar 17 '11 at 18:17

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.