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

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

  • 3
    $\begingroup$ 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? $\endgroup$ – hardmath Mar 17 '11 at 17:38

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}$.

  • $\begingroup$ 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 $+$. $\endgroup$ – Apollo Mar 17 '11 at 17:54
  • $\begingroup$ I had forgotten Marker uses $\equiv$ for elementary equivalence. Editing. $\endgroup$ – Chris Eagle Mar 17 '11 at 18:02
  • $\begingroup$ No complaints with that one. $\endgroup$ – Apollo Mar 17 '11 at 18:12
  • $\begingroup$ Thank you very much for your fast response. $\endgroup$ – Sumac Mar 17 '11 at 18:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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