Professional Documents
Culture Documents
Universidad de Sevilla
Teorı́a de Modelos
Curso 2005–2006
Contenido
I. Subestructuras y Diagramas 3
1. Subestructuras elementales . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.A. Inmersiones y subestructuras elementales . . . . . . . . . . . . . 3
1.B. Cadenas de estructuras . . . . . . . . . . . . . . . . . . . . . . . 7
2. Diagramas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.A. Diagramas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.B. Los teoremas de Löwenheim–Skolem . . . . . . . . . . . . . . . 10
3. Aplicaciones: Órdenes totales discretos . . . . . . . . . . . . . . . . . . 12
3.A. Órdenes totales discretos . . . . . . . . . . . . . . . . . . . . . . 12
3.B. Caracterización de modelos de OTDisc() . . . . . . . . . . . . . 14
3.C. Extensiones elementales de modelos de OTDisc() . . . . . . . . 15
4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
i
II Contenido
B Modelos de la Aritmética 71
V. Fragmentos de la Aritmética 91
1. El teorema de Paris–Kirby . . . . . . . . . . . . . . . . . . . . . . . . . 91
1.A. Inducción, Colección y Minimización . . . . . . . . . . . . . . . 91
1.B. El teorema de Paris-Kirby . . . . . . . . . . . . . . . . . . . . . 93
1.C. Axiomaticidad de fragmentos de la Aritmética . . . . . . . . . . 99
2. Overspill . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
3. Extensiones de modelos de la Aritmética . . . . . . . . . . . . . . . . . 104
3.A. Extensiones n–elementales . . . . . . . . . . . . . . . . . . . . . 104
3.B. Extensiones cofinales . . . . . . . . . . . . . . . . . . . . . . . . 106
3.C. Extensiones finales . . . . . . . . . . . . . . . . . . . . . . . . . 108
3.D. El teorema splitting . . . . . . . . . . . . . . . . . . . . . . . . . 108
4. Elementos n–definibles . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.A. Las estructuras Kn (A, X), In (A, X) . . . . . . . . . . . . . . . . 111
4.B. Fórmulas especiales . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.C. IΣn+1 |=⇒ BΣn+1 |=⇒ IΣn . . . . . . . . . . . . . . . . . . . . . 113
5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
1
Capı́tulo I
Subestructuras y Diagramas
§1 Subestructuras elementales
3
4 1. Subestructuras elementales
Notas I.1.3.
(a) Si Γ es cerrado bajo negaciones, entonces A ≺Γ B si y sólo si para toda fórmula
ϕ(x1 , . . . , xn ) ∈ Γ y a1 , . . . , an ∈ A,
A ² ϕ(a1 , . . . , an ) ⇐⇒ B ² ϕ(a1 , . . . , an ).
Un resultado análogo se tiene para morfismos.
(b) Sea F : A −→ B. Observemos que:
F :A≺ e B ⇐⇒ F (A) ≺ B.
(c) A ≺ B =⇒ A ⊂ B y A ≡ B.
Proposición I.1.4.
(a) e At B.
F : A ' B ⇐⇒ F : A ≺
(b) F :A⊂ e B ⇐⇒ F : A ≺
e ∀0 B.
(c) A ⊂ B ⇐⇒ A ≺∀0 B.
(d) A ≺ B ⇐⇒ A ≺Form B.
(e) F :A≺ e B ⇐⇒ F : A ≺
e Form B.
Proposición I.1.6.
(a) Si A ≺ B y B ≺ C, entonces A ≺ C.
6 1. Subestructuras elementales
(b) Si A ≺ B, C ≺ B y A ⊂ C, entonces A ≺ C.
Demostración: Ejercicio. ¥
Ejemplos I.1.7. Sea LO el lenguaje de primer orden cuyo único sı́mbolo no lógico es
el predicado binario <. Sean N, Z y Q las siguientes estructuras:
½
Universo: ω;
(–) N =
<N : relación de orden usual entre números naturales.
½
Universo: Z, números enteros;
(–) Z =
<Z : relación de orden usual entre números enteros.
½
Universo: Q, números racionales;
(–) Q =
<Q : relación de orden usual entre números racionales.
Sea N0 la subestructura de N cuyo universo es el conjunto ω − {0}. Sea Z0 la sube-
structura de Z de universo Z − {0}. Sea Q0 la subestructura de Q de universo Q − {0}.
Se tiene que:
(a) N0 6≺ N.
En efecto, N0 ² ∀y (1 ≤ y). Es decir, 1 ∈ ω es el primer elemento de N0 . Sin
embargo, N 6² ∀y (1 ≤ y) (el menor elemento de N es 0).
(b) N ≡ N0 .
En efecto, la aplicación F : ω −→ ω − {0}, definida por F (n) = n + 1, es un
isomorfismo de N en N0 . Por tanto, N ≡ N0 .
(c) Es evidente que, N ⊂ Z. Sin embargo, N 6≺ Z.
En efecto, N ² ∃x ∀y (x ≤ y) (N tiene primer elemento) y Z 6² ∃x ∀y (x ≤ y) (Z
no tiene primer elemento). Es decir, N 6≡ Z. Por tanto, N 6≺ Z.
(d) Z0 6≺ Z.
En efecto, Z ² ∃y (−1 < y < 1) y Z0 6² ∃y (−1 < y < 1).
(e) Q ≡ Q0 .
Pues Q, Q0 ² OTD() y OTD() es completa.
Notas I.1.8.
(a) Determinar si N ≺∃1 Z, N ≺∀1 Z, N ≡∃1 Z.
(b) Identificando Z con la primera copia de Z +Z tenemos que Z ⊂ Z +Z. Analoga-
mente temenos N ⊂ N + N y N ⊂ N + Z. (Ver I.3.7-(a) para la definición de
Z + Z, etc). Determinar si
(b.1) Z ≺ Z + Z.
(b.2) N ≺ N + N.
(b.3) N ≺ N + Z.
(c) Determinar si Q0 ≺ Q.
(a) A ≺ B.
(b) Para toda fórmula ϕ(x, ~z) y ~a ∈ A,
B ² ∃x ϕ(x, ~a) =⇒ ∃a0 ∈ A, B ² ϕ(a0 , ~a).
Notas I.1.12.
(a) La definición de la interpretación de los sı́mbolos de funciones y predicados dada
en I.1.11 no depende del j ∈ ω elegido.
S
(b) En las condiciones de la definición I.1.11, para todo j ∈ ω, Aj ⊂ An .
(c) Si la cadena es elemental, entonces para todo i < j, Ai ≺ Aj .
§2 Diagramas
2.A Diagramas
Se tienen los siguientes resultados cuyas pruebas son consecuencia inmediata de las
definiciones. Estos resultados caracterizan ciertas propiedades de tipo semántico (sub-
estructuras, inmersión elemental, etc) mediante teorı́as de primer orden (diagramas).
Nota I.2.6.
(a) Si B0 ² D(A), entonces podemos suponer, sin perdida de generalidad, que A ⊂
B0|L .
(b) Sin embargo, si B0 ² D(A1 ) + D(A2 ), no es posible, en general, suponer que
A1 ⊂ B0|L y A2 ⊂ B0|L .
Los resultados anteriores, aunque fáciles de probar, tienen gran importancia en Teorı́a
de Modelos. Vamos a probar algunos resultados cuya demostración hace uso de diagra-
mas. Esto servirá para familiarizarse con el manejo de este concepto.
10 2. Diagramas
(–) OT.
(–) x < y → ∃z (x < z ∧ z < y).
(–) ∃x ∃x0 (x < y < x0 ).
Demostración: Ejercicio. ¥
Proposición I.3.6. Para todo cardinal infinito κ, las teorı́as OTDisc() , OTDisc[) y
OTDisc(] no son κ–categóricas.
Demostración: Ejercicio. ¥
14 3. Aplicaciones: Órdenes totales discretos
Proposición I.3.8.
(a) Si A, B ² OT, entonces A + B, A · B, A∗ ² OT.
(b) Si A ∼
= A0 y B ∼
= B0 , entonces A + B ∼
= A0 + B 0 y A · B ∼
= A0 · B 0 .
(c) Si A ∼
= B, entonces A∗ ∼= B∗ .
Demostración: Ejercicio. ¥
Ejemplos I.3.9.
(a) Recordemos que Z = hZ, <Z i. Donde Z es el conjunto de los números enteros y
<Z es la relación de orden usual entre números enteros.
Se tiene que Z ² OTDisc() .
(b) Recordemos que N = hω, <N i. Donde ω es el conjunto de los números naturales
y <N es la relación de orden usual entre números naturales.
Se tiene que: N ² OTDisc[) y N∗ ² OTDisc(] .
(c) Z ∼
= N∗ + N.
Nota I.3.12. Resultados análogos se tienen para las teorı́as OTDisc[) y OTDisc(] .
(a) Sea A ² OTDisc[) . Entonces se tiene una de las siguientes posibilidades:
(a.1) A ∼
= N.
(a.2) Existe B ² OT tal que A ∼= N + Z · B.
(]
(b) Sea A ² OTDisc . Entonces se tiene una de las siguientes posibilidades:
(b.1) A ∼= N∗ .
(b.2) Existe B ² OT tal que A ∼ = Z · B + N∗ .
(a) A ≺ A() .
(b) Para cualesquiera a1 , a2 ∈ A tales que
(–) a1 < a2 y a1 6∼ a2 ,
existe b ∈ A() tal que
(–) a1 < b < a2 y a1 6∼ b 6∼ a2 .
(c) Para todo a ∈ A existen d, e ∈ A() tales que
(–) d < a < e y d 6∼ a 6∼ e.
Lo anterior prueba que dos modelos numerables cualesquiera de OTDisc() son elemen-
talmente equivalentes. Por tanto, OTDisc() es completa. ¥
Teorema I.3.19.
(a) OTDisc[) es completa.
(b) OTDisc(] es completa. ¥
§4 Ejercicios
Ejercicio I.4.4. (I.3.6). Para todo cardinal infinito κ, las teorı́as OTDisc() , OTDisc[)
y OTDisc(] no son κ–categóricas.
Capı́tulo I. Subestructuras y Diagramas 19
Ejercicio I.4.6. Sea λ un cardinal infinito. Probar que existe A ² OTD() tal que:
(a) card(A) = λ.
(b) Para cualesquiera a, b ∈ A tales que a < b
card({c ∈ A : a < c < b}) = λ.
Ejercicio I.4.8. Sea A ² Th(NS ) no estándar tal que para todo n ∈ ω existe m > n
tal que A ² ϕ(Sm (0)). Probar que existe a ∈ A no estándar tal que A ² ϕ(a).
(a) Probar que si para todo A ² T1 existe una expansión de A a L(T2 ), B, tal que
B ² T2 , entonces T2 =⇒c T1 .
(b) Probar que las condiciones siguientes son equivalentes:
(b.1) T2 =⇒c T1 .
(b.2) Para todo A ² T1 existe B ² T2 tal que A ≺ B|L(T1 ) .
(c) Sea C = {cn : n ∈ ω} un conjunto de constantes. Consideremos las teorı́as
½
Lenguaje: {cn : 0 < n};
T=
Axiomas: ci 6= cj , 0 < i < j.
½
0 Lenguaje: {cn : n ∈ ω};
T =
Axiomas: ci 6= cj , i 6= j.
Probar que T0 =⇒c T0 .
(d) Probar que no es cierto el recı́proco de (a).
20 4. Ejercicios
Ejercicio I.4.10. Sea T una teorı́a de lenguaje L. Sea Th∀1 (T) la teorı́a
½
Lenguaje: L;
Th∀1 (T) =
Axiomas: {ϕ ∈ ∀1 : T ` ϕ}.
(a) Sea A una estructura. Probar que las condiciones siguientes son equivalentes:
(a.1) Existe B ² T tal que A ⊂ B.
(a.2) A ² Th∀1 (T).
(b) Sea ϕ(~x) una fórmula. Diremos que ϕ(~x) ∈ Tua si para cualesquiera A, B ² T
tales que A ⊂ B y ~a ∈ A
B ² ϕ(~a) =⇒ A ² ϕ(~a).
Probar que:
(b.1) Si ϕ(x1 , . . . , xn ) ∈ T↑ , entonces Tϕ es inconsistente. Donde
Tϕ = T + {c1 , . . . , cn } + ¬ϕ(c1 , . . . , cn ) + Th∀1 (T + ϕ(c1 , . . . , cn )).
Donde c1 , . . . , cn son nuevas constantes.
(b.2) Son equivalentes:
(i) ϕ(~x) ∈ T↑ .
(ii) Existe ψ(~x) ∈ ∀1 tal que T ` ϕ(~x) ↔ ψ(~x).
Modelo Completitud
§1 Eliminación de cuantificadores
Definición II.1.1.
(a) Una teorı́a T admite eliminación de cuantificadores si para toda ϕ ∈ Form(T)
existe ψ ∈ ∀0 tal que T ` ϕ ↔ ψ
(b) Sea ϕ ∈ Form(T). Diremos que T decide a ϕ si T ` ϕ ó T ` ¬ϕ.
Lema II.1.2. Si T decide a toda fórmula atómica cerrada, entonces T decide a toda
fórmula cerrada de ∀0 .
21
22 1. Eliminación de cuantificadores
1 ≤ j ≤ mi ,
(–) T ` ¬σi,j .
Por tanto, T ` ¬ψi . En consecuencia, T ` ¬ϕ.
Lo que prueba el lema. ¥
Demostración: Sea ϕ una fórmula cerrada de T. Por (i) existe ψ ∈ ∀0 tal que
(–) T ` ϕ ↔ ψ.
Sea c un sı́mbolo de constante de T, que existe por (ii). Sea ψ 0 la fórmula que se
obtiene de ψ sustituyendo todas sus variables libres por la constante c. Entonces
(–) T ` ϕ ↔ ψ 0 .
Puesto que ψ 0 ∈ ∀0 y es cerrada, por (iii) y el lema II.1.2, T ` ψ 0 ó T ` ¬ψ 0 . Por
tanto, T ` ϕ ó T ` ¬ϕ. En consecuencia, T es completa. ¥
∗
Definición II.1.4. ∃1 = {∃x ψ : ψ ∈ ∃0 }.
Por tanto,
T ` ∃x ψ ↔ ψi ∨ . . . ∨ ψn .
En consecuencia,
T ` ϕ ↔ ψi ∨ . . . ∨ ψn .
Puesto que ψ1 ∨ . . . ∨ ψn ∈ ∀0 esto prueba (b).
((b) =⇒ (c)): Por inducción sobre la longitud de ϕ probaremos que existe ψ ∈ ∀0 tal
que T ` ϕ ↔ ψ.
Caso 1: ϕ atómica. En este caso basta tomar ψ como ϕ.
Caso 2: ϕ es θ1 ∨ θ2 . Sean ψ1 , ψ2 ∈ ∀0 tales que T ` θ1 ↔ ψ1 y T ` θ2 ↔ ψ2 . Entonces
T ` θ1 ∨ θ2 ↔ ψ1 ∨ ψ2 . Por tanto, T ` ϕ ↔ ψ1 ∨ ψ2 . Puesto que ψ1 ∨ ψ2 ∈ ∀0 esto
prueba el resultado.
Caso 3: ϕ es ¬θ. Sea ψ ∈ ∀0 tal que T ` θ ↔ ψ. Entonces T ` ¬θ ↔ ¬ψ. Es decir,
T ` ϕ ↔ ¬ψ. Como ¬ψ ∈ ∀0 esto prueba el resultado.
Caso 4: ϕ es ∃x θ. Sea θ0 ∈ ∀0 tal que T ` θ ↔ θ0 . Entonces T ` ∃x θ ↔ ∃x θ0 . Puesto
∗
que ∃x θ0 ∈ ∃1 , de (b) se sigue que existe ψ ∈ ∀0 tal que T ` ∃x θ0 ↔ ψ. Por tanto,
T ` ϕ ↔ ψ. Lo que prueba el resultado.
((c) =⇒ (a)): Trivial. ¥
§2 Modelo completitud
Definición II.2.1. Sea T una teorı́a. Diremos que T es modelo completa si para todo
A ² T, T + D(A) es completa.
Notas II.2.2.
(a) Sea T una teorı́a modelo completa.
(a.1) A ² T, B0 ² T + D(A), B = B0|L =⇒ A ≡ B.
(a.2) Sean ~c sı́mbolos de nuevas constantes. Entonces T + ~c es modelo completa.
(b) Teorı́as modelo completas no completas
(b.1) Cuerpos algebraicamente cerrados.
(b.2) Si T es modelo completa y T 0 ∀x ∀y (x = y), entonces
(–) T + c1 + c2 es modelo completa.
(–) T + c1 + c2 no es completa.
(c) Teorı́as completas no modelo completas.
(c.1) OTDisc() .
Lema II.2.3. Sea T una teorı́a que sólo tiene modelos infinitos y κ ≥ card(T). Son
equivalentes:
(a) T es modelo completa.
26 2. Modelo completitud
Teorema II.2.4. Sea T una teorı́a. Las condiciones siguientes son equivalentes:
(a) T es modelo completa.
(b) Para cualesquiera A, B ² T si A ⊂ B, entonces A ≺ B.
(c) Para toda fórmula, ϕ, de T existe ψ ∈ ∀1 tal que T ` ϕ ↔ ψ.
(d) Para toda fórmula, ϕ, de T existe ψ ∈ ∃1 tal que T ` ϕ ↔ ψ.
Demostración: Primero veamos que (c) ⇐⇒ (d). Supongamos que se tiene (c). Sea
ϕ una fórmula. Por hipótesis existe ψ ∈ ∀1 tal que T ` ¬ϕ ↔ ψ. Por tanto,
T ` ϕ ↔ ¬ψ.
§3 Aplicaciones
Lema II.3.2. Las teorı́as OTD[) , OTD(] y OTD[] no son modelo completas.
Se tiene que:
(–) A, B ² OTD[) .
(–) A ⊂ B.
(–) A 6≺ B. En efecto, A ² ∀x (1 ≤ x) y B ² ¬∀x (1 ≤ x).
En consecuencia, OTD[) no es modelo completa. De forma análoga se prueba que las
teorı́as OTD(] y OTD[] no son modelo completas. ¥
Demostración: Haremos la prueba para T1 . Los restantes casos son análogos. Por
II.2.3 es suficiente probar que si A, B son modelos numerables de T1 con A ⊂ B,
entonces A ≺ B. En efecto, sean a1 < . . . < an ∈ A. Se tiene que:
Aserto II.3.3.1. Existe F : A ∼
= B tal que F (ai ) = ai , i = 1, . . . , n.
Prueba del aserto: Dividimos la prueba en los casos siguientes:
Caso 1: a1 es el punto inicial de A. Entonces a1 = A(c1 ) = B(c1 ). Por tanto, a1
es el punto inicial de B. Luego, el aserto se sigue del teorema de Cantor.
Caso 2: a1 no es el punto inicial Sea a0 = A(c1 ). Entonces a0 < a1 < . . . < an .
Por el Caso 1 existe F : A ∼ = B tal que F (ai ) = ai , i = 0, . . . , n. Lo que prueba
el aserto. 2
Sea ϕ(x1 , . . . , xn ) una fórmula de T1 y a1 , . . . , an ∈ A. Por el aserto existe F : A ∼ =B
tal que F (ai ) = ai . Por tanto,
A ² ϕ(a1 , . . . , an ) ⇐⇒ B ² ϕ(F (a1 ), . . . , f (an ))
⇐⇒ B ² ϕ(a1 , . . . , an ).
Por tanto, A ≺ B. ¥
El resultado anterior prueba que: si A ⊂ B son modelos de OTD[) con el mismo punto
inicial, entonces A ≺ B. Un resultado análogo se tiene para las teorı́as OTD(] y OTD[] .
Nota II.3.5.
30 3. Aplicaciones
()
Definición II.3.6. (La teorı́a OTDiscS ). Sea S un sı́mbolo de función 1-ario. Defi-
nimos
()
OTDiscS = OTDisc() + S + S(x) = y ↔ ϕS (x, y).
Lema II.3.7.
()
(a) OTDiscS es una extensión por definiciones de OTDisc() .
()
(b) OTDiscS es una extensión conservativa de OTDisc() . ¥
()
Teorema II.3.8. OTDiscS es modelo completa.
()
Demostración: Para la prueba usaremos II.2.3. Sea T = OTDiscS . Sea A ² T
numerable. Veamos que T + D(A) es completa. Sean B, C modelos numerables de
T + D(A). Se tiene que:
Aserto II.3.8.1. B ≡ C.
Prueba del aserto: Sean ϕ(x1 , . . . , xn ) una fórmula de LO y a1 , . . . , an ∈ A.
Podemos suponer que si i 6= j, entonces ai 6∼ aj . En caso contrario, supuesto que
ai < aj , existe m tal que Sm m m
A (ai ) = aj . Luego, SB (ai ) = aj y SC (ai ) = aj . Por
tanto,
B ² ϕ(a1 , . . . , an ) ⇐⇒ B ² ϕ(a1 , . . . , ai , . . . , Sm (ai ), . . . , an );
B1 ≡ C1
≡ C2 [[II.3.8.1]]
≡ B2 .
entonces A ≺ B.
()
Teorema II.3.9. OTDiscS es completa.
()
Demostración: Sea T = OTDiscS . Sea Z 0 la siguiente expansión de Z a L(T).
SZ 0 (a) = a + 1.
§4 Ejercicios
Ejercicio II.4.1. (II.2.2-(a.2)). Sea T una teorı́a modelo completa tal que T 0
∀x ∀y (x = y). Entonces
(a) T + c1 + c2 es modelo completa.
(b) T + c1 + c2 no es completa.
Ejercicio II.4.4. En cada uno de los casos que siguen encontrar una fórmula ϕ de
Capı́tulo II. Modelo Completitud 33
Ejercicio II.4.7. Sea T una teorı́a. Probar que las condiciones siguientes son equiv-
alentes:
(a) T es modelo completa.
(b) Para toda fórmula ϕ ∈ ∃1 existe ψ ∈ ∀1 tal que
T ` ϕ ↔ ψ.
(c) Para cualesquiera A, B ² T si A ⊂ B, entonces A ≺∀1 B.
Ejercicio II.4.8. Sea L el lenguaje de primer orden cuyo único sı́mbolo no lógico es
el predicado binario <. Defininos los predicados binarios p y ≤ como sigue:
p(x, y) ↔ x < y ∨ y < x ∨ x = y.
x ≤ y ↔ x < y ∨ x = y.
Consideremos las siguientes teorı́as:
x 6< x, x < y ∧ y < z → x < z [[orden parcial]]
x < y → ∃z (x < z ∧ z < y) [[denso]]
(–) T0 =
¬∃x ∀y (x ≤ y), ¬∃x ∀y (y ≤ x)
∃x ∃y ¬p(x, y), ¬p(x, y) → ∀z (p(x, z) ∨ p(y, z)).
(–) T1 = T0 + ∃z ∀x p(x, z).
(–) T2 = T1 + ∃z (x < z ∧ y < z) → p(x, y).
(–) T3 = T2 + ¬∃x ∀y (p(x, y) → y ≤ x).
(–) T4 = T3 + ∃z (∀x p(x, z) ∧ ∀x (z < x → ∃y ¬p(x, y))).
Probar que:
(a) Para todo i = 0, . . . , 3, Ti+1 es una extensión propia de Ti .
34 4. Ejercicios
(b) T4 es ℵ0 -categórica.
(c) T4 es completa.
(d) T4 no es modelo completa.
(e) Sea c un sı́mbolo de constante. Sea T5 la teorı́a dada por:
½
T4 + c +
T5 =
z = c ↔ (∀x p(x, z) ∧ ∀x (z < x → ∃y ¬p(x, y)).
(e.1) Probar que T5 es modelo completa.
(e.2) Probar que T5 tiene un modelo minimal. Deducir de la anterior que T5 es
completa. Usando este resultado obtener una prueba alternativa de que T4
es completa.
Capı́tulo III
Modelos Saturados
1.A n-tipos
A lo largo de este capı́tulo sólo consideraremos modelos infinitos y teorı́as que sólo
tienen modelos infinitos sobre un lenguaje de Primer Orden L. Indicaremos con [[N]] a
los resultados cuya prueba dependa de la hipótesis de que L es numerable.
Sea L un lenguaje.
(–) Notaremos por Fn (L) al conjunto de las fórmulas de L cuyas variables libres
están contenidas en el conjunto {v1 , . . . , vn }.
(–) Sea Γ un conjunto de fórmulas. Si Γ ⊆ Fn (L), escribiremos Γ(v1 , . . . , vn ).
(–) Sea Γ un conjunto de fórmulas. El cierre conjuntivo de Γ, Γ∧ , es la menor colección
de fórmulas tal que
(–) Γ ⊆ Γ∧ , y
(–) es cerrada bajo conjunciones; es decir, ϕ1 , ϕ2 ∈ Γ∧ =⇒ ϕ1 ∧ ϕ2 ∈ Γ∧ .
35
36 1. El teorema de omisión de tipos
Definición III.1.3. Sea P(~v ) ⊆ Fn (L). Diremos que P(~v ) es un n-tipo (completo)
de T si:
(a) P(~v ) es consistente con T.
(b) P(~v ) es maximal (con respecto a ⊆) en Fn (L).
Nota III.1.4.
(a) El conjunto de los n-tipos de T lo notaremos por Sn (T).
S
(b) S(T) = n∈ω Sn (T).
(c) Sean A una L–estructura y E ⊆ A. Escribiremos
(c.1) Sn (A) = Sn (Th(A)).
(c.2) Sn (A; E) = Sn (Th(A; E)).
(d) Observemos que si A ² T, entonces Sn (A) ⊆ Sn (T).
Capı́tulo III. Modelos Saturados 37
Lema III.1.5. Si Γ(~v ) ⊆ Fn (L) es consistente con T, entonces existe P(~v ) ∈ Sn (T)
tal que Γ(~v ) ⊆ P(~v ).
Lema III.1.6. Supongamos que T sólo tiene modelos infinitos. Sea κ ≥ card(T). Para
todo P(~v ) ∈ Sn (T) existe A ² T tal que card(A) = κ y A ² P(~v ).
Lema III.1.9. Sea P(~v ) ∈ Sn (T). Existen A ² T y ~a ∈ A tales que P(~v ) = tpA (~a).
Demostración: Sea P(~v ) ∈ Sn (T). Entonces existe A ² T que realiza a P(~v ). Sea
~a ∈ A tal que A ² P(~a). Por definición de tpA (~a), P(~v ) ⊆ tpA (~a). De lo cual por el
carácter maximal de P(~v ) se sigue que tpA (~a) = P(~v ). ¥
(⇐=): En efecto,
ϕ(~v ) ∈ tpA (~a) ⇐⇒ A ² ϕ(a1 , . . . , an )
⇐⇒ (A; ~a) ² ϕ(c1 , . . . , cn )
⇐⇒ (B; ~b) ² ϕ(c1 , . . . , cn ) [[(A; ~a) ≡ (B; ~b)]]
⇐⇒ B ² ϕ(b1 , . . . , bn )
⇐⇒ ϕ(~v ) ∈ tpB (~b).
Nota III.1.12. Hasta ahora, todas las cadenas de estructuras que hemos usado en
capı́tulos anteriores eran de longitud ω. No existe ninguna razón para considerar tan
solo este tipo de cadenas. Para cada ordinal α podemos definir cadenas de estructuras
de longitud α.
Sea {Aβ : β < α} una sucesión de L–estructuras. Diremos que es una cadena si para
Capı́tulo III. Modelos Saturados 39
Definición III.1.14. Sea P(~v ) ∈ Sn (T). Diremos que P(~v ) es principal si existe
ϕ(~v ) ∈ Fn (L), que denominaremos generador de P(~v ), tal que:
(a) ϕ(~v ) es consistente con T.
(b) Para toda ψ(~v ) ∈ P(~v ), T ` ϕ(~v ) → ψ(~v ).
Sea P(~v ) ∈ Sn (T). Diremos que Γ(~v ) ⊆ Fn (T) es un conjunto de generadores de P(~v ),
y notaremos P(~v ) = hΓ(~v )i, si
(–) Γ(~v ) ⊆ P(~v ).
(–) para todo Q(~v ) ∈ Sn (T), Γ(~v ) ⊆ Q(~v ) =⇒ P(~v ) = Q(~v ).
40 1. El teorema de omisión de tipos
Lema III.1.15. Sea P(~v ) ∈ Sn (T) principal y ϕ(~v ) es un generador de P(~v ). Entonces
(a) ϕ(~v ) ∈ P(~v ).
(b) Sean A ² T y ~a ∈ A tales que A ² ϕ(~a). Entonces
(b.1) ~a satisface a P(~v ) en A.
(b.2) tpA (~a) = P(~v ).
Demostración: Sean
(–) C = {ci : i ∈ ω} un conjunto numerable de nuevas constantes.
(–) {ϕi (x) : i ∈ ω} una enumeración de todas las fórmulas de L + C cuya única
variable libre es x.
Esto es posible pues el lenguaje L + C es numerable. Por tanto, el conjunto de las
fórmulas de L + C es numerable.
(–) {~di : i ∈ ω} una enumeración de las n-tuplas de distintas nuevas constantes. Es
decir, d~i = (ci,1 , . . . , ci,n ), donde para cada j, k ≤ n si j 6= k, entonces ci,j no es
ci,k .
Por recursión sobre m ∈ ω definimos una sucesión, {Tm : m ∈ ω}, creciente de teorı́as
consistentes.
(m = 0): T0 = T + C.
(m = 1): Sea ϕ00 la fórmula
∃x ϕ0 (x) → ϕ0 (ct0 ),
Capı́tulo III. Modelos Saturados 41
Aserto III.1.17.1. Existe ψ(~v ) ∈ P(~v ) tal que T01 + ¬ψ(~d0 ) es consistente.
Prueba del aserto: En caso contrario, para toda ψ(~v ) ∈ P(~v ), T01 ` ψ(~d0 ).
Por tanto, para toda ψ(~v ) ∈ P(~v ),
(–) T0 ` ϕ0 → ψ(~d0 ).
0
Por tanto, para toda ψ(~v ) ∈ P(~v ),
T ` ∃~z δ(~v , ~z) → ψ(~v ).
Puesto que ∃~z δ(~v , ~z) es consistente con T, de lo anterior se sigue que P(~v ) es
principal. Lo cual es una contradicción. 2
Sea ψ0 (~v ) ∈ P(~v ) satisfaciendo el aserto anterior. Definimos
T1 = T0 + ¬ψ0 (~d0 ).
1
Aserto III.1.17.2. Existe ψ(~v ) ∈ P(~v ) tal que T0m+1 + ¬ψ(~dm ) es consistente.
construcción, existe ψi (~v ) ∈ P(~v ) tal que A∗ ² ¬ψi (~di ). Por tanto, A ² ¬ψi (~a).
Luego, ~a ∈ A no satisface a P(~v ) en A. 2
Lo que prueba el teorema. ¥
S
(–) T∗ = Tm .
Sea A∗ ² T∗ tal que para todo a ∈ A∗ existen infinitas constantes c ∈ C tales que
A∗ (c) = a. Entonces la reducción, A, de A∗ a L es un modelo numerable de T que
omite a cada uno de los Pi (~vni ). ¥
Sea Γ(~v ) ⊆ Fn (L) consistente con T. Diremos que Γ(~v ) es principal en T si existe
ϕ(~v ) ∈ Fn (L) consistente con T tal que para toda ψ(~v ) ∈ Γ(~v ), T ` ϕ(~v ) → ψ(~v ). Una
simple inspección de las pruebas de III.1.17 y III.1.18 muestra que los teoremas de
omisión de tipos se extienden a conjuntos que no son principales en T.
(n = 0): Sea P0 (v0 ) = tpA (a0 ). Puesto que A es atómico, P0 (v0 ) es principal. Sea
ϕ0 (v0 ) un generador de P0 (v0 ). Puesto que A ² ϕ0 (a0 ), A ² ∃v0 ϕ0 (v0 ); por tanto,
B ² ∃v0 ϕ0 (v0 ). Sea b0 ∈ B tal que B ² ϕ0 (b0 ). Entonces, tpB (b0 ) = P0 (v0 ).
Luego, (A; a0 ) ≡ (B; b0 ).
(n =⇒ n + 1): Sea Pn+1 (~v ) = tpA (a0 , . . . , an , an+1 ). Sea ϕn+1 (v0 , . . . , vn , vn+1 ) un
generador de Pn+1 (~v ). Entonces
A ² ∃vn+1 ϕn+1 (a0 , . . . , an , vn+1 ).
Por hipótesis de inducción, (A; a0 , . . . , an ) ≡ (B; b0 , . . . , bn ). Por tanto,
B ² ∃vn+1 ϕn+1 (b0 , . . . , bn , vn+1 ).
Sea bn+1 ∈ B tal que
B ² ϕn+1 (b0 , . . . , bn , bn+1 ).
Entonces tpB (b0 , . . . , bn , bn+1 ) = Pn+1 (~v ). Por tanto,
tpA (a0 , . . . , an , an+1 ) = tpB (b0 , . . . , bn , bn+1 ).
Es decir,
(A; a0 , . . . , an , an+1 ) ≡ (B; b0 , . . . , bn , bn+1 ).
Esto completa la definición de la sucesión {bn : n ∈ ω}.
Sea F : A −→ B la aplicación definida por: F (an ) = bn . Por construcción se tiene que
F :A≺ e B. Por tanto, A es primo. ¥
Demostración: ((a)): Sea P(~v /a) ∈ Sn (A; a) tal que (A; a) ² P(~v /a). Entonces
existen a1 , . . . , an ∈ A tales que
(–) P(~v /a) = tpA (a1 , . . . , an /a).
Sea
(–) P0 (~v , vn+1 ) = {ϕ(~v , vn+1 ) : ϕ(~v , a) ∈ P(~v /a)}.
Entonces P0 (~v , vn+1 ) = tpA (a1 , . . . , an , a). Por tanto, A ² P0 (~v , vn+1 ). Puesto que A es
atómico, de lo anterior se sigue que P0 (~v , vn+1 ) es principal. Sea ψ(~v , vn+1 ) un gene-
rador de P0 (~v , vn+1 ). Entonces ψ(~v , a) es un generador de P(~v /a). Por tanto, P(~v /a)
es principal, y en consecuencia, (A; a) es atómico.
((b)): Es consecuencia inmediata de (a) y III.2.2. ¥
Lema III.2.8. Sean A un modelo saturado y E ⊆ A con card(E) < card(A). Entonces
para cualesquiera n ∈ ω y P(~v /E) ∈ Sn (A; E), (A; E) realiza a P(~v /E).
Demostración: Sea P<κ (A) = {E ⊆ A : card(E) < κ}. Entonces por III.2.10.1,
card(P<κ (A)) ≤ 2λ . Sea {Eα : α < 2λ } una enumeración de P<κ (A). Para cada α < 2λ ,
card(S1 (A; Eα )) ≤ 2λ . Por tanto, existe una enumeración {Pα,β (v1 /Eα ) : β < 2λ } del
conjunto S1 (A; Eα ).
Usando III.1.11 definimos una cadena elemental
A ≺ A0,0 ≺ A0,1 ≺ . . . ≺ A0,β ≺ . . . β < 2λ
tal que para todo β < 2λ
(–) card(A0,β ) = 2λ .
(–) (A0,β ; E0 ) realiza a P0,β (v1 /E0 ).
Esta construcción es posible pues DE(A0,β ) + {ϕ(c) : ϕ(v1 ) ∈ P0,β (v1 )} es una teorı́a
consistente y de cardinal es menor o igual que 2λ .
S
Sea A0 = A0,β . Entonces A0 realiza a todo 1-tipo sobre Th(A; E0 ). Análogamente,
definimos una cadena elemental
A ≺ A0 ≺ A1 ≺ . . . ≺ Aα ≺ . . . α < 2λ
tal que para todo α < 2λ
(–) card(Aα ) = 2λ .
(–) (Aα ; Eα ) realiza todos los 1–tipo de Th(A; Eα ).
S
Sea A∗0 = Aα . Entonces
(–) A ≺ A∗0 .
(–) card(A∗0 ) = 2λ .
(–) Si E ⊆ A y card(E) < κ, entonces (A∗0 ; E) realiza todo 1–tipo de Th(A; E).
Aplicando nuevamente este proceso, definimos una cadena elemental
A ≺ A∗0 ≺ A∗1 ≺ . . . ≺ A∗α ≺ . . . α<κ
tal que para todo α < κ
(–) card(A∗α ) = 2λ .
(–) E ⊆ A∗α ∧ card(E) < κ =⇒ (A∗α+1 ; E) realiza a todo 1-tipo de Th(A∗α ; E).
S
Sea B = A∗α . Por construcción A ≺ B y card(B) = 2λ . Sean E ⊆ B con card(E) < κ
y P(v1 /E) un 1-tipo de Th(B; E). Puesto que κ es regular, existe α < κ tal que
E ⊆ A∗α . Por tanto,
(–) P(v1 /E) es un 1-tipo de Th(A∗α ; E).
(–) (A∗α+1 ; E) realiza a P(v1 /E).
(–) (B; E) realiza a P(v1 /E). Pues (A∗α+1 ; E) ≺ (B; E).
En consecuencia, B es κ–saturado. ¥
Corolario III.2.12. Sean A una estructura infinita y κ un cardinal regular tales que
card(L) < κ y card(A) ≤ κ. Si se tiene una de las condiciones siguientes:
50 2. Modelos primos. Modelos saturados
Teorema III.2.13. ([[N]]). Sea T una teorı́a completa sin modelos finitos. Son equiv-
alentes:
(a) T tiene un modelo saturado numerable.
(b) Para todo n ∈ ω, card(Sn (T)) ≤ ω.
Corolario III.2.15. ([[N]]). Sea T una teorı́a completa que no tiene modelos finitos.
Si I(T, ω) ≤ ω, entonces existe A ² T numerable y saturado.
Capı́tulo III. Modelos Saturados 51
Teorema III.2.17. (Ryll-Nardzewski, [[N]]). Sea T una teorı́a completa sin mod-
elos finitos. Son equivalentes:
(a) T es ω–categórica.
(b) Existe A ² T numerable tal que A es saturado y primo.
(c) Todo tipo de T es principal.
(d) Para todo n ∈ ω, Sn (T) es finito.
(e) Todo modelo de T es atómico.
Es decir,
(–) T ` ϕ1 (~v ) ∨ . . . ∨ ϕm (~v ).
Luego, todo n–tipo de T contiene a una de las fórmulas ϕi (~v ), i = 1, . . . , m. En conse-
cuencia, Sn (T) es finito.
((d) =⇒ (c)): Supongamos que existe P(~v ) ∈ Sn (T) que no es principal. Sea {ϕi (~v ) :
i ∈ ω} una enumeración de fórmulas de P(~v ) tal que para todo j ∈ ω
T 0 ∧ji=0 ϕi (~v ) → ϕj+1 (~v ).
Entonces para todo j existe Qj (~v ) ∈ Sn (T) tal que ϕ0 (~v ), . . . , ϕj (~v ), ¬ϕj+1 (~v ) ∈ Qj (~v ).
Puesto que todos los Qj (~v ) son distintos, Sn (T) es infinito. Lo cual contradice (d).
((c) =⇒ (e)): Trivial.
((e) =⇒ (a)): Por (e) y III.2.2 todos los modelos numerables de T son primos. Puesto
que T es completa, de III.2.5 se sigue que cualesquiera dos modelos numerables de T
son isomorfos. En consecuencia, T es ω–categórica. ¥
§3 Modelos homogéneos
Entonces (A; H) = (A; F, a) ≡ (A; F (A), b) = (A; H(A)). Por tanto, A es un modelo
homogéneo. ¥
Teorema III.4.2. (Morley, Vaught). Sea A un modelo tal que card(L) ≤ card(A).
Son equivalentes:
(a) A es saturado.
(b) A es universal y homogéneo.
Teorema III.4.6. ([[N]]). Sea A una estructura numerable. Las condiciones siguientes
son equivalentes:
(a) A es saturado.
(b) A es débilmente saturado y homogéneo.
Demostración: Ejercicio. ¥
Nota III.5.4. (La conjetura de Vaught). En los resultados anteriores hemos proba-
do que existen teorı́as completas, T1 y T2 tales que
(–) I(T1 , ω) = ω.
(–) I(T2 , ω) = 2ω .
La conjetura de Vaught afirma que estas son las únicas posibilidades para una teorı́a
completa con lenguaje numerable. En otras palabras, sea T una teorı́a completa sobre
un lenguaje numerable.
Conjetura de Vaught: [[N]] ω < I(T, ω) =⇒ I(T, ω) = 2ω .
Esta conjetura es uno de los problemas abiertos más importantes de la Teorı́a de
Modelos.
Proposición III.5.5. Existe una teorı́a completa, T, tal que I(T, ω) = 1. Es decir,
T es ω–categórica.
Teorema III.5.6. (Rosenstein, [[N]]). Sea T una teorı́a completa. Si 1 < I(T, ω) <
ω, entonces existe A ² T numerable tal que A es débilmente saturado y no saturado.
Se tiene que:
Aserto III.5.6.1. Para todo B∗ ² T∗ numerable, B∗|L ∼
= B.
Prueba del aserto: Sea B∗ ² T∗ numerable. Entonces B∗|L ² T. Puesto que
6= Ai . Por tanto, B∗|L ∼
B∗|L realiza a Pi (vi,1 , . . . , vi,ni ), B∗|L ∼ = B. 2
Sea Γ(~v ) ⊆ Fn (L). Si existe un único n–tipo de Th(N< ), P(~v ), que contiene a Γ(~v ),
entonces escribiremos P(~v ) = hΓ(~v )i. En particular, si P(~v ) es principal y ϕ(~v ) es uno
de sus generadores, escribiremos P(~v ) = hϕ(~v )i.
Teorema III.6.3.
(a) S1 (N< ) = {Pn (v) : n ∈ ω} ∪ {Pω (v)}.
(b) Para todo n ∈ ω, Pn (v) es principal.
(c) Pω (v) no es principal. Pω (v) = hΓω (v)i, donde Γω (v) = {¬ϕn (v) : n ∈ ω}.
Demostración: ((a)): Sea P(v) ∈ S1 (N< ) tal que para todo n ∈ ω, P(v) 6= Pn (v).
Sea N< + Z · A∗ ² Th(N< ) que realiza a P(v). Por tanto, existe b ∈ N< + Z · A∗ tal
que
(–) tpN< +Z·A∗ (b) = P(v).
e N< + Z · A∗ tal
Puesto que P(v) 6= Pn (v), n ∈ ω, entonces b 6∈ N< . Sea F : N< + Z ≺
que existe a ∈ Z tal que F (a) = b. Entonces
(–) Pω (v) = tpN< +Z (a) = tpN< +Z·A∗ (b) = P(v).
Lo que prueba (a).
((b)): Trivial. Pues N< es primo y realiza a Pn (v).
((c)): Que no es principal se sigue de que N< omite a Pω (v). Veamos que Pω (v) =
hΓω (v)i. Puesto que Γω (v) ⊆ Pω (v), entonces Γω (v) es consistente con Th(N< ). Por
tanto, existe P(v) ∈ S1 (N< ) tal que Γω (v) ⊆ P(v). Puesto que para todo n ∈ ω,
Γω (v) 6⊆ Pn (v), de (a) se sigue que el único 1-tipo de Th(N< ) que contiene a Γω (v) es
Pω (v). Por tanto, Pω (v) = hΓω (v)i. ¥
Capı́tulo III. Modelos Saturados 63
Proposición III.6.4.
(a) Sea Pn,m (v1 , v2 ) = tpN< (n, m). Entonces Pn,m (v1 , v2 ) es un 2-tipo principal de
Th(N< ) y
Pn,m (v1 , v2 ) = hϕn (v1 ) ∧ ϕm (v2 )i.
(b) Sea a, b ∈ N< + Z con a, b ∈ / N< . Entonces para todo n ∈ N<
Pω,n (v1 , v2 ) = tpN< +Z (a, n) = tpN< +Z (b, n),
Pn,ω (v1 , v2 ) = tpN< +Z (n, a) = tpN< +Z (n, b).
Más aún, Pω,n (v1 , v2 ) y Pn,ω (v1 , v2 ) no son principales. Además, sean
Γω,n (v1 , v2 ) = {¬ϕm (v1 ) : m ∈ ω} ∪ {ϕn (v2 )},
Γn,ω (v1 , v2 ) = {¬ϕm (v2 ) : m ∈ ω} ∪ {ϕn (v1 )}.
Entonces
Pω,n (v1 , v2 ) = hΓω,n (v1 , v2 )i.
Pn,ω (v1 , v2 ) = hΓn,ω (v1 , v2 )i.
Demostración: ((a)): Puesto que N< es primo y realiza a Pn,m (v1 , v2 ), este 2-tipo
es principal. Al igual que para Pn (v) se prueba que para toda fórmula ψ(v1 , v2 ) ∈
Pn,m (v1 , v2 )
(–) Th(N< ) ` ϕn (v1 ) ∧ ϕm (v2 ) → ψ(v1 , v2 ).
Por tanto, Pn,m (v1 , v2 ) = hϕn (v1 ) ∧ ϕm (v2 )i. Lo que prueba (a).
((b)): Las igualdades
(–) tpN< +Z (a, n) = tpN< +Z (b, n) y
(–) tpN< +Z (n, a) = tpN< +Z (n, b)
se siguen trivialmente de la existencia de F : N< + Z ∼
= N< + Z tal que F (a) = b
teniendo presente que F (n) = n.
Veamos que Pω,n (v1 , v2 ) = hΓω,n (v1 , v2 )i. Es evidente que Γω,n (v1 , v2 ) ⊆ Pω,n (v1 , v2 ).
Sea P(v1 , v2 ) ∈ S2 (N< ) tal que Γω,n (v1 , v2 ) ⊆ P(v1 , v2 ). Sea N< + Z · A∗ ² Th(N< )
que realiza a P(v1 , v2 ). Entonces existen c, d ∈ N< + Z · A∗ tales que
P(v1 , v2 ) = tpN< +Z·A∗ (c, d).
Por tanto,
(–) N< + Z · A∗ ² ϕn (d). Luego, d = n.
(–) Existe F : N< + Z ≺ e N< + Z · A∗ tal que F (a) = c. Evidentemente, F (d) =
F (n) = n.
En consecuencia,
64 6. Aplicaciones: Modelos de Th(N< )
Γ<
ω,ω (v1 , v2 ) = Γω,ω (v1 , v2 ) ∪ {v1 < v2 },
Γ>
ω,ω (v1 , v2 ) = Γω,ω (v1 , v2 ) ∪ {v2 < v1 }.
(a) Sea P(v1 , v2 ) ∈ S2 (N< ) tal que Γω,ω (v1 , v2 ) ⊆ P(v1 , v2 ). Entonces P(v1 , v2 ) 6=
Pn,m (v1 , v2 ), Pω,n (v1 , v2 ), Pn,ω (v1 , v2 ). Más aún, P(v1 , v2 ) es uno de los siguientes
tipos
(a.1) P<,k <
ω,ω (v1 , v2 ) = hΓω,ω (v1 , v2 ) ∪ {distk (v1 , v2 )}i, 0 < k.
(a.2) P>,k >
ω,ω (v1 , v2 ) = hΓω,ω (v1 , v2 ) ∪ {distk (v1 , v2 )}i, 0 < k.
(a.3) P= =
ω,ω (v1 , v2 ) = hΓω,ω (v1 , v2 )i.
(a.4) P<,ω <
ω,ω (v1 , v2 ) = hΓω,ω (v1 , v2 ) ∪ {¬distk (v1 , v2 ) : k ∈ ω}i.
(a.5) P>,ω >
ω,ω (v1 , v2 ) = hΓω,ω (v1 , v2 ) ∪ {¬distk (v1 , v2 ) : k ∈ ω}i.
(b) S2 (N< ) = {Pn,m (v1 , v2 ) : n, m ∈ ω} ∪ {Pω,n (v1 , v2 ), Pn,ω (v1 , v2 ) : n ∈ ω} ∪
∪ {P<,k >,k
ω,ω (v1 , v2 ), Pω,ω (v1 , v2 ) : k > 0} ∪
∪ {P= <,ω >,ω
ω,ω (v1 , v2 ), Pω,ω (v1 , v2 ), Pω,ω (v1 , v2 )}.
Caso 3: Para todo k > 0, N< + Z · A∗ ² ¬distn (a, b). Entonces existe F : N< + Z +
Z≺e N< + Z · A∗ tal que
(–) Escribimos |N< + Z + Z| = ω ∪ (Z × {0, 1}).
F ((0, 0)) = a y F ((0, 1)) = b.
Por tanto, tpN< +Z+Z ((0, 0), (0, 1)) = tpN< +Z·A∗ (a, b). Ahora bien,
tpN< +Z+Z ((0, 0), (0, 1)) = hΓ<,ω
ω,ω (v1 , v2 )i.
((b)): Se sigue de (a). Pues si un 2-tipo, P(v1 , v2 ), de Th(N< ) es distinto de Pn,m (v1 , v2 ),
Pω,n (v1 , v2 ) y Pn,ω (v1 , v2 ), entonces Γω,ω (v1 , v2 ) ⊆ P(v1 , v2 ). ¥
Aserto III.6.10.2. A∗ ∼
6= 2.
Prueba del aserto: Supongamos lo contrario. Entonces
N< + Z · A∗ ∼
= N< + Z + Z.
Sean a = (0, 0) y b = (0, 1). Entonces
tpA∗ +Z+Z (a) = Pω (v1 ) = tpN< +Z+Z (b).
Por tanto, existe F : N< + Z + Z ∼ = N< + Z + Z tal que F (a) = b. Lo cual es
una contradicción. 2
Probaremos ahora que A∗ ² OTD()
Sin primer elemento: Supongamos lo contrario. Sea a∗ el primer elemento de A∗ . Sea
b∗ ∈ A∗ tal que a∗ < b∗ . Sean a = (0, a∗ ) y b = (0, b∗ ). Entonces tpA (a) = tpA (b); es
decir, A; a) ≡ (A; b). Sea F : A − → A dada por F (a) = b. En tonces F : A ∼ =p A. Es
68 6. Aplicaciones: Modelos de Th(N< )
§7 Ejercicios
Ejercicio III.7.4. ([[N]], (III.4.6)). Sea A una estructura numerable. Las condi-
ciones siguientes son equivalentes:
(a) A es saturado.
(b) A es débilmente saturado y homogéneo.
Ejercicio III.7.7. Sea T una teorı́a completa con lenguaje numerable que sólo tiene
modelos infinitos. Probar que las condiciones siguientes son equivalentes:
(a) T tiene un modelo numerable saturado.
(b) T tiene un modelo numerable débilmente saturado.
Ejercicio III.7.8. Sea L el lenguaje de primer orden cuyo único sı́mbolo no lógico
es el predicado 1–ário p.
(a) Encontrar una teorı́a T con L(T) = L tal que
70 7. Ejercicios
Modelos de la Aritmética
71
Capı́tulo IV
La teorı́a IΣ1
Notas IV.1.1. Consideremos las siguientes teorı́as asociadas a los conjuntos de fórmu-
las E0 (clase de las fórmulas abiertas), ∆0 y Σ1 .
(a) IE0 = P− + {Iϕ : ϕ ∈ E0 }.
(b) I∆0 = P− + {Iϕ : ϕ ∈ ∆0 }.
(c) IΣ1 = P− + {Iϕ : ϕ ∈ Σ1 }.
Aserto IV.1.2.2.
(i) Σ1 es cerrado en IΣ1 bajo cuantificación acotada. Es decir, para toda fórmula
ϕ(x) ∈ Σ1 existe ψ(z) ∈ Σ1 tal que IΣ1 ` ψ(z) ↔ ∀x ≤ z ϕ(x).
(ii) Sea ϕ ∈ Π1 . Entonces IΣ1 ` ∃x ϕ(x) → ∃x (ϕ(x) ∧ ∀y < x ¬ϕ(y)).
(iii) Sea ϕ ∈ Π1 . Entonces IΣ1 ` ϕ(0) ∧ ∀x (ϕ(x) → ϕ(x + 1)) → ∀x ϕ(x).
(iv) Sea ϕ ∈ Σ1 . Entonces IΣ1 ` ∃x ϕ(x) → ∃x (ϕ(x) ∧ ∀y < x ¬ϕ(y)).
1.B Divisibilidad
Definición IV.1.3.
(a) x|y es la fórmula ∃z (x · z = y). Si x|y, diremos que x divide a y.
(b) z = x − y es la fórmula (x < y ∧ z = 0) ∨ (y ≤ x ∧ x = y + z).
73
74 1. Teorı́a de números en la Aritmética
Demostración: Las pruebas son muy simples, veremos tan sólo la prueba de (a). La
parte ← es trivial. Veámos que P− ` x|y → ∃z ≤ y (x · z = y). Si y = 0, entonces basta
tomar z = 0. Supongamos que y 6= 0. Por hipótesis, existe z tal que z · x = y. Entonces
x 6= 0, es decir, 1 ≤ x. Por tanto, z = z · 1 ≤ z · x = y. Lo que prueba el resultado. ¥
(x + y) · (x + y + 1)
Definición IV.1.10. J(x, y) = 2 + x.
Definición IV.1.12.
(a) K(z) = x ⇐⇒ ∃y (J(x, y) = z).
(b) L(z) = y ⇐⇒ ∃x (J(x, y) = z).
Proposición IV.1.13.
(a) IE0 ` ∀z ∃!x (K(z) = x).
(b) IE0 ` ∀z ∃!y (L(z) = y).
(c) IE0 ` ∀z (J(K(z), L(z)) = z).
Definición IV.1.14. ½
[(x = 0 ∨ y = 0) ∧ z = 0] ∨
m.c.d(x, y) = z ↔
x 6= 0 ∧ y 6= 0 ∧ z|x ∧ z|y ∧ ∀u (u|x ∧ u|y → u ≤ z).
r = y − z · q = y − q · (x · u − y · v) = x · (y · t − q · u) − y · (x · t − q · v − 1).
Donde t = (µw)((q · u < y · w ∧ q · v + 1 < x · w). Por tanto, ϕ(r, x, y). Lo cual es
una contradicción, pues r < z.
(v) t|x ∧ t|y → t|z. Trivial pues z = x · u − y · v.
De los resultados anteriores se sigue que z = m.c.d(x, y). ¥
Proposición IV.1.20.
(a) P− ` Pr(x) ↔ 1 < x ∧ ∀u ≤ x (u|x → u = 1 ∨ u = x).
(b) I∆0 ` 1 < x → ∃y ≤ x (Pr(y) ∧ y|x).
(c) I∆0 ` Pr(x) ∧ x|(y · z) → x|y ∨ x|z.
§2 La función β de Gödel
Proposición IV.2.4.
(a) IΣ1 ` 1 < x ∧ Sf (x)|z ∧ u < v < x → (m.c.d(1 + (1 + u) · z, 1 + (1 + v) · z) = 1).
½
m.c.d(w, z) = 1 ∧
(b) IΣ1 ` ∀j < y [m.c.d(x · (j + 1) + 1, z) = 1] → ∃w
∀j < y [(x · (j + 1) + 1)|w].
Definición IV.2.5.
Capı́tulo IV. La teorı́a IΣ1 79
β 0 (x, y, z) = w ⇐⇒ Rm(x, (z + 1) · y + 1) = w
⇐⇒ w < (z + 1) · y + 1 ∧ ∃u ≤ x(x = ((z + 1) · y + 1) · u + w.
Observemos que: IE0 ` ∀x, y, z ∃!w (β 0 (x, y, z) = w).
Lema IV.2.6. IΣ1 ` 0 < y < y1 ∧ Sf (z)|y1 → ∃x1 ∀i < z [β 0 (x, y, i) = β 0 (x1 , y1 , i)].
Lema IV.2.7.
80 3. Funciones recursivas en IΣ1
IΣ1 ` ∀x, y, z, v ∃x1 , y1 (∀j < z (β 0 (x, y, j) = β 0 (x1 , y1 , j)) ∧ β 0 (x1 , y1 , z) = v)).
Demostración: Sea y1 = y · Sf (z). Por IV.2.4 y IV.2.6, existen x01 y w tales que
(i) ∀j < z (β 0 (x, y, j) = β 0 (x01 , y1 , j)).
(ii) m.c.d(w, 1 + (1 + z) · y1 ) = 1.
(iii) ∀j < z ((1 + (1 + j) · y1 )|w).
Por (ii) existen u, t tales que 1 = u · w − t · (1 + (z + 1) · y1 ). Sea
x1 = x01 + u · w · (x01 · y1 · (z + 1) + v).
De (iii) y (i) se sigue que ∀j < z (β 0 (x, y, j) = β 0 (x1 , y1 , j)). Además,
x1 = x01 + u · w · (x01 · y1 · (z + 1) + v)
= x01 + (1 + t · (1 + (z + 1) · y1 )(x01 · y1 · (z + 1) + v)
= (x01 + t · x01 · y1 · (z + 1) + v · t)(1 + (1 + z) · y1 ) + v.
Por tanto, β 0 (x1 , y1 , z) = v. ¥
Demostración: Sean x0 , y 0 tales que J(x0 , y 0 ) = x. Por IV.2.7 existen x01 , y10 tales que
∀j < z (β 0 (x, y, j) = β 0 (x01 , y10 , j)) ∧ β 0 (x01 , y10 , z) = v).
Sea x1 = J(x01 , y10 ). Entonces
∀j < z (β(x, j) = β(x1 , j)) ∧ β(x1 , z) = v).
Lo que prueba el teorema. ¥
Proposición IV.3.4.
(a) IΣ1 ` x0 = 1.
(b) IΣ1 ` xy+1 = xy · x.
(c) IΣ1 ` xy+z = xy · xz .
(d) IΣ1 ` (xy )z = x(y·z) .
Notas IV.3.6.
(a) Una fórmula que satisface IV.3.5-(a) diremos que es funcional en T.
(b) Sea ϕ ∈ Σ1 . Diremos que ϕ ∈ ∆1 (T) si existe una fórmula ψ ∈ Π1 tal que
T ` ϕ ↔ ψ.
(c) Si ϕ ∈ Σ1 es funcional en T, entonces ϕ ∈ ∆1 (T).
Prueba de (c): Sea ϕ(x1 , . . . , xn , y) ∈ Σ1 funcional en T. Entonces
T ` ϕ(x1 , . . . , xn , y) ↔ ∀u (u 6= y → ¬ϕ(x1 , . . . , xn , u)). ¥
82 3. Funciones recursivas en IΣ1
Proposición IV.3.10.
(a) La teorı́a IΣ1 define la función factorial.
Capı́tulo IV. La teorı́a IΣ1 83
Teorema IV.3.14. (Parikh). Toda función recursiva en I∆0 está acotada por un
polinomio. Es decir, si F es recursiva en I∆0 , entonces
∃k ∃m ∀n > m (F (n) < nk ).
Demostración: Sea z = Rm(y, 2x+1 ). Es decir, z < 2x+1 y existe u ≤ y tal que
y = 2x+1 · u + z.
Sea w = Rm(z, 2x ). Entonces, existe v tal que z = 2x · v + w y w < 2x . Además, puesto
que z < 2x+1 , v < 2. ¥
Definición IV.4.7.
½
0, si x = 0;
(a) max(x) =
w, si x =
6 0 ∧ w ∈ x ∧ ∀z ∈ x (z ≤ w).
(b) (≤ x) = 2x+1 − 1 = {0, 1, . . . , x}.
(c) (< x) = 2x − 1 = (≤ x) − {x}.
(d) y = x|z ↔ y < 2z ∧ ∀w < z (w ∈ y ↔ w ∈ x).
(e) {x} = 2x .
½ x
2 , si x = y;
(f ) {x, y} =
2x + 2y , si x 6= y.
(g) hx, yi = {{x}, {x, y}}.
Proposición IV.4.14.
(a) IΣ1 ` card(x) ≤ card(w) → ∃y (y : x ,→ w).
(b) IΣ1 ` x < y → card((≤ x)) < card((≤ y)).
Nota IV.5.1. Existen fórmulas, ∆1 en IΣ1 , Var(x), Term(x), Term0 (x), At(x),
Form(x), Sent(x) tales que:
(a) x es una variable ⇐⇒ N ² Var(pxq) ⇐⇒ IΣ1 ` Var(pxq).
(b) t es un término ⇐⇒ N ² Term(ptq) ⇐⇒ IΣ1 ` Term(ptq).
(c) t es un término sin variables ⇐⇒ N ² Term0 (ptq) ⇐⇒ IΣ1 ` Term0 (ptq).
(d) ϕ es una fórmula atómica ⇐⇒ N ² At(pϕq) ⇐⇒ IΣ1 ` At(pϕq).
(e) ϕ es una fórmula ⇐⇒ N ² Form(pϕq) ⇐⇒ IΣ1 ` Form(pϕq).
(f ) ϕ es una fórmula cerrada ⇐⇒ N ² Sent(pϕq) ⇐⇒ IΣ1 ` Sent(pϕq).
es primitiva recursiva. Por tanto, existe una fórmula Val(x) = y que es ∆1 en IΣ1 que
define la interpretación de términos sin variables del lenguaje de la Aritmética.
Proposición IV.5.4. Existe una fórmula, Val, que es ∆1 y funcional en IΣ1 , tal que
en IΣ1 son teoremas:
(a) Val(hν(0)i) = 0.
(b) Val(hν(+)i ∗ t ∗ t0 ) = Val(t) + Val(t0 ).
(c) Val(hν(·)i ∗ t ∗ t0 ) = Val(t) · Val(t0 ).
(d) Val(hν(S)i ∗ t) = Val(t) + 1.
(e) Val(ẋ) = x. ¥
Definición IV.5.6. Sea FormΣ (x, y) (x es una fórmula Σy ) la disyunción de las si-
guientes fórmulas.
(–) y = 0 ∧ Form∆0 (x).
Form∆0 (z) ∧ lg(x) = 2y + lg(z) ∧
(x) = ν(∃) ∧ Var((x)1 ) ∧ [x]2y,lg(x) = z ∧
0
(–) 0 < y ∧ ∃z ½
(x)j = ν(∃) → (x)j+2 = ν(∀) ∧ Var((x)j+1 ) ∧
∀j < 2y − 2
(x)j = ν(∀) → (x)j+2 = ν(∃) ∧ Var((x)j+1 ).
Sea FormΠ (x, y) (x es una fórmula Πy ) la disyunción de las siguientes fórmulas.
(–) y = 0 ∧ Form∆0 (x).
Form∆0 (z) ∧ lg(x) = 2y + lg(z) ∧
(x) = ν(∀) ∧ Var((x)1 ) ∧ [x]2y,lg(x) = z ∧
0
(–) 0 < y ∧ ∃z ½
(x)j = ν(∃) → (x)j+2 = ν(∀) ∧ Var((x)j+1 ) ∧
∀j < 2y − 2
(x)j = ν(∀) → (x)j+2 = ν(∃) ∧ Var((x)j+1 ).
{pΦq : Φ ∈ ∆0 ∩ Sent, N ² Φ}
es primitivo recursivo. Por tanto, existe una fórmula Sat∆0 (x) que es ∆1 en IΣ1 que
define la validez de fórmulas ∆0 .
Definición IV.5.9. Por recursión sobre n ∈ ω definimos las fórmulas SatΣn (x) y
SatΠn (x).
(–) [[n = 0]]:
(–) SatΣ0 (x) es la fórmula Sat∆0 (x).
(–) SatΠ0 (x) es la fórmula Sat∆0 (x).
(–) [[n → n+1]]: Dadas SatΣn (x) y SatΠn (x) definiremos SatΣn+1 (x) y SatΠn+1 (x).
(–) Sea SatΣn+1 (x) la conjunción de las fórmulas
(–) Sent(x) ∧ FormΣn+1 (x).
FormΠn (y) ∧ Var(w) ∧
(–) ∃y ≤ x ∃w ≤ x x = hν(∃)i ∗ w ∗ y ∧
∃z Sat (y [ż]).
Πn w
FormΣn (y) ∧ Var(w) ∧
(–) ∃y ≤ x ∃w ≤ x x = hν(∀)i ∗ w ∗ y ∧
∀z Sat (y [ż]).
Σn w
Teorema IV.5.10.
(a) Para toda Φ(x1 , . . . , xk ) ∈ Σn
IΣ1 ` Φ(x1 , . . . , xk ) ↔ SatΣn (Φ[ẋ1 , . . . , ẋk ]).
(b) Para toda Φ(x1 , . . . , xk ) ∈ Πn
IΣ1 ` Φ(x1 , . . . , xk ) ↔ SatΠn (Φ[ẋ1 , . . . , ẋk ]).
Proposición IV.5.12.
(a) IΣ1 ` Tarski(SatΣn ).
(b) IΣ1 ` Tarski(SatΠn ).
§6 Ejercicios
Fragmentos de la Aritmética
§1 El teorema de Paris–Kirby
Notas V.1.2.
(a) N ² Iϕ , Lϕ , Bϕ , Sϕ .
91
92 1. El teorema de Paris–Kirby
Proposición S
V.1.5.
(a) PA ⇐⇒ IΣn .
(b) SΓ =⇒ BΓ. ¥
Demostración: Ejercicio. ¥
Proposición V.1.7.
(a) Σn y Πn son cerradas bajo ∨ y ∧.
(b) (n > 0) Σn es cerrada bajo ∃.
(c) (n > 0) Πn es cerrada bajo ∀.
(d) ϕ ∈ Σn =⇒ ¬ϕ ∈ Πn .
(e) ϕ ∈ Πn =⇒ ¬ϕ ∈ Σn .
(f ) ∆n es cerrada bajo ∨, ∧ y ¬. ¥
Se tiene que:
Aserto V.1.11.1. ψ(z, v) ∈ Σn+1 (IΣn ).
Prueba del aserto: Consideremos los siguiente casos.
Caso 1: n = 0. Entonces ψ(z, v) ∈ ∆0 .
Caso 2: n > 0. Por hipótesis de inducción IΣn =⇒ BΣn . Por tanto, ψ(z, v) ∈
Σn+1 (IΣn ). 2
Lema V.1.13.
(a) IΣn ⇐⇒ LΠn .
(b) IΠn ⇐⇒ LΣn .
y A ² ¬ϕ(b + 1). Lo cual está en contradicción con (ii). Lo que prueba (a).
((b)): (=⇒): La prueba es similar a la parte =⇒ de (a). Basta considerar la fórmula
∀x ≤ z ¬ϕ(x) ∈ Πn (en este caso no es necesario colección).
(⇐=): La prueba es similar a la parte ⇐= de (a). ¥
Prueba del aserto: Sea c ∈ A tal que A ² θ(c, a, b). Podemos suponer que
c + 1 ≤ a. Entonces c < a. Por tanto,
A ² θ(c, a, b) =⇒ A ² ∃y ≤ b ψ(c, y)
=⇒ A ² ∃y ψ(c, y)
=⇒ A ² ϕ(c)
=⇒ A ² ϕ(c + 1) [[(ii)]]
=⇒ A ² ∃y ψ(c + 1, y)
=⇒ A ² ∃y ≤ b ψ(c + 1, y) [[(∗) y c + 1 ≤ a]]
=⇒ A ² θ(c + 1, a, b).
Lo que prueba el aserto. 2
Por hipótesis de inducción, SΣn+1 =⇒ IΣn =⇒ IΠn ; por tanto, de los asertos se sigue
que A ² ∀x θ(x, a, b). En particular, A ² θ(a, a, b). Puesto que a 6< a, se tiene que
A ² ∃y ≤ b ψ(a, y). Luego, A ² ∃y ψ(a, y). Es decir, A ² ϕ(a). ¥
Definición V.1.17. Una teorı́a T se dice que es Γ axiomatizable si existe una teorı́a
T0 cuyo conjunto de axiomas está contenido en el conjunto Γ tal que T ⇐⇒ T0 .
Proposición V.1.19. Sea n > 0. Las teorı́as IΣn y BΣn son Πn+2 axiomatizables.
Proposición V.1.20.
(a) PA no es finitamente axiomatizable.
(b) Si 1 ≤ n, IΣn es finitamente axiomatizable.
(c) Si 2 ≤ n, BΣn es finitamente axiomatizable.
Notas V.1.21.
(a) Si T es una teoria tal que Ax(T) ⊆ Σn , entonces T y PA no son equivalentes.
(b) Si ϕ ∈ Πn+2 , entonces IΣn ` ϕ ⇐⇒ BΣn+1 ` ϕ.
(c) IΣn+1 ` Con(IΣn ).
(d) BΣn+1 0 Con(IΣn ).
Las partes (a) y (b) las probaremos en 4.C. La prueba de (c) requiere procedimientos
adicionales a los que desarrollaremos a lo largo del curso. La parte (d) se sigue de (b)
y del segundo teorema de incompletitud.
§2 Overspill
Definición V.2.1.
(a) Sea ϕ una fórmula. Σ0 (ϕ) es la menor clase de fórmulas que contiene a la fórmula
ϕ, a las fórmulas atómicas y es cerrada bajo las conectivas lógicas y cuantificación
acotada.
S
(b) Sea Γ una clase de fórmulas. Σ0 (Γ) = ϕ∈Γ Σ0 (ϕ).
102 2. Overspill
Por tanto, existe b ∈ A tal que A ² ∀x ≤ a (¬ϕ(x) ↔ x ∈ b). Por tanto, A ² ∃x (x ∈ b).
Puesto que la fórmula x ∈ b es Σ1 , existe c ∈ A tal que
c = (µx)[x ∈ b].
Puesto que c ∈ b, A ² ¬ϕ(c). Por tanto, de (i) se sigue que c 6= 0. Sea d tal que
c = d + 1. Entonces
(–) d ∈
/ b. Por tanto, A ² ϕ(d).
(–) d + 1 = c ∈ b. Por tanto, A ² ¬ϕ(d + 1).
Lo cual está en contradicción con (ii). ¥
Nota V.3.3. Se tiene el siguiente resultado que establece que el problema décimo de
Hilbert es demostrable en IΣ1 .
Por tanto,
A ² ϕ(~a) =⇒ A ² ∃~y θ1 (~a, ~y ) =⇒ B ² ∃~y θ1 (~a, ~y ) =⇒ B ² ϕ(~a).
Las implicaciones primera y tercera se siguen de (i) y la segunda de V.3.2-(c.1).
B ² ϕ(~a) =⇒ B ² ∀~z ¬θ2 (~a, ~z) =⇒ A ² ∀~z ¬θ2 (~a, ~z) =⇒ A ² ϕ(~a).
Las implicaciones primera y tercera se siguen de (ii) y la segunda de V.3.2-(c.2). ¥
Demostración: Ejercicio. ¥
Proposición V.3.7.
(a) A ≺n B ⇐⇒ B ² DΣn+1 (A).
(b) A ≺n B ⇐⇒ B ² DΠn (A).
(c) Si A ≺n B, entonces
(c.1) A ² ThΠn+1 (B). Donde ThΠn+1 (B) = {ϕ ∈ Πn+1 : B ² ϕ}.
(c.2) B ² ThΠn (A).
Demostración: Ejercicio. ¥
Proposición V.3.8.
(a) A ≺0 B. B ² I∆0 =⇒ A ² I∆0 .
(b) A ≺1 B. A ² I∆0 =⇒ B ² I∆0 .
Demostración: Los resultados se siguen de V.3.7 y V.1.19 (las teorı́as IΣn y BΣn
son Πn+2 axiomatizables). ¥
Demostración: Ejercicio. ¥
Demostración: Ejercicio. ¥
Demostración: Ejercicio. ¥
A ² ∀x ∃y ϕ(x, y) =⇒ A ² ∀x ≤ a ∃y ϕ(x, y)
=⇒ ∃d ∈ A, A ² ∀x ≤ a ϕ(x, (d)x ) [[A ² BΣn+1 ]]
=⇒ ∃d ∈ A, B ² ∀x ≤ a ϕ(x, (d)x ) [[A ≺n B]]
=⇒ B ² ∃y ϕ(b, y) [[b ≤ a]].
Demostración: ((a)): Puesto que BΣn+1 ⇐⇒ BΠn , probaremos que A ² BΠn . Sean
ϕ(x, y) ∈ Πn y a ∈ A. Sea b ∈ B − A. Entonces
A ² ∀x ≤ a ∃y ϕ(x, y) =⇒ B ² ∀x ≤ a ∃y ≤ b ϕ(x, y) [[A ≺en B]]
=⇒ ∃c ∈ A, B ² ∀x ≤ a ∃y ≤ c ϕ(x, y)
=⇒ A ² ∀x ≤ a ∃y ≤ c ϕ(x, y) [[A ≺en B]].
Donde la segunda implicación se sigue por underspill sobre fórmulas Σ0 (Σn ), puesto
que B ² IΣn y A es un segmento inicial propio de B. Lo que prueba (a).
((b)): Veamos que A ² BΠn+1 . Sean ϕ(x, y, z) ∈ Σn y a ∈ A. Sean b, c ∈ B − A.
Entonces
A ² ∀x ≤ a ∃y ∀z ϕ(x, y, z) =⇒ B ² ∀x ≤ a ∃y ≤ b ∀z ϕ(x, y, z) [[A ≺en+1 B]]
=⇒ B ² ∀x ≤ a ∃y ≤ b ∀z ≤ c ϕ(x, y, z)
=⇒ ∃d ∈ A, B ² ∀x ≤ a ∃y ≤ d ∀z ≤ c ϕ(x, y, z)
=⇒ A ² ∀x ≤ a ∃y ≤ d ∀z ϕ(x, y, z) [[A ≺en B]].
Donde la tercera implicación se sigue de A ⊂e B usando underspill sobre fórmulas
Σ0 (Σn ). Esto prueba el teorema. ¥
Demostración: ((a)): Puesto que A ² PA, para todo n ∈ ω, A ² BΣn . Por tanto, de
V.3.20 se sigue que para todo n ∈ ω, A ≺n+1 S(A, B). En consecuencia, A ≺ S(A, B).
Lo que prueba (a).
((b)): Por (a), A ≡ S(A, B). Por tanto, (b) se sigue de A ² PA. ¥
Demostración: Ejercicio. ¥
Demostración: Ejercicio. ¥
Capı́tulo V. Fragmentos de la Aritmética 111
§4 Elementos n–definibles
Demostración: Lo único que hay que probar es que Kn (A, X) es una subestructura
de A. Sean a1 , a2 ∈ Kn (A, X). Veamos que SA (a1 ), a1 + a2 , a1 · a2 ∈ K(A, X). Sean
ϕ1 (x1 , ~y ), ϕ2 (x2 , ~z) ∈ Σn y ~b, ~c ∈ X tales que
(–) ϕ1 (x1 , ~y ) define a a1 en A a partir de ~b.
(–) ϕ2 (x2 , ~z) define a a2 en A a partir de ~c.
Entonces las fórmulas siguientes son Σn y definen, respectivamente, a SA (a1 ), a1 + a2
y a1 · a2 en A a partir de ~b, ~c
(–) ∃w ≤ x [ϕ1 (w, ~y ) ∧ x = S(w)].
112 4. Elementos n–definibles
Demostración: Para cada j tal que 1 ≤ j ≤ k supongamos que ϕj (xj , ~yj ) ∈ Σn+1
define a aj a partir de ~bj ∈ X. Supongamos que ϕ(x, y1 , . . . , yk , ~z) ∈ Σn+1 define a a a
partir de a1 , . . . , ak y ~c ∈ X Entonces a es definible en A a partir de ~b1 , . . . , ~bk , ~c ∈ X
mediante la siguiente fórmula
∃x1 . . . ∃xk [ϕ1 (x1 , ~y1 ) ∧ . . . ∧ ϕk (xk , ~yk ) ∧ ϕ(x, x1 , . . . , xk , ~z)].
Además, la fórmula anterior es Σn+1 . ¥
Demostración: Ejercicio. ¥
Demostración: ((a)): Sean ϕ(x, ~y ) ∈ Πn y ~b ∈ Kn+1 (A) tales que A ² ∃x ϕ(x, ~b).
Puesto que A ² LΣn ,
A ² ∃x [ϕ(x, ~b) ∧ ∀z < x ¬ϕ(z, ~b)].
Se tiene que la fórmula ψ(x, ~y ) ≡ ϕ(x, ~y ) ∧ ∀z < x¬ ϕ(z, ~y ) es Σn+1 en IΣn y
A ² ∃!x ψ(x, ~b).
Sea a ∈ A tal que A ² ψ(a, ~b). Entonces a ∈ Kn+1 (A) y A ² ϕ(a, ~b).
((b)): Se sigue de (a), pues IΣn es Πn+2 axiomatizable. ¥
Nota V.4.12. Los resultados anteriores se verifican para Kn+1 (A, X) e In+1 (A, X),
para todo X ⊆ A.
Demostración: Sea B = In+1 (A). Por V.4.11, Kn+1 (A) ≺n+1 B. Se tiene que:
Aserto V.4.14.1. Kn+1 (A) = Kn+1 (B).
Prueba del aserto: Ejercicio. 2
Por tanto, Kn+1 (B) es cofinal en B. Puesto que B es no estándar, de V.4.9 se sigue
que In+1 (A) = B 6² IΣn+1 . ¥
Corolario V.4.15.
(a) BΣn+1 |=⇒ IΣn .
(b) IΣn+1 |=⇒ BΣn+1 .
Demostración: Sea A ² IΣn+1 tal que Kn+1 (A) contiene elementos no estándar
(V.4.6). Entonces
(–) Kn+1 (A) ² IΣn [[ver V.4.10-(b)]]; y Kn+1 (A) 6² BΣn+1 [[ver V.4.13]].
Esto prueba (a).
(–) In+1 (A) ² BΣn+1 [[ver V.4.11-(c)]]; y In+1 (A) 6² IΣn+1 [[ver V.4.14]].
Esto prueba (b). ¥
Demostración: Ejercicio. ¥
Demostración: Ejercicio. ¥
(⇐=): Sea ϕ(x, y) ∈ Πn tal que IΣn 0 ∀x ∃y ϕ(x, y). Entonces T = IΣn +∃x ∀y ¬ϕ(x, y)
es consistente. Sean A ² T y a ∈ A tales que A ² ∀y ¬ϕ(a, y). Por V.4.17 existe B tal
que A ≺ B e In+1 (B, a) 6= B. De V.4.11 se sigue que:
(i) In+1 (B, a) ≺n B.
(ii) In+1 (B, a) ² BΣn+1 .
Se tiene que:
A ² ∀y ¬ϕ(a, y) =⇒ B ² ∀y ¬ϕ(a, y) [[A ≺ B]]
=⇒ In+1 (B, a) ² ∀y ¬ϕ(a, y) [[(i) y ¬ϕ ∈ Σn ]]
=⇒ In+1 (B, a) ² ∃x ∀y ¬ϕ(x, y)
=⇒ BΣn+1 0 ¬∃x ∀y ¬ϕ(x, y) [[(ii)]]
=⇒ BΣn+1 0 ∀x ∃y ϕ(x, y).
Lo que prueba el teorema. ¥
§5 Ejercicios
Ejercicio V.5.3. (V.1.19.1). (n > 1) Sea ϕ(x, y) ∈ Πn−1 . Entonces BΣn ` B0ϕ .
(c) Si A ≺n B, entonces
(c.1) A ² ThΠn+1 (B). Donde ThΠn+1 (B) = {ϕ ∈ Πn+1 : B ² ϕ}.
(c.2) B ² ThΠn (A).
Ejercicio V.5.15. Sea A ² I∆0 . Probar que si existe B tal que A ≺e B propia,
entonces A ² PA.
Ejercicio V.5.18. Sean A ² IΣn+1 y ~a ∈ A. Entonces Kn+1 (A, In+1 (A, ~a)) 6= In+1 (A, ~a).
Ejercicio V.5.19.
(a) Probar que existe A ² BΣn+1 no estándar tal que Kn+1 (A) es cofinal en A.
(b) (n ≥ 1) Sean A ² BΣn+1 y a ∈ A no estándar. Probar que existe b ∈ A tal que
b≤ayb∈ / Kn+1 (A). [[Indicar explı́citamente los pasos de la prueba en los que se
use que n ≥ 1]].
Indicación para (b): Escribir la fórmula Dn+1 (y, x) ∈ Σn+1 (“y es una fórmula
Σn+1 especial que define a x”) de la forma ∃u D∗n+1 (y, x, u) donde D∗n+1 (y, x, u) ∈
Πn y probar que existe f ∈ A tal que A ² f : (≤ a) → (≤ a − 1) ∧ f inyectiva.
Capı́tulo VI
Extensiones Finales
Nota VI.1.2. Las propiedades fundamentales de la fórmula usada para codificar son
las siguientes. Una fórmula δ(x, y, z) es adecuada para codificar si
(–) δ(x, y, z) ∈ ∆0 .
(–) I∆0 ` ∀x ∀y ∃!z δ(x, y, z).
(–) I∆0 ` δ(x, y, z) → z = 0 ∨ z = 1.
(–) Para cualesquiera k ∈ ω, n1 < . . . < nj < k existe m ∈ ω tal que
N ² ∀y ≤ k [δ(m, y, 1) ↔ y = n1 ∨ . . . ∨ y = nj ].
[[Puesto que esta fórmula es ∆0 , es también válida en cualquier modelo de P− ]].
119
120 1. Modelos recursivamente saturados
(b) Sean ~b ∈ A. Escribiremos A ² P(~b; ~a) si para toda fórmula ϕ(~x, ~a) ∈ P(~x; ~a),
A ² ϕ(~b, ~a).
(c) Diremos que A realiza a P(~x; ~a), A ² P(~x; ~a), si existen ~b ∈ A tales que A ²
P(~b; ~a).
Notas VI.1.5.
(a) Si P(~x; ~a) es cerrado bajo conjunciones, entonces es un tipo sobre A si para toda
fórmula ϕ(~x, ~a) ∈ P(~x; ~a), A ² ∃~x ϕ(~x, ~a).
(b) Sean A un modelo y a1 , . . . , an ∈ A y c una nueva constante. Son equivalentes:
(b.1) P(x; ~a) es un tipo sobre A.
(b.2) La teorı́a Th(A, ~a) + c + {ϕ(c, ~a) : ϕ(x, ~a) ∈ P(x, ~a)} es consistente.
Teorema VI.1.10. Sea A un modelo infinito numerable. Existe B numerable tal que
(a) A ≺ B, card(A) = card(B).
122 1. Modelos recursivamente saturados
Nota VI.1.12. La proposición anterior también es válida para tpΓ,A (~a), donde Γ ⊆
Form(L) tal que pΓq ∈ SSy(A).
1.C Σn –tipos
Demostración: ((a)): Sea P(x; ~a) un Σn+1 –tipo sobre A tal que pP(x; ~a)q ∈ SSy(A).
Entonces existe b ∈ A tal que Cb = pP(x; ~a)q. Puesto que P(x; ~a) es finitamente
satisfacible en A, para todo k ∈ ω se tiene que
(?) A ² ∃x ∀y < k [(b)y 6= 0 → SatΣn+1 (y(ẋ, ~ȧ))].
Capı́tulo VI. Extensiones Finales 123
Además,
Demostración: Si P(x; ~a) un Σn+1 –tipo recursivo sobre A, entonces, por VI.1.3,
pP(x; ~a)q ∈ SSy(A). Por tanto, el resultado se sigue de VI.1.14. ¥
Teorema VI.1.16. (Los Σn+1 –tipos realizados están codificados). Sean A ² IΣn+1
no estándar, y ~a ∈ A entonces
(a) ptpΣn+1 ,A (~a)q ∈ SSy(A).
(b) ptpΠn+1 ,A (~a)q ∈ SSy(A).
Demostración: ((a)): Sea SatΣn+1 (y) ∈ Σn+1 la fórmula que define la validez de la
fórmulas Σn+1 . Es decir, para toda fórmula ϕ(~v ) ∈ Σn+1
(–) IΣ1 ` SatΣn+1 (pϕ(~v̇)q) ↔ ϕ(~v ).
Sea b ∈ A no estándar. Entonces para todo k ∈ ω
(–) A ² ∃x ≤ b ∀y < k [SatΣn+1 (y(~ȧ)) ↔ (x)y 6= 0].
Por overspill existe c ∈ A no estándar tal que
(–) A ² ∃x ≤ b ∀y < c [SatΣn+1 (y(~ȧ)) ↔ (x)y 6= 0].
Sea d ∈ A tal que A ² ∀y < b [SatΣn+1 (y(~ȧ)) ↔ (d)y 6= 0]. Entonces
124 2. Teorema de Friedman. Subestructuras iniciales
Sea
~ d2k+1 )} ∪ {x < c}.
P1 (x; ~e, c) = {∃~z < c ϕ(~z, ~e, x) : ϕ ∈ Πn , ∃~z ϕ(~z, ~v , x) ∈ tpΣn+1 ,A (d,
Es evidente que P1 (x; ~e, c) es cerrado bajo conjunciones. Se tiene que:
Aserto F.2. P1 (x; ~e, c) es un Σn+1 –tipo corto sobre B.
Prueba del aserto: Veamos que P1 (x; ~e, c) es finitamente satisfacible en B. Sea
∃~z < c ϕ(~z, ~e, x) ∈ P1 (x; ~e, c). Entonces
A ² ∃~z ϕ(~z, d,~ d2k+1 ) =⇒ A ² ∃~z, x ϕ(~z, d,
~ x)
=⇒ B ² ∃~z, x < c ϕ(~z, ~e, x) [[(v)]].
Lo que prueba al aserto. 2
Aserto F.3. pP1 (x; ~e, c)q ∈ SSy(B).
126 2. Teorema de Friedman. Subestructuras iniciales
Sea S
Q1 (y; g) = {(y)j = 0 : para toda ϕ ∈ Πn , j 6= p∃~z < w ϕ(~z, ~v , x)q, px < wq}
S
{(y)px<wq = 1}
{0 6= (y)p∃~z<w ϕ(~z,~v,x)q ↔ 0 6= (g)p∃~z ϕ(~z,~v,x)q : ψ(~z, ~v , x) ∈ Πn }.
Entonces Q1 (y; g) es un
(–) Σ0 –tipo (corto) sobre B,
(–) recursivo.
Por tanto, de VI.1.15-(b) se sigue que B realiza a Q1 (y; g). Sea h ∈ B tal que
B ² Q1 (h; g). Entonces
pP1 (x; ~e, c)q = {j ∈ ω : B ² (h)j 6= 0}.
Por tanto, pP1 (x; ~e, c)q ∈ SSy(B). Lo que prueba el aserto. 2
Aserto F.4. B ² P1 (x; ~a, c).
Prueba del aserto: Se sigue de los asertos F.2 y F.3, y VI.1.14. 2
Por el aserto F.4 existe e2k+1 ∈ B tal que B ² P1 (e2k+1 ; ~e, c).
~ Además, P2 (x; d)
Observemos que x ≤ d0 ∈ P2 (x; d). ~ es cerrado bajo conjunciones. Se
tiene que:
~ es un Πn+1 –tipo corto sobre A.
Aserto B.2. P2 (x; d)
Prueba del aserto: Es evidente que P2 (x; d) ~ ⊆ Πn+1 . Veamos que P2 (x; d)
~ es
~ x) ∈ P2 (x; d),
finitamente satisfacible en A. Sea ∀~z θ(~z, d, ~ donde θ ∈ Σn . Veamos
~ x). Supongamos lo contrario, entonces
que A ² ∃x ≤ d0 ∀~z θ(~z, d,
~ x)
A 6² ∃x ≤ d0 ∀~z θ(~z, d,
⇓
~ x)
A ² ∀x ≤ d0 ∃~z ¬θ(~z, d, ~ x) ∈ P2 (x; d)
∀~z θ(~z, d, ~
⇓ [[A ² BΣn+1 ]] ⇓
~ x)
A ² ∃u ∀x ≤ d0 ∃~z ≤ u ¬θ(~z, d, ∀~z < w θ(~z, ~v , x) ∈ tpΣbn ,B (c, ~e, e2(k+1) )
⇓ [[(v), B ² BΠn−1 ]] ⇓
B ² ∃u < c ∀x ≤ e0 ∃~z ≤ u ¬θ(~z, ~e, x) B ² ∀~z < c θ(~z, ~e, e2(k+1) )
⇓ ⇓ [[e2(k+1) ≤ e0 ]]
B ² ∀x ≤ e0 ∃~z < c ¬θ(~z, ~e, x). B ² ∃x ≤ e0 ∀~z < c θ(~z, ~e, x).
Lo cual es una contradicción. 2
~ ∈ SSy(A).
Aserto B.3. pP2 (x; d)q
Prueba del aserto: Ejercicio. 2
~
Aserto B.4. A ² P2 (x; d).
Prueba del aserto: Se sigue de los asertos B.2, B.3 y de VI.1.14. 2
~
Del aserto B.4 se sigue que existe d2(k+1) ∈ A tal que A ² P2 (d2(k+1) ; d).
Por VI.1.15, B realiza a P(w; b). Sea c ∈ B tal que B ² P(c; b). Entonces para toda
ϕ(~z, v) ∈ Πn
B ² ∃~z ϕ(~z, b) =⇒ B ² ∃~z < c ϕ(~z, b).
Por tanto, de VI.2.2 se sigue que existe H : B ≺e en B tal que H(b) = b y c ∈
/ H(B).
Entonces A = H(B) verifica las condiciones del teorema. ¥
Demostración: Sean ~a ∈ A y P(x; ~a) un Σn+1 –tipo recursivo sobre A. Sea d ∈ A tal
que Cd = pP(x; ~a)q. Sea c ∈ A tal que para toda θ ∈ Πn
A ² ∃~z θ(~z, ~a) → ∃~z < c θ(~z, ~a).
Sea
Q(x; ~a, c, d) = {(d)p∃~z θ(x,~z,~v)q 6= 0 → ∃~z < c θ(x, ~z, ~a) : θ ∈ Πn } ∪ {x < c}.
Demostración: Sean P(x; ~b) ∈ SSy(B) un tipo sobre B. Sea c ∈ B tal que Cc =
P(x; ~b). Consideremos el conjunto
(–) Q(x; ~b, c) = {(c)pϕ(x,~v)q 6= 0 → ϕ(x, ~b) : ϕ ∈ Form(L)}.
Entonces Q(x; ~b, c) es un tipo [[lo es P(x; ~b)]] recursivo sobre B. Por VI.3.5, B ²
Q(x; ~b, c). Además, todo elemento de B que realize a Q(x; ~b, c) realiza a P(x; ~b). ¥
Nota VI.4.1. Sea ϕ(x) una fórmula. Notaremos por ∃ω x ϕ(x) a la fórmula
∀z ∃x > z ϕ(x).
Demostración: Ejercicio. ¥
Lema VI.4.4. Sea A ² I∆0 . Si existe B tal que A ≺e B propia, entonces A ² PA.
Capı́tulo VI. Extensiones Finales 133
Nota VI.4.7. Veamos que de VI.4.6 se sigue la parte (a) =⇒ (b) del teorema VI.4.3
para modelos numerables de PA.
Aserto VI.4.7.1. Sea A ² PA numerable. Existe B tal que A ≺e B.
Prueba del aserto: Por VI.4.6 y el teorema de omisión de tipos, existe B ² T
tal que B omite a todos los tipos Pa (x). Se tiene que:
(A ≺ B propia): En efecto, como B ² DE(A), A ≺ B. Además, B(c) ∈ / A; por
tanto, la extensión es propia.
(A ⊂e B): Supongamos lo contrario. Entonces existen d ∈ B − A y a ∈ A − ω
tales que d < a. Entonces d realiza en B a Pa (x). Lo cual es una contradicción.
De lo anterior se sigue el resultado. 2
Prueba del aserto: Por (i) existe C ² T tal que C ² ∃x θ(x, c). Sea b ∈ A,
entonces C ² b < c. Por tanto,
C ² ∃x θ(x, c) =⇒ C ² ∃y > b ∃x θ(x, y) [[b < c]]
=⇒ A ² ∃y > b ∃x θ(x, y) [[A ≺ C]]
=⇒ A ² ∀z ∃y > z ∃x θ(x, y).
Sea a0 ∈ A tal que A ² ∀y > a0 ∀x (θ(x, y) → x < a). Esto prueba el aserto. 2
Aserto VI.4.8.3. A ² ∃ω y [∃x < a θ(x, y)].
Prueba del aserto: Sea b ∈ A. Por el aserto VI.4.8.1 existe d > b, a0 tal que
A ² ∃x θ(x, d). Sea e ∈ A tal que A ² θ(e, d). Puesto que d > a0 , por el aserto
VI.4.8.2, e < a. Por tanto,
Prueba del aserto: Para la prueba usaremos (iii). Sean C ² T y d > c. Sea Cd
como en la prueba del aserto VI.4.8.2. Entonces Cd ² T. Por tanto,
Capı́tulo VI. Extensiones Finales 135
Cd ² T =⇒ Cd ² θ(x, c) → x 6= b [[(iii)]]
=⇒ Cd ² θ(x, d) → x 6= b
=⇒ Cd ² ¬θ(b, d)
=⇒ C ² ¬θ(b, d)
=⇒ C ² ∀y > c ¬θ(b, y)
=⇒ C ² ∃z ∀y > z ¬θ(b, y)
=⇒ A ² ∃z ∀y > z ¬θ(b, y) [[A ≺ C]].
00 00
Sea a ∈ A tal que A ² ∀y > a ¬θ(b, y). 2
Por el aserto VI.4.8.4 existe b < a tal que A ² ∃ω y θ(b, y) lo cual está en contradicción
con el aserto VI.4.8.5. Esto concluye la demostración de la proposición VI.4.6. ¥
§5 Ejercicios
~ ∈ SSy(A).
Ejercicio VI.5.2. (Aserto B.3. de VI.2.2). pP2 (x; d)q