3
$\begingroup$

Consider sentences in first-order logic which are true of the structure $(\mathbb R, +, \cdot, <, 0, 1)$, where the symbols have their usual meaning. Is every such sentence also true of $(\mathbb A, +, \cdot, <, 0, 1)$, where $\mathbb A$ is the set of algebraic real numbers?

$\endgroup$
4
$\begingroup$

Yes.

The reason is that the two fields are models of the complete theory of Real-Closed Fields. One of the characterization of real-closed fields is that their algebraic closure is an extension of degree $2$, which is clearly true for both fields.

$\endgroup$

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.