Prove elementary amalgamation theorem in model theory.

Restate the proposition

Suppose $\mathcal{M}_0$, $\mathcal{M}_1$, and $\mathcal{M}_2$ are $\mathcal{L}$-structures and $j_i ~:~ \mathcal{M}_0 \rightarrow \mathcal{M}_i, ~(i = 1,2)$ is an elementary embedding. Show that there is an $\mathcal{L}$-structure $\mathcal{N}$ and elementary embeddings $f_i ~:~ \mathcal{M}_i \rightarrow \mathcal{N}$ so that $f_1 \circ j_1 = f_2 \circ j_2$.

Current Thoughts

Since $j_1$ and $j_2$ are elementary embeddings, we have for all $\mathcal{L}$-formula $\phi(a_1,\ldots,a_n)$ and for all $a_1,\ldots,a_n \in \mathbb{M}_0$: \begin{align*} \mathcal{M}_0 \models \phi(a_1,\ldots,a_n) &\iff \mathcal{M}_1 \models \phi(j_1(a_1),\ldots,j_1(a_n)),\\ \mathcal{M}_0 \models \phi(a_1,\ldots,a_n) &\iff \mathcal{M}_2 \models \phi(j_2(a_1),\ldots,j_2(a_n)).\\ \end{align*}

Now suppose we have elementary embeddings $f_1 : \mathcal{M}_1 \rightarrow \mathcal{N}_1$ and $f_2 : \mathcal{M}_2 \rightarrow \mathcal{N}_2$ so that \begin{align*} \mathcal{M}_1 \models \phi(j_1(a_1),\ldots,j_1(a_n)) &\iff \mathcal{N}_1 \models \phi((f_1 \circ j_1) a_1,\ldots,(f_1 \circ j_1) a_n),\\ \mathcal{M}_2 \models \phi(j_2(a_1),\ldots,j_2(a_n)) &\iff \mathcal{N}_2 \models \phi((f_2 \circ j_2) a_1,\ldots,(f_2 \circ j_2) a_n). \end{align*}

We need to prove that $\mathcal{N}_1 \equiv \mathcal{N}_2$.

Problems

First, could someone confirm if my current train of thought is correct? Specifically, is it fair to assume there is some elementary embeddings $f_1$ and $f_2$? And is it correct to say $\mathcal{N}_1$ and $\mathcal{N}_2$ are elementarily equivalent? Which entails isomorphism?

Finally, how should I proceed from this point on? It seem all I've done is restated the proposition $f_1 \circ j_1 = f_2 \circ j_2$ using more words ...

About you thoughts. What you're doing is merely vacuous. For any elementary embeddings $f_i \colon \mathcal M_i \to \mathcal N_i$, you will have $\mathcal N_1 \equiv \mathcal N_2$ : indeed $$\mathcal N_1 \equiv \mathcal M_1 \equiv \mathcal M_0 \equiv \mathcal M_2 \equiv \mathcal N_2.$$

What is very wrong is to think that it implies $\mathcal N_1 \simeq\mathcal N_2$. You can have elementary equivalent structure with even different cardinals ! (Think of $\mathbb Q$ and $\mathbb R$ as fields for example.) Even more striking : if your statement was true (elementary equivalence implies isomorphism), then $\mathcal M_1$ would be isomorphic to $\mathcal M_2$, and the exercise trivial…

What you should do. I give you the guide lines. Let $\mathcal L_+$ be the language $\mathcal L$ augmented by constants symbols $c_m$ for any $m \in M_1 \sqcup_{M_0} M_2$ (this set is the disjoint union of $M_1$ and $M_2$ where elements $j_0(x)$ and $j_1(x)$ are identified). Then all you have to do is to show that the $\mathcal L_+$-theory $$\operatorname{Th}(\mathcal M_1,M_1) \cup \operatorname{Th}(\mathcal M_2,M_2)$$ is consistent. (Be sure you understand why !)

