Ejercicios para entregar (LÓGICA MATEMÁTICA) - SABADO 23 de mayo (hasta las 23:59 horas).

SEGUIR LAS MISMAS REGLAS EXIGIDAS PARA LOS ANTERIORES TALLERES.

• Demuestre que $Grafo(+):=\{(m,n,l)\in \mathbb{Z}^3: m+n=l\}$ no es definible en $\mathcal{M}:=(\mathbb{Z},\cdot)$.
• Demuestre que toda $L$-teoría $T$ consistente se puede extender a una $L$-teoría $T'\supset T$ completa.
• Dada una $L$-teoría $T$ completa y Henkin, demuestre que la interpretación de los símbolos del lenguaje $L$ en la Henkinización $\mathcal{M}_T$ están bien definidas.
• Demuestre que dada una $L$-estructura $\mathcal{M}$, si $\mathcal{N}\models Diag_{el}(\mathcal{M})$ entonces existe una $L$-inmersión elemental $f:\mathcal{M}\stackrel{\prec}{\to} \mathcal{N}$.