The questions in model theory I am trying to tackle is: Show that there is a countable model of $Th(\langle \mathbb{R};+,.,-,-,1,< \rangle) $ which is non archimedean.
Honestly i dont really know what to do, i read in another stack exchange post that Th(R) is the set of all true first order sentences in the standard language that hold in the model R. Next, you notice that the standard language is itself countable and thus, applying Lowenheim-Skolem, you conclude that a countable model exists.
So i suppose that deals with countability, but what about the non archimedean property?
We use Compactness and Lowenheim-Skolem.
Let $T$ be the set of sentences in our language $L$ that are true in the reals. Produce a new language $L'$ by adding the constant symbol $c$ to $L$. Produce a new theory $T'$ by adding to $T$ the axioms $1\lt c$, $1+1\lt c$, $1+1+1\lt c$, and so on. (We have left out some parentheses.)
Then any finite subset $F$ of $T'$ is consistent, since if the "largest" new axiom in $F$ is $n\lt c$, then we can produce a model of $F$ by letting the underlying set be the reals, and interpreting $c$ to be a large enough integer. So $T'$ is consistent, and therefore has a countable model by Lowenheim-Skolem. This is a countable non-Archimedean model of $T$.