2
$\begingroup$

Assume we have two objects $M_1$ and $M_2$ models of respective $L_{\omega_1,\omega}$-sentences $\Sigma_1$ and $\Sigma_2$. Assume $M_1$ and $M_2$ are elementarily equivalent in some model of set theory. Is this property (of being elementarily equivalent) absolute between models of set theory?

Edit: Is the following argument correct: $$\forall \varphi \in L (M_1 \models \varphi \leftrightarrow M_2 \models \varphi)$$ so elementary equivalence is a $\Pi^1_1$-sentence so it must be absolute?

$\endgroup$

1 Answer 1

3
$\begingroup$

When the structures $M_1$ and $M_2$ are countable and the language is countable and you only want to compare the elementary equivalence between models of set theory having the same countable ordinals, then your argument is correct. Satisfying a given formula is uniformly $\Delta_1$, since you can quantify over the (unique) Tarskian satisfaction predicate, and so saying that the two structures satisfy exactly the same sentences is $\Pi^1_1(M_1,M_2)$ and hence absolute between models of set theory having the same countable ordinals.

In the most general case, however, the statement is not correct. To see this, suppose that we have an $\omega$-nonstandard model of set theory $W$, and inside $W$, we can have two structures $M_1$ and $M_2$ that have the same $\Sigma_n$ theory, for some nonstandard $n$, but are not fully elementary equivalent inside $W$. We can easily arrange this situation by the compactness theorem, or via ultrapowers, etc. Meanwhile, because $n$ was nonstandard, in the set-theoretic background universe $V$, or indeed in any $\omega$-standard model of set theory containing $M_1$ and $M_2$, the structures will be elementarily equivalent, since the disagreement didn't appear until a nonstandard stage. So different models of set theory can disagree about whether two fixed structures are elementarily equivalent.

$\endgroup$
2
  • $\begingroup$ Thank you very much. If we assume that we are dealing with the real world and the model obtained by forcing $\mathcal{M}[G]$ that appears in Solovay's paper on Lebesgue measurability, will my reasoning be correct? $\endgroup$
    – user38200
    Oct 14, 2013 at 13:09
  • $\begingroup$ Yes. In that situation, you can apply the argument even to uncountable models $M_1$ and $M_2$, since one can reduce to the countable case by going to countable elementary substructures in the ground model. $\endgroup$ Oct 14, 2013 at 13:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.