To do so, use the compactness theorem. Take $\mathcal L$-formulas $\phi(\bar x)$ and $\psi(\bar y)$ such that there exists tuples $\bar m_1$ in $M_1$ and $\bar m_2$ in $M_2$ satisfying $$\mathcal M_1 \models \phi(\bar m_1), \qquad \mathcal M_2 \models \psi(\bar m_2).$$ Now, can you find a formula with parameters in $M_0$ only, depending on $\psi$, that is satisfied by $\mathcal M_2$ (Hint : the formula is a sentence beginning by $\exists$) ? What about the satisfiability of this formula in $\mathcal M_1$ ?

Conclude that $\mathcal M_1$ models $\phi(\bar x)\wedge \psi(\bar y)$ by giving an ad hoc interpretation of the constant $c_m$.

Edit. Due to your comment, I will clarify a few things.

First, for any $\mathcal L$-structure $\mathcal M$ and subset $A \subseteq M$, the theory $\operatorname{Th}(\mathcal M,A)$ is the theory of $\mathcal M$ with parameters in $A$. It is defined as follow : construct the language $\mathcal L_A := \mathcal L \cup \{c_a : a\in \mathcal A\}$ ; now define $\operatorname{Th}(\mathcal M,A)$ as the $\mathcal L_A$-theory $$\{ \varphi(\bar c_a) : \mathcal M \models \varphi(\bar a) \}.$$ (In other words, extend $\mathcal M$ in a $\mathcal L_A$-structure by interpreting each $c_a$ as $a$, then $\operatorname{Th}(\mathcal M,A) = \operatorname{Th}(\mathcal M_A)$.) Notably, you can apply this with $A=M$. I think the theory $\operatorname{Th}(\mathcal M,M)$ is sometimes called the complete diagram of $\mathcal M$.

Then, you need to see/prove/convince yourself/whatever that a $\mathcal N$ is a elementary extension of $\mathcal M$ precisely when $$\operatorname{Th}(\mathcal N,M) = \operatorname{Th}(\mathcal M, M).$$ (This is merely the definition of an elementary extension.) Now you should understand the relevance of the theory I've introduced in the guide lines.

Finally, let me explicit a bit more the notation $M_1\sqcup_{M_0} M_2$. This has nothing to do with model theory. Take sets $A,B,C$ with $f \colon A \to B$ and $g\colon A\to C$ two functions : the set $B\sqcup_A C$ ($f,g$ are implicit in this notation) is the quotient set $$B \sqcup C \big/ {\sim}$$ where $\sim$ is generated by $f(a) \sim g(a),\forall a \in A$. When $f$ and $g$ are injections as in your example, it is easy to understand this set : there is a copy of $A$ in $B$ and in $C$ ; take the disjoint union of $B$ and $C$ and glue together the elements of the first copy of $A$ with the corresponding element in the second copy ; your done.

• I have seen the notation for complete theory of $\mathcal{M}$: $Th(\mathcal{M})$, is that the same thing as $Th(\mathcal{M},\mathbb{M})$? And could you explain why this is relevant? – chibro2 Feb 5 '15 at 14:39
• Furthermore, may I ask you to expand the notation $m \in \mathbb{M}_1 \sqcup_{\mathbb{M}_o} \mathbb{M}_2$? Does $\sqcup_{\mathbb{M}_o}$ refer to "take only the elements where $j_i(x)$ (i=0,1) is defined"? And is $m$ the index of constant c? ie $c_m$ = (c,m)? – chibro2 Feb 5 '15 at 15:32
• @chibro2 I edited to explain certain things. Do you understand better now ? – Pece Feb 6 '15 at 6:35
• Of course, we will have to restrain our model $\mathcal N^+$ to the initial language $\mathcal L$ to answer the problem. That wasn't my question though. I asked how you can reasonably define $f_1$ : for $m_1 \in M_1$, you need to define its image $f_1(m_1)$ in $N$ (the underlying set of $\mathcal N^+$). What can it be ? – Pece Feb 6 '15 at 17:57
• Except you need to define $f_1$, so you can't use it in the definition ! But that is the idea : you want $f_1(m_1)$ to be the interpretation of $c_{m_1}$ in $\mathcal N$. Oh wait, I think I just gave a definition for $f_1$… ;) DO the same for $f_2$, verify they are in fact elementary maps and conclude by showing that they respect $f_1j_1=f_2j_2$. From there, you really have to do it alone ! – Pece Feb 6 '15 at 18:26