Is $(\mathbb{Q},<)$ elementary equivalent to $(\mathbb{R},<)$?

65 Views Asked by At

I'm looking at those models over the language $\{<\}$. For the case of $L=\{+\}$ there's already an answer here.

1

There are 1 best solutions below

1
On

Yes. The theory of dense linear orders without endpoints is complete, and both $(\mathbb{Q}, <)$ and $(\mathbb{R}, <)$ are models of this theory.