Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

So I've been contemplating this question and I'm not sure if I'm overthinking it or not. Tell me if this is accurate: To prove that Th(R) (Theory of Reals: all true sentences in the language <0,1,+,X,less than or equal to>) has a countable model, I first need to prove that a model exists(so I need to prove the this via compactness?), following that, I simply apply the Lowenheim-Skolem theorem in order to prove that Th(R) has a countable model. Is this correct? Or am I missing something here?

Any help is much appreciated.

share|improve this question
add comment

1 Answer

Basically you are right, with a few remarks. You don't need to prove that a model of $Th(\mathbb {R})$ exists. By definition $Th(\mathbb {R})$ is the set of all true first order sentences in the standard language that hold in the model $\mathbb {R}$. Next, you notice that the standard language is itself countable and thus, applying Lowenheim-Skolem, you conclude that a countable model exists.

share|improve this answer
add comment

Your Answer

 
discard

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.