Suppose $T$ is a firstorder theory whose signature contains $(+,\cdot,0,1,<)$ as well as a unary predicate $R(x)$. Suppose every finite subset $S \subseteq T$ has a model in which the set of elements satisfying $R(x)$ forms a substructure isomorphic to the field of real numbers. Does it follow that $T$ itself has a model in which the set of elements satisfying $R(x)$ forms a substructure isomorphic to the field of real numbers?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
No. Suppose the signature of T contains a distinguished symbol $\omega$, and $T$ contains the statements $R(\omega)$ and the infinitely many statements $1+\cdots+1<\omega$. Then any finite subset of $T$ has a model where $R$ is isomorphic to the reals and $\omega$ is interpreted as some large enough real. But in any model of the entire theory $T$, $\omega$ has to be interpreted as something larger than any real number. 


No. Just let the signature contain lots (more than cardinality continuum) of constants and let the axioms of T be that all the constants are different and R holds for all of them. 

