17
$\begingroup$

I just started learning model theory on my own, and I was wondering if there are any interesting examples of two structures of a language L which are not isomorphic, but are elementarily equivalent (this means that any L-sentence satisfied by one of them is satisfied by the second).

I am using the notaion of David Marker's book "Model theory: an introduction".

5 Answers 5