Teoria de Modelos

UNIVERSIDAD NACIONAL AUTNOMA
DE MXICO
FACULTAD DE CIENCIAS
Teora de modelos. La revancha de la semntica.
REPORTE DE ACTIVIDAD
DOCENTE
QUE PARA OBTENER EL TTULO DE:
Matemtico
PRESENTA:
Fernando Javier Nuez Rosales
TUTOR
M. en C. Rafael Rojas Barbachano
La nica gente que me interesa es la que est loca, la gente que est loca por vivir,
loca por hablar, loca por salvarse, con ganas de todo al mismo tiempo, la gente que
nunca bosteza ni habla de lugares comunes, sino que arde, arde como fabulosos
cohetes amarillos explotando igual que araas entre las estrellas.
Jack Kerouac
iii
ndice general
ndice general
Agradecimientos
vii
Introduccin
1. Inicios
1.1. Lenguajes . . . . . . . . . .
1.2. Subestructuras . . . . . . .
1.3. Morfismos entre estructuras.
1.4. Ejercicios del captulo . . .
ix
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. Tcnicas bsicas
2.1. Ms teoremas de Lwenheim-Skolem
2.2. Extensiones Elementales . . . . . . .
2.3. Cadenas de Estructuras. . . . . . . .
2.4. Skolemnizacin . . . . . . . . . . . .
2.5. Lmite de Frass . . . . . . . . . . .
2.6. Definibilidad en Estructuras . . . . .
2.7. Ejercicios del capitulo . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
6
8
13
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
18
25
28
29
33
36
3. Teoras Completas y Modelo-Completud

3.1. Teoras Completas . . . . . . . . . . . . .
3.2. Eliminacin de Cuantificadores . . . . . .
3.3. Modelo-Completud . . . . . . . . . . . . .
3.4. Ejercicios del captulo . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
43
46
51
.
.
.
.
.
53
53
57
62
65
68
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4. lgebras de Boole
4.1. lgebras de Boole . . . . . . . . . . . . . . .
4.2. Filtros y Ultrafiltros . . . . . . . . . . . . . .
4.3. Otros teoremas importantes sobre lgebras de
4.4. lgebras de Boole y modelos . . . . . . . . .
4.5. Ejercicios del Captulo . . . . . . . . . . . . .
v
. . . .
. . . .
Boole
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
5. Ultraproductos y Clases
5.1. Ultraproductos . . . .
5.2. Clases Elementales . .
5.3. Ejercicios del captulo
NDICE GENERAL
Elementales
69
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
6. Realizacin y omisin de tipos

6.1. Tipos de una estructura . . .
6.2. Tipos de una teora . . . . . .
6.3. Modelos Atmicos . . . . . .
6.4. Ejercicios del captulo . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
81
86
90
96
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
A. El clculo de predicados
A.1. El clculo formal . . . . . . . . . . . . . . . .
A.2. Caracterizacin Semntica de la Consistencia
A.3. El Teorema de Compacidad Semntico . . . .
A.4. Ejercicios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
. 97
. 99
. 103
. 105
B. Conjuntos B-F -inductivos

107
B.1. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Bibliografa
115
Agradecimientos
Este es, sin duda alguna, un trabajo colectivo, ya que hay muchas personas que influyeron y
aportaron de varias maneras a este trabajo. Creo injusto llevarme el crdito de el yo solo.
En primer lugar debo agradecer a Rafael que no solo es EL Profesor, sino que tambin es una
grandisima persona que se preocupa por sus alumnos y en mi caso, por eso es que lo aprecio y estimo
demasiado, me ayudo a salir de un gran agujero en mi vida y me alent a crecer de manera integral,
compartiendo sus mltiples experiencias de vida y brindndome grandes consejos cuando lo nico
que se vea en mi camino eran las sombras. Me siento sumamente contento de que alguien como el
este en mi vida. Sin duda, es una persona sumamente importante en mi vida como matemtico y en
mi vida diaria. Muchisimas gracias.
A mi familia sangunea con principal nfasis en mi mam, que siempre se ha esmerado en darle
lo mejor a sus hijos y que lucho por que jamas nos faltara nada necesario, que nos dio confianza y
nos enseo a volar. Que siempre se ha opuesto a la tormenta y es una gran mujer.
A Luis (Turcio-man) y Carlos Torres (el Santo de la sintaxis), que me tuvieron la confianza e
hicieron posible realizar el sueo de dar clases en la facultad. A Luis le agradezco la paciencia y
complicidad, cuando ideas locas brotaban de mi mente el me ayudaba a dilucidarlas y afinarlas. A
Carlos por darme el puesto de su ayudante y ensearme los hermosos mundos de la Teora de la
Demostracin y Teora de la Recursin.
A Alan Mauricio, que es un ejemplo de la frase que inicia este texto, mi Dean Moriarthy. Lo
suficientemente loco para entrar a un seminario en plenas vacaciones administrativas, lo suficiente
loco para muchas cosas. No hace falta decir una palabra ms.
A Adriana Armendarez que ha trado alegra y felicidad a mi vida. Es otra persona que realiza la
frase de Kerouac y tenerla a lado es maravilloso. Aire... rbol de la inspiracin robo mi voz.
A mis alumnos, a ellos debo todo lo que se. Si no aprendieron lgica, por lo menos aprendieron a
leer una psima manuscrita. Gracias por todo, muchisimas gracias.
A Lucio Gerardo Chavez, por ayudarme a corregir este trabajo, redaccin y ortografa, por la
sabidura heredada y por ayudarme siempre que pudo.
A mis amigos de la fac, los cuales eran muy diversos: Gustavo Adolfo (con el cual compart
departamento, fue una experiencia chistoza pero importante, fue cuando dej de vivir con mis
padres), Javier Martinez (risas inmensas con l), Ricardo Castaeda, Armando Ramirez, El Mario,
Daniel El actuario, Juvenal, Barcenas, El Conde, Yolanda, Dr. Armando, Anita,. . .
vii
viii
AGRADECIMIENTOS
A la banda del Colectivo Ciencia y Sociedad, al Paco (que me ha mudado dos veces de casa),
al Misfits (polemico personaje), al Chesco (sonar el Tannhuser Overture de Wagner cuando las
tropas mutantes marchen cubiertas de victoria, al triunfar la guerra, donde la evolucin mostrar
sus resultados), al Vampiro que deb rifarse esa misin, al Neigger, a David, a Jatib, a Gerardo, a
Karla, a Rona, a Pedro, a Lulu, a Jeronimo, etc.
Al Jefe, a Barbara, a Frijo, a Hojue, a Jaime, al Pachon. Banda son!
A la banda de carrera con especial nfasis a Carlos Crispin, otro loco en este mundo.
A mis profesores y ayudantes que suportaron mis impaciencia y mi impertinencia: Hector Mendez,
Javier Fernandez, Elie, Osvaldo Guzman, Alberto, etc.
A Jose Del Rey (Pepe) y a su madre.
Santo Rafael
Santo David
Santo Luis
Santo Carlos
Santo Osvaldo
Santo Tarski
Santo Vaught
Santo Robinson
Santo s
Santo Gdel
Santo Cantor
Santo Chang
Santo Keisler
Santo Kunen
Santo Smullyan
Santa Tent
Santo Frasse
Santo Kerouac
Santo Cortazar
Santo Ginsberg
Introduccin
Desde mi punto de vista la teora de modelos es una de las reas ms hermosas de la matemtica,
con capacidades muy grandes, con las cuales se pueden atacar problemas de otras ramas, como lo
son: geometra algebraica, lgebra y anlisis. A pesar de esto la cantidad de textos en espaol es muy
poca y a veces difcil de conseguir para el alumno interesado en el tema, por otro lado la literatura
en ingles suele tener un alto grado de dificultad, por lo que, para el estudiante puede representar un
gran reto ir de los textos de lgica matemtica a los mencionados. Otro inconveniente en la literatura
es el acuerdo de la definicin de estructura, ya que algunos como Bell y Slomson solo contemplan
estructuras relacionales, con el argumento que cualquier otra se puede llevar a estas, lo cual es cierto
pero modifica el estudio de las relaciones entre ellas.
De lo anterior ha surgido la motivacin de escribir este trabajo, lo cual no pretende que sea mejor
o sea el punto de vista indicado, sino que, adecuado a planes y programas de estudio de la Facultad
de Ciencias de la UNAM creeo que puede dotar de material suficiente al estudiante para cubrir
este vaco de material intermedio entre los textos de lgica matemtica y teora de modelos. Como
el objetivo de este texto es de carcter pedaggico, no emplear la escritura en primera persona,
iniciando desde el siguiente prrafo.
Este texto aglutina material que concuerda con la teora de modelos clsica y moderna. Otro de
los objetivos ha sido tratar de acercar al lector al teorema de categoricidad de Morley, para el cual
solo hace falta estudiar O-minimalidad.
Para empezar la descripcin de los contenidos de este documento, advertimos al lector que este
trabajo va dirigido sobre todo a estudiantes que han cursado las materias de Lgica Matemtica I
y II de la licenciatura, donde se estudia la lgica de conectivos (lgica proposicional), y lgica de
primer orden (teora de la cuantificacin), sus respectivos teoremas de compacidad, los enfoques
semntico y sintctico, y donde se da tambin una introduccin a la teora de modelos, la cual
contempla: la semntica de los lenguajes de primer orden y las relaciones entre las interpretaciones
entre otros tpicos. Tambin es deseable que el lector haya tomado el curso de Lgica matemtica
III donde comnmente se estudia el primer teorema de incompletud de Gdel, el cual consideramos
como uno de los resultados ms hermosos de la matemtica por su carcter limitativo en la teora de
la demostracin. Tambin es preferible que se tengan conocimientos de la teora de los conjuntos, ya
que sin definicin ni explicacin emplearemos lenguaje de esta, como para referirnos al conjunto
inductivo ms pequeo, es decir, el conjunto de los naturales, as como los conceptos de equipotencia,
cardinalidad, el manejo de nmeros transfinitos y el axioma de eleccin entre otros.
ix
INTRODUCCIN
Antes de iniciar con la descripcin de cada captulo es importante hacer una observacin
sobre algunos conceptos, la cual abarca todo el texto, que se van definiendo a secas pero que
son completamente relativos, como lo son: la consistencia y la completud, por ejemplo, conceptos
que deberan de ser definidos puntualmente dependiendo del tipo de semejanza en el que se esta
trabajando (verbigracia> -completud). Esta observacin es de suma importancia ya que en algunos
captulos se extiende el lenguaje para obtener algunos resultados y ah puede ser que las teoras
ya no tengan dicha propiedad, como se hace en el captulo 6. Se ha hecho de esta manera por que
esperamos que el lector estar pendiente de este detalle tcnico.
Este trabajo est dividido en 6 captulos:
En el primero, titulado Inicios, la primera seccin es meramente un desfile de definiciones, algunos
lemas y uno que otro teorema que se mencionan sin prueba, los cuales se plasman con la intencin
de establecer una base de conocimiento mnima, como punto de partida. En lo posterior de este
captulo tenemos resultados bsicos sobre las consecuencias que se tienen en cuanto a satisfacibilidad,
provenientes de ciertas relaciones bsicas que se definen y estudian en ese lugar.
En el segundo capitulo se estudian tcnicas bsicas de la teora modelos; a algunas de ellas
el estudiante de lgica tiene un acercamiento pero en versiones numerables, aqu se extienden.
Algunos de los resultados ms importantes que se exhiben en este capitulo son, los teoremas de
Lowenheim-Skolem, de Lowenheim-Skolem-Tarski, el test de Tarski-Vaught y algunos teoremas de
preservacin e invarianza. Adems se introducen conceptos que se utilizan ms adelante, como el de
cadenas, extensiones elementales, encajes elementales, entre otros.
En el Captulo III (teoras completas y modelo-completud), se estudian conceptos que nacen de
concepciones muy bsicas como la completud de una teora y a partir de este nacen nuevos conceptos
y una variedad de herramientas para verificar relaciones entre modelos de varias teoras, que adems
con base en ciertas relaciones que se tienen entre los modelos de algunas teoras, stas derivan con
propiedades sintcticas muy interesantes.
Por otra parte, en este apartado se presenta la eliminacin de cuantificadores, la cual es una
herramienta extremadamente poderosa en reas como el lgebra. Creemos que este captulo puede
interesar ampliamente a los interesados en lgebra y ms en especfico, en la teora de campos.
El cuarto captulo esta dedicado fuertemente a las lgebras de Boole: primero se exhibe un
panorama general de ellas y algunas pruebas de propiedades internas, luego extendemos el anlisis
para llegar a cuestiones sobre filtros y ultrafiltros. Con estas herramientas, analizaremos cuestiones
sobre modelos de teoras, herramientas que sern de amplia utilidad en el captulo posterior.
En el captulo siguiente, de ultraproductos, se construye esta estructura y se discuten los requerimientos lgicos dentro de ella, es decir, se hace explcito porque debe ser el universo de estas
estructuras, un conjunto de clases de equivalencia modulo el ultrafiltro, en lugar de solo dejar el
producto directo. Se presentan algunos resultados bsicos y se llega a la caracterizacin de lo que son
las clases elementales. Hemos tocado someramente estos temas, a pesar de que son profundamente
xi
ricos y de gran utilidad, para no exceder los objetivos planteados, ni extender el texto en demasa.
En el ultimo apartado, titulado realizacin y omisin de tipos, se introducen los conceptos de
tipos, tanto de estructuras como de teoras. A partir de lo anterior se analiza la creacin de nuevos
objetos en extensiones de estructuras y condiciones necesarias para asegurar que en las extensiones
de una estructura no existan elementos con determinadas propiedades. Intuitivamente podemos
pensar a los tipos como una frmula abierta que describe propiedades mediante sus variables libres.
Con base en este concepto, comienzan a surgir otros como el de modelo atmico. En este capitulo
brindamos una caracterizacin de l y posteriormente establecemos, a travs de las lgebras de Boole,
condiciones necesarias y suficientes para la existencia del modelo.
Por ultimo, ofrecemos un apndice donde hay una prueba del teorema de compacidad para la
lgica de primer orden en lenguajes de cardinalidad arbitraria solo para enunciados, despus una
mejora de este, la cual consiste en una versin para frmulas con variables libres.
Al lector que se pregunte qu sigue?, le recomendamos que contine sus estudios sobre los
conceptos de saturacin, estabilidad y homogeneidad, los cuales podrn llevarle a la construccin
del modelo monstruo de Tarski (M), de una teora y por otro lado, iniciarse en la teora de la
clasificacin1 . Ya con esta herramienta a la mano, solo faltara el tema de O-minimalidad para poder
estudiar el teorema de categoricidad de Morley.
Por ultimo, esperamos que este texto sea ameno y til al lector.
1 El lector interesado en el tema puede consultar el libro de Shelah, en el cual adems los prerrequisitos inician en
saturacin.
Captulo 1
Inicios
1.1.
Lenguajes
En la literatura, comunmente hay dos formas de abordar la cuestin del lenguaje de primer
orden, una de ellas parte de asumir que se tiene definido y claro lo que es una estructura elemental y
a partir de ellas se consideran smbolos con los cuales se forma el lenguaje (como lo hacen [Mar02] y
[VSRRMP00] ). Otra forma es presentar una construccin del lenguaje y apartir de el construir las
estructuras. Se puede ir de una definicin a otra sin menor problema, pero para este texto se ocupa
la segunda, ya que, como se analiza a lo largo del texto, la semntica no siempre queda totalmente
determinada.
Como se mencion en la introduccin de este trabajo, se considera que el lector ya tiene conocimiento de los conceptos bsicos de la lgica, por lo que, solo para ponernos de acuerdo en aspectos
como la notacin, entre otros, mencionamos sin explicacin ni ejemplos, las siguientes definiciones
y algunos resultados. El lector que no ha llevado cursos de lgica matemtica puede consultar los
detalles y el desarrollo de la teora expuesta en esta seccin en los siguientes libros:[Men97] y [ST95]
.
Definicin 1.1.
1. Un tipo de semejanza , o tipo, es un conjunto de smbolos de tres categoras: relacionales,
funcionales y constantes.
`
Rn Y
Fn Y C
nPZ`
nPZ`
Donde algunos uniendos, posiblemente, son vacos y Rm es el conjunto de letras relacionales de

aridad m, Fi es el conjunto de letras funcionales de aridad i y C es el conjunto de constantes.
La nica restriccin que se establece es que un smbolo no sea la sucesin de otros smbolos.
2. Se define el alfabeto L como la unin de los siguientes conjuntos:
a) el tipo de semejanza;
b) txi : i P u V AR variables;
1
CAPTULO 1. INICIOS
c) tu la igualdad;
d) t, u conectivos lgicos;
e) t@u Cuantificadores y
f) tq, , , pu smbolos auxiliares
3. Se define el conjunto de -expresiones, E , como el conjunto de todas las sucesiones fintas de
smbolos de L .
4. De ahora en adelante se fijar un tipo de semejanza . Se define el conjunto
T RM E
el conjunto de los -trminos, como el conjunto generado1 en E sobre V AR Y p X C q por la
aplicacin de letras funcionales, es decir:
a) 1) C T RM ;
2) V AR T RM ;
b) Y es cerrado bajo la aplicacin de letras funcionales, es decir: Si f P X Fm y t1 , . . . , tm P
T RM , entonces
f pt1 , . . . , tm q P T RM
5. Se define el conjunto de las frmulas atmicas de tipo , y se denota por AT M como:
AT M tpt rq : t, r P T RM u
YtRpt1 , . . . , tm q : R P X Rm y t1 , . . . , tm P T RM u
6. Se define el conjunto de -frmulas, al cual se denota con L , como el -menor subconjunto
de E que cumple con:
a) AT M L ;
b) Si , P L y x P V AR entonces
p q, p@xq, P L
Es decir, L es el generado sobre E con base en AT M por la cuantificacin sobre variables,
la aplicacin de la implicacin y la negacin.
7. Dadas , P L y x P V AR se definen las siguientes abreviaturas:
a) p & q
q;
b) p _ q p q;
c) p q pp q & p qq y
d) pDxq
1 Vase
p@x q.
en el Apndice B la seccin de Aplicaciones
1.1. LENGUAJES
El lector se dar cuenta que se est empleando que algunos conjuntos de conectivos son completos
y en este trabajo, segn sea conveniente, se usa sin aviso previo el que permita hacer y escribir las
pruebas con mayor facilidad.
Por otro lado, la definicin que hemos dado de frmulas y trminos permite emplear induccin
sobre la formacin de dichas expresiones2 . Adems se deja al lector verificar que T RM y F RM
son libremente generados, por lo cual gozan de recursin. En las siguientes definiciones se explota
esta propiedad y el teorema B.6 nos garantiza la existencia y unicidad de las funciones en cuestin.
Definicin 1.2. Sea un tipo de semejanza. Se definen las siguientes funciones:
1. El conjunto de variables que ocurren en un termino con la funcin
V : T RM pV ARq
de la siguiente forma:
Paso base:
Si x P V AR, entonces V pxq txu;
Si c P C X , entonces V pcq H y
Paso recursivo: Si f P Fn y t1 , . . . , tn P T RM , entonces
V pf pt1 , . . . , tn qq
V pti q
i1
2. Se define el conjunto de variables libres de una -frmula con la funcin

V L : L ptxi : i P uq
como sigue: Si R P X Rm , t, r, t1 , . . . , tm P T RM , x P V AR y , P L , entonces
a) Paso base:
n
V LpRpt1 , . . . , tm qq i1 V pti q;
SV Lppt rqq V ptq Y V prq;
b) Paso recursivo:
V Lpp qq V Lpq Y V Lpq;
V Lp q V Lpq y
V Lp@xq V Lpqztxu.
c) Se dice que x es una varible libre de la frmula syss x P V Lpq
As denotamos por Lm a las frmulas con exactamente m variables libres.
Lo anterior son propiedades sintcticas, ahora pasaremos a las nociones semnticas.
Definicin 1.3. Dado se define una interpretacin como un par ordenado xA, Iy donde la primera
entrada es un conjunto no vacio e I es una funcin con dominio que vala de la siguiente manera:
2 Vea
el Apndice B, donde se exhibe las herramientas necesarias y se justifican los hechos que estamos mencionando.
CAPTULO 1. INICIOS
Para cada smbolo relacional R de aridad m, IpRq Am ;
Para cada smbolo funcional f de aridad n, Ipf q : An A y
Para cada c constante, Ipcq P A.
De lo anterior se define una -estructura (elemental) o estructura del tipo como

A xA, tIpRq : r P u, tIpf q : f P u, tIpcq : c P uy
En lo posterior, para cada P , Ipq se denotar por A . Al conjunto A se le llama universo o
dominio o soporte de la estructura A, se emplea B para el universo de B, C para el universo de C,
etc. Tambin se usa | A | para referirnos al soporte de A y se denota por V a la clase de todas las
-estructuras.
Segn la conformacin del tipo de semejanza, se nombran dos tipos de estructuras elementales,
si el conjunto de letras funcionales y smbolos de constante son vacos, llamaremos a la estructura
elemental estructura multirelacional. Por otro lado, si el conjunto de letras relacionales es vaco, se
llamar estructura algebraica.
En la definicin de trmino, se vio que estos pueden ser muy complejos, por lo cual no quedan
completamente determinados por una interpretacin I para el tipo. As tenemos la siguiente.
Definicin 1.4. Sea un tipo de semejanza, A P V , t P T RM y s : V AR A a la cual se
denominar asignacin. Se define la Interpretacin de t en la estructura A bajo la asignacin s, en
smbolos tA rss, por recursin sobre T RM .
1. Para los bsicos:
xA rss spxq;
cA rss cA y
2. Paso recursivo: Si f P una letra funcional de aridad n y t1 , . . . , tn P T RM , entonces
A
pf pt1 , . . . , tn qqA rss f A ptA
1 rss, . . . , tn rssq
Ahora que se puede interpretar a los trminos se ver como establecer la verdad de una frmula;
al igual que en el caso de los trminos, las variables libres de una frmula no permiten determinar
esto de manera nica, slo contando con la estructura.
Definicin 1.5. Sea A P V y s : V AR A. Dado a P A definimos spx{aq : A de la
siguiente forma
"
a
xy
spx{aqpyq
spyq En otro caso
Definicin 1.6 (Satisfaccin de Tarski). Sean A P V y s P A (Donde A denota las funciones de
los naturales en A, usando los indices de las variables se hace la asignacin para ellas). Se define
por recursin para L , la satisfaccin de una frmula por la estructura A con la asignacin s, en
smbolos
A | rss
.
1.1. LENGUAJES
1. Paso base:
A
Si t1 , t2 P T RM , entonces A | pt1 t2 qrss syss tA
1 rss t2 rss;
Si R P Rm y t1 , . . . , tm P T RM , entones
A
A
A | Rpt1 , . . . , tm qrss syss xtA
1 rss, . . . , tm rssy P R
2. Paso inductivo:
Si P L , entonces A |
rss syss no es el caso que A | rss;
Si , P L , entonces A | p qrss syss A |
rss o A | rss y
Si x P V ar y P L , entonces A | p@xqrss syss para todo a P A,

A | rspx{aqs
.
Lema 1.7 (De Concordancia). Sea A P V y s, s1 P A.
Si t P T RM y para toda x P V ptq se tiene que xA rss xA rs1 s, entonces tA rss tA rs1 s y
Si P L y para toda x P V Lpq tenemos que xA rss xA rs1 s, entonces
A | rss A | rs1 s
Corolario 1.8. La satisfacibilidad de un enunciado no depende de las asignaciones.
Definicin 1.9. Sea A P V y P L . Se dice que A hace verdad a , en smbolos A | syss para
cualquier s P A se tiene que
A | rss
Si es un enunciado, se dice que A es un modelo de ella.
De lo anterior se tiene que un enunciado es verdadero o falso en una estructura. Por lo cual tiene
lugar la siguiente definicin.
Definicin 1.10. Sea T L0 . Denotamos por M odpT q como la clase de las estructuras de tipo
que son modelos de T . Es decir A P M odpT q syss para cada P T se tiene que
A |
Lo anterior tambin se puede establecer para un enunciado, por lo tanto dado P L0
M odpq M odptuq
Definicin 1.11. Sea un tipo de semejanza. Se define el cardinal del lenguaje L como sigue
| L || L |
CAPTULO 1. INICIOS
Claramente tiene lugar la siguiente expresin:
| L || | `0
En cuanto al tamao de una estructura, se hace la siguiente definicin.

Definicin 1.12. Sea A P V . Se define el cardinal de A como el cardinal del universo.
De la definicin anterior se tiene la siguiente expresin:
| A | }A}
Lo anterior es suficiente para iniciar el estudio en esta rea.
1.2.
Subestructuras
Dado un lenguaje de tipo se puede definir una serie de relaciones entre dos o ms estructuras
que sean interpretacin de este.
Definicin 1.13. Sean A, B P V . Decimos que A es subestructura de B, en smbolos A B syss
1. A B;
2. Para toda letra funcional f de aridad n se tiene que f A f B An ;
3. Para toda letra relacional R de aridad m tenemos que RA RB X Am y
4. Para cada constante c se cumple lo siguiente cA cB .
Pasemos a algunos ejemplos bsicos para comprender mejor esta definicin.
Ejemplo 1.14. Sean A xN, `N , N , 0N y y B xZ, `Z , Z , 0Z y as tenemos que A B
Ejemplo 1.15. xR, `R , R , 0R , 1R y xC, `C , C , 0C , 1C y
Ejemplo 1.16. Tomemos xX, y un espacio mtrico, CpX, Xq el conjunto de funciones continuas
de X en si mismo, la operacin de composicin entre funciones y 1X la funcin identidad, as
X
xCpX, Xq, CpX,Xq , 1X y xX X,
, 1X y
Ejemplo 1.17. Al considerar a los grupos como ternas ordenadas (conjunto, operacin y elemento
neutro), todos los subgrupos de un grupo dado son subestructuras.
Ejemplo 1.18. xN, `N , 0N y xQ, `Q , 0Q y. Lo cual muestra, adems que la proposicin inversa del
ejemplo anterior no es cierta.
`
Ejemplo 1.19. xR` , R , 1R y xR, R , 1R y

Ejemplo 1.20. xR, `R , 0R y xC, `C , 0C y
Ejemplo 1.21. Dada una estructura multirelacional , A y cualquier B A, al restringir las
relaciones se forma una subestructura.
1.2. SUBESTRUCTURAS
Del ultimo ejemplo, uno puede pensar que dado un subconjunto del universo de una estructura
este es el universo de una subestructura, lo cual es falso, pues al tomar x, sy tenemos que t0u y
este subconjunto no es cerrado bajo la funcin sucesor. Se dar entonces una condicin para que un
subconjunto sea el universo de una subestructura.
Tambin por cuestiones prcticas se omitir en adelante, cuando sean claros los superindices que
indican el dominio de la operacin en una estructura.
Definicin 1.22. Sea A P V y X A. Decimos que X es -cerrado syss para toda c P constante
se tiene que cA P X y para cualquier smbolo de funcin f P de aridad m, f A rX m s X.
Con la definicin anterior es evidente que un subconjunto -cerrado es el universo de una subestructura, puesto que las relaciones solo deben restringirse a este.
Las nociones de subanillo, subgrupo, subespacio vectorial son de gran importancia en lgebra,
en nuestro caso tenemos que son subestructuras que siguen siendo modelos de los axiomas de dichas
teoras, pero no hemos tocado el asunto de las menores subestructuras que contienen un conjunto o
como en lgebra se dice: el subgrupo generado, el subespacio generado, etc...
Los algebristas se caracterizan por construcciones tipo Dedekind3 , pero tenemos la herramienta
de los B-F -Inductivos, tema que se encuentra en el Apndice B.
Definicin 1.23. Sea A P V y S A. Se define la subestructura generada por S en A, en smbolos,
xSyA como la siguiente interpretacin, C del lenguaje:
1. El universo de la estructura es
C rS Y tcA : c P C usF
donde F tf A : f P u4 ;
2. Si f P es un smbolo funcional de aridad m, entonces
f C f A C m
3. Si R es un smbolo relacional de aridad n, RC RA X C n y
4. Si c es un smbolo de constante. cA cC
De la definicin anterior tenemos que
rS Y tcA : c P C usF
tB A : B A y S Bu
Al intersecar universos de subestructuras estamos garantizando la presencia de los elementos distinguidos. Por otro lado la construccin tipo Cantor5 nos permite rescatar la propiedad general de las bases.
Ilustremos esta definicin con algunos ejemplos.
3 Construcciones
de arriba a abajo.
operacin rsF se encuentra definida en el apndice B
5 Construcciones de abajo para arriba.
4 La
CAPTULO 1. INICIOS
Ejemplo 1.24. Consideremos xV, `, 0y es un grupo abeliano y F un campo. As podemos construir

la siguiente estructura elemental A xV, tr _ : r P F u Y tù, t0uy, donde r _ es la funcin
multiplicar por el escalar r, la cual de resultar un espacio vectorial, el subespacio generado por un
subconjunto X A es xXyA .
Ejemplo 1.25. Sea G xG, , _1 , ey un grupo, donde _1 es la funcin que a cada elemento le
asocia su inverso bajo la operacin. As, para cada S G, xSyG es el subgrupo generado.
Ejemplo 1.26. Sea G xG, , _1 y un grupo. Tambin tenemos que para cada S G, xSyG es el
subgrupo generado.
Ejemplo 1.27. Sea G xG, , ey un grupo, as, para cada S G, xSyG es el submonoide generado.
De los ltimos tres ejemplos, podemos notar que dependiendo de la riqueza del lenguaje puede, a
veces, coincidir la nocin de subestructura y de subgrupo.
Ejemplo 1.28. Claramente para anillos podemos hacer lo mismo, lo que nos lleva a campos y
R-mdulos.
El lector familiarizado con lgebra deber notar inmediatamente el poder de esta herramienta,
ya que con ella se puede probar la propiedad universal de las bases.
1.3.
Morfismos entre estructuras.
En buena parte de la matemtica, como en el lgebra, el estudio de funciones que cumplen con la
propiedad de preservar las operaciones o relaciones es de amplio inters. Desde la teora de modelos
se puede capturar esta nocin.
Definicin 1.29. Sean A, B P V y h : A B.
1. Decimos que h es un Morfismo6 de A y B, en smbolos h : A B syss
Si f es una letra funcional de aridad n y a1 , . . . , an P A, entonces
hpf A pa1 , . . . , an qq f B phpa1 q, . . . , hpan qq
Si R es una letra relacional de aridad m y xa1 , . . . , am y P RA entonces
xhpa1 q, . . . , hpam qy P RB
Si c es una constante entonces hpcA q cB .
2. h es un Morfismo Fuerte de A en B syss
h es un morfismo y
Si R es una letra relacional de aridad m y xhpa1 q, . . . , hpam qy P RB , entonces xa1 , . . . , am y P
RA .
6 En la mayoria de textos se le llama homomorfismo, pero algunos algebristas tambin le llaman morfismo, para
que el nombre sea ms corto y en favor de la memoria, usaremos morfismo.
1.3. MORFISMOS ENTRE ESTRUCTURAS.
3. h es un Encaje de A en B, en smbolos h : A B, syss

h es un morfismo fuerte y
h es funcin inyectiva.
4. h es un Isomorfismo de A en B syss
h es un encaje y
h es una funcin suprayectiva.
Si hay un isomorfismo de A en B diremos que estas dos estructuras son isomorfas y lo
denotaremos con el siguiente smbolos A B .
Ejemplo 1.30. Sean A xta, b, c, du, tpa, bq, pa, cq, pb, dq, pc, dq, pa, dqy y B xt1, 2, 3, 4u, y as la
funcin h tpa, 1q, pb, 2q, pc, 3q, pd, 4qu es un morfismo entre A y B, pero no es un morfismo fuerte.
Ejemplo 1.31. La funcin logaritmo natural, ln : R` R es un encaje entre xR` , , 1y y xR, `, 0y
Ejemplo 1.32. La suma : R2 R es un morfismo suprayectivo entre
xR2 , tù, tr _ : r P Ru, tp0, 0quy y xR, tù, tr _ : r P Ru, t0uy
Analizar estas funciones es vital para avanzar en este estudio, ya que si dos estructuras son
isomorfas prcticamente son la misma, ms an, algunas cuestiones a responder son cuando dos
estrcuturas lo son o si podemos encajar una en la otra. Para tal efecto se necesitan ms herramientas.
Antes de proseguir debemos introducir ms notacin. Las definiciones formales para la interprertacin de un termino y la satisfacibilidad de una frmula (Tarski), involucran la nocin de
asignacin de valores a todas las variables, una cantidad numerable, sin embargo al tener a la mano
el lema de concordacia, solo nos interesan las variables que ocurren en el trmino o las variables que
ocurren libres en la frmula, siendo todas ellas un numero finito. De acuerdo con ello, se escribir
tA ra1 , . . . , an s entendiendo que t P T RM , A P V , a1 , . . . , an P A es una lista donde estn todas las
interpretaciones de las variables que ocurren en t. Y escribiremos A | pa1 , . . . , an q entendiendo que
px1 , . . . , xn q P L , A P V y a1 , . . . , an elementos de A, que forman una lista donde se encuentran
todas las interpretaciones de las variables libres de .
Ahora se vern algunos teoremas que establecen una relacin entre morfismos y satisfacibilidad.
Lema 1.33. Sean A, B P V y h : A B. Si h es un morfismo entonces para todo t P T RM y
todas a1 , . . . , an P A se tiene que
hptA ra1 , . . . an sq tB rhpa1 q, . . . , hpan qs
Prueba. Haciendo induccin sobre la construccin de trminos:
Paso base: Sea c una constante y x P V AR.
cA ra1 , . . . an s cA por lo tanto hpcA ra1 , . . . an sq hpcA q cB cB rhpa1 q, . . . hpan qs
10
CAPTULO 1. INICIOS
xA ras a, as hpxA rasq hpaq xB rhpaqs
Paso inductivo: Sea f una letra funcional de aridad n y t1 , . . . , tn P T RM los cuales
cumplen con la propiedad que es la hiptesis de induccin. En primer lugar tenemos que
hppf pt1 , . . . , tn qqA ra1 , . . . , am sq
A
hpf A ptA
1 ra1 , . . . , am s, . . . , tn ra1 , . . . , an sqq
Interpretacin de trminos
A
f B phptA
1 ra1 , . . . , am sq, . . . , hptn ra1 , . . . , an sqq
h es morfismo
B
f B ptB
1 rhpa1 q, . . . , hpam qs, . . . , tn rhpa1 q, . . . , hpam qsqq
Hiptesis inductiva
pf pt1 , . . . , tn qqB rhpa1 q, . . . , hpam qs
Interpretacin
:
Teorema 1.34 (El teorema del morfismo.). Sean A, B P V y h : A B. As tienen lugar las
siguientes afirmaciones:
1. Si h es un morfismo fuerte, entonces para toda P L donde no ocurre ni el smbolo de
igualdad ni cuantificadores
Para todas a1 , . . . , an P A A | ra1 , . . . , an s syss B | rhpa1 q, . . . , hpan qs
2. Si h : A B, entonces para toda P L sin cuantificadores

Para todas a1 , . . . , an P A A | ra1 , . . . , an s syss B | rhpa1 q, . . . , hpan qs
3. Si h es un morfismo fuerte suprayectivo, entonces para toda P L donde no ocurre el smbolo

de igualdad se tiene que
A | pa1 , . . . , an q syss B | phpa1 q, . . . , hpan qq
4. Si h es un isomorfismo, entonces para toda P L se tiene que

Para todas a1 , . . . , an P A, A | ra1 , . . . , an s syss B | rhpa1 q, . . . , hpan qs
Prueba. Se realizara de manera simultnea, por induccin sobre la construccin de frmulas:

Paso base:
(Para todos)A | Rpt1 , . . . , tn qra1 , . . . , am s
syss
syss
A
A
xtA
1 ra1 , . . . , am s, . . . , tn ra1 , . . . , am sy P R
A
xhptA
1 ra1 , . . . , am sq, . . . , hptn ra1 , . . . , am sqy
B
syssxtB
1 rhpa1 q, . . . , hpam qs, . . . , tn rhpa1 q, . . . , hpam qsy
syss
B | Rpt1 , . . . , tn qrhpa1 q, . . . , hpam qs
Tarski
RB
P
h es morfismo fuerte.
RB
Lema anterior
Tarski
11
1.3. MORFISMOS ENTRE ESTRUCTURAS.

(Para 2 y 4) A | t0 t1 ra1 , . . . , am s
A
tA
0 ra1 , . . . , am s t1 ra1 , . . . , am s
syss
syss
hptA
0 ra1 , . . . , am sq
sysstB
0 rhpa1 q, . . . , hpam qs
hptA
1 ra1 , . . . , am sq
tB
1 rhpa1 q, . . . , hpam qs
B | t0 t1 rhpa1 q, . . . , hpam qs
syss
Tarski
h es encaje
Lema
Tarski
Paso inductivo: Sean , P L tales que cumplen con las hipotesis del inciso pertinente y
A | ra1 , . . . , am s
syss
B | rhpa1 q, . . . , hpam qs
anlogamente para .
A |
ra1 , . . . , am s
syss no es el caso que A | ra1 , . . . , am s

syss no es el caso que B | rhpa1 q, . . . , hpam qs
syss B |
rhpa1 q, . . . , hpam qs
A | & ra1 , . . . , am s
syss A | ra1 , . . . am s y A | ra1 , . . . , am s
syss B | rhpa1 q, . . . hpam qs y B | rhpa1 q, . . . , hpam qs
syss B | & rhpa1 q, . . . , hpam qs
(Para 3 y 4) Supongamos como hiptesis inductiva que
A | px, y1 , . . . , yn qra1 . . . . , an , an`1 s
B | px, y1 , . . . , yn qrhpa1 q. . . . , hpan q, hpan`1 qs
Ahora
A | Dxpx, y1 , . . . , yn qra1 . . . . , an s
syss hay a P A tal que
A | px, y1 , . . . , yn qra, a1 , . . . , an s
syss hay a P A tal que
B | px, y1 , . . . , yn qrhpaq, hpa1 q, . . . , hpan qs
12
CAPTULO 1. INICIOS
usando la hiptesis de induccin
syss (para esta equivalencia es necesaria la suprayectividad de h, de lo contrario no
podriamos asegurar el regreso, puesto que tomamos hpaq b),hay b P B tal que
B | px, y1 , . . . , yn qrb, hpa1 q, . . . , hpan qs
syss
B | Dxpx, y1 , . . . , yn qrhpa1 q, . . . , hpan qs
Con lo que concluimos el resultado.
Corolario 1.35. Dos estructuras isomorfas hacen verdad a los mismos enunciados.
La lgica se caracteriza por hacer un estudio a partir del lenguaje, de lo cual el que dos estructuras
hagan verdad a los mismos enunciados es una propiedad interesante, as la definimos formalmente.
Definicin 1.36. Sean A, B P V .
1. La Teora de una estructura A, denotado por T eopAq , es el conjunto de enunciados verdaderos
en A. En smbolos
T eopAq t P L0 : A | u
2. Dos estructuras son elementalmente equivalentes si hacen verdad los mismos enunciados. En
smbolos A es elementalmente equivalente a B, denotado por A B syss para todo P L0 ,
A | B | .
Observemos que dos estructuras son elementalmente equivalentes syss sus teorias coinciden.
El ultimo resultado, con la nueva definicin queda as.
Corolario 1.37. Sean A, B P V . Si A B entonces A B.
La pregunta natural es si el recproco del corolario anterior es cierto, lo cual tiene una respuesta
negativa, en este momento no exhibiremos el resultado que respalda el contra-ejemplo7 , pero si este.
Ejemplo 1.38. Sean A xQ, y y B xR, y, claramente estas estructuras no son isomorfas,
pero si son elementalmente equivalentes.
Ahora veamos un teorema bastante inocente pero que permitir ms adelante fabricar algunas
estructuras con caractersticas deseadas. El inconveniente, para algunos, es que usaremos el axioma
de eleccin.
Teorema 1.39. Dada A P V existe C P V tal que | C |P CAR y A C.
Prueba. Usando el axioma de eleccin podemos asignarle a cada conjunto un cardinal, sea P CAR
tal que A sea h la funcin biyectiva testigo de la equipotencia, por lo que h : A , ahora
definamos la interpretacin de los smbolos de empleando como soporte para una estrcutura. Se
define:
7 El teorema que respalta este contra-ejemplo es el Test de Tarski-Vaught, el cual se encuentra en el captulo de
Teorias Completas
13
1.4. EJERCICIOS DEL CAPTULO

Para cada c constante, cC hpcA q;
Para cada smbolo funcional f de aridad m,
f C pk1 , . . . , km q hpf A ph1 pk1 q, . . . , h1 pkm qqq
Para cada smbolo relacional R de aridad m,
xk1 , . . . , km y P RC xh1 pk1 q, . . . , h1 pkm qy P RA
As C P V y queda como ejercicio al lector probar la isomorfia y que la definicin de las relaciones y
las funciones estan bien definidas, con lo cual concluimos la prueba.
:
El lector debe notar que en realidad estamos probando que si tenemos una estructura y un
conjunto equipotente con su universo podemos a partir de esto construir una estructura con universo
el conjunto dado e isomorfa a la original.
1.4.
Ejercicios del captulo
1. Encuentre dos estructuras no isomorfas pero tales que entre ellas haya un morfismo biyetivo.
2. Pruebe que la relacin de ser subestructura es un orden parcial en V .
3. Pruebe que la relacin de equivalencia elemental es una relacin de equivalencia en V .
4. Pruebe que la relacin de isomorfa es una relacin de equivalencia en V .
5. Sean A, B P V . Si A | T eopBq entonces A B.
6. Pruebe que dos estructuras A, B P V son elementalmente equivalentes syss al tomar sus
1 -reductos a cualquier 1 finito tambin lo son.
7. Pruebe que, A B syss la inclusin i : A B es un encaje.
8. Sean A, B P V . Si A es encajable en B entonces hay C isomorfa a B tal que A C.
9. Sean A, B P V . Si A B, a1 , . . . , an P A, px, x1 , . . . , xn q P L1`n sin cuantificadores y
B | @xpx, a1 , . . . , an q, entonces A | @xpx, a1 , . . . , an q.
10. Sean A, B P V . Si A B, a1 , . . . , an P A, px, x1 , . . . , xn q P L1`n sin cuantificadores y
A | Dxpx, a1 , . . . , an q, entonces B | Dxpx, a1 , . . . , an q.
11. Sean A, B P V . Si h : A B es un morfismo entonces hrAs es un conjunto -cerrado en B.
12. Sea A P V y X A. Pruebe que:
Si
C
tB A : B A y X Bu
Entonces hay una subestructura de A que tiene universo C y

C ttA px1 , . . . , xn q : t P T RM y x1 , . . . , xn P Xu.
Captulo 2
Tcnicas bsicas
2.1.
Ms teoremas de Lwenheim-Skolem
Como se coment en la introduccin se supone que el lector ya conoce los resultados de un segundo
curso de lgica; en particular aqu se dan algunas versiones del teorema de Lwenheim-Skolem para
estructuras.
Teorema 2.1 (LS para estructuras.). Sea A P V una estructura con universo infinito. Para cada
cardinal , si | L | | A | entonces hay B P V tal que | B | y A B.
Prueba. Tomemos T eopAq, as este conjunto de -enunciados tiene un modelo infinito. Sea
como en las hiptesis del teorema, claramente y cumplen las hiptesis del teorema de LwnheimSkolem para conjuntos de enunciados ( ver teorema A.18 ). As hay B P V tal que | B | y
B | , por lo tanto, usando el ejercicio 5 de la pagina 13 se tiene que B A.
:
Como ejemplo consideremos el campo ordenado de los reales, R xR, , `, , 0, 1y, as el tipo ,
necesario para el lenguaje de esta estructura es finito, por lo tanto L es numerable, por LS para
estructuras, hay A P V numerable, tal que R A, es decir, hay una estructura numerable que
hace verdaderos los mismos enunciados. A este hecho se le llama la paradoja de Skolem , y es
verdaderamente impactante, puesto que desde cursos bsicos de la licenciatura se exhibe una prueba
de la innumerabilidad de los reales. Que es lo que ocurre?
Teorema 2.2 (LST para estructuras). Sea A P V y P CAR. Si | A | ` | L |, entonces hay
B P V tal que B tiene cardinalidad y A B.
Prueba. Sea T eopAq, as nuevamente estamos en condiciones del teorema A.18, por lo tanto
obtenemos una estructura de cardinalidad , a saber, B P V que es elementalmente equivalente a A.
:
Consideremos otro ejemplo que de nuevo contravenga nuestra intuicin, esta vez tomemos
xN, s, `, , 0y
15
16
CAPTULO 2. TCNICAS BSICAS
Esta estructura representa lo que siempre se ha manejado como nmeros naturales con su suma,
producto y la funcin sucesor. Para dicha estructura se requiere un lenguaje numerable, y el cardinal
de la estructura tambin lo es, por lo tanto, para todo cardinal infinito hay un modelo de T eopq con
esta cardinalidad, sin importar que el cardinal sea tan grande como queramos aunque por ejemplo
un inaccesible, o un compacto o un medible o un Mahlo, o si se prefiere que desde ZF C se pueda
probar la existencia de este cardinal, podra tomarse
0
22
22
As por el teorema 1.39 de la pagina 12, es el universo de una estructura elementalmente equivalente
a .
En el fondo se ve una limitacin de los lenguajes de primer orden, pues los teoremas de LwenheimSkolem dejan ver que hay propiedades de las estructuras elementales que no son capturadas por
estos, lo que se dejar ms en claro en los siguientes teoremas, haciendo notar que hasta el momento
no habamos tocado un tema de capital importancia: Cmo probar que cierta propiedad de una
estructura no es expresable en el lenguaje de primer orden.
A lo largo de este trabajo se encontrarn algunas maneras de probar lo anterior, ya que estamos
jugando constantemente a viajar del lenguaje a las interpretaciones y de las interpretaciones al
lenguaje y a veces nos encontramos con interpretaciones no esperadas para un conjunto de frmulas.
A continuacin enunciaremos y probaremos lo mencionado en el prrafo anterior.
Proposicin 2.3. No hay un enunciado en un lenguaje de primer orden de algn tipo que exprese
la propiedad de que una estructura sea finita.
Antes de presentar la prueba de este teorema se describe ms en claro lo que establece. Por
ejemplo es posible encontrar un enunciado en un tipo algebraico que capture la nocin de ser campo,
ya que los axiomas de campo son un numero finito1 y totalmente expresables en primer orden, por lo
que la conjuncin de ellos es el enunciado buscado. En resumen buscamos un tipo y un enunciado
en ese lenguaje tal que:
A | A P F IN
o visto desde otro punto de vista M odpq es la clase de todas las estructuras finitas. A continuacin
veamos que no existe tal enunciado.
Prueba. Por reduccin al absurdo. Supongamos que hay y P L0 tal que
A | A P F IN
Encontraremos un modelo infinito de . Definamos las siguientes frmulas:
Dn Dx1 Dx2 . . . Dxn

pxi xj q
ij
1 en capitulos posteriores abundaremos en la importancia o significado de axiomatizar con frmulas o conjuntos de
frmulas.
2.1. MS TEOREMAS DE LWENHEIM-SKOLEM
17
Este enunciado no contiene smbolos no lgicos, por lo que est en cualquier lenguaje. Ademas,
la frmula se interpreta como: Por lo menos hay n individuos en la estructura. Considrese:
tDn : n P Nzt0, 1uu
Veamos que tu Y tiene un modelo, por el teorema de compacidad basta ver que cada subconjunto
finito lo tiene, sea 0 uno de estos, as hay un numero finito de frmulas de que ocurren en el, por
lo tanto, al contemplar el conjunto de naturales que aparecen en los supraindices, hay un maximo,
supongamos que es m0 . Sea una -estructura con esta cardinalidad, M0 , la cual es obviamente finita.
Sea P 0 , tenemos dos casos.
Si tenemos que M0 | , por ser finita.
Si P ,tenemos que hay n m0 tal que Dn , al ser m0 el mximo de los supraindices de
las frmulas de 0 X tenemos que M0 | Dn , de lo cual 0 tiene modelo.
.
Se concluye que tu Y tiene modelo, digamos A. Pero A debe ser infinita al ser modelo de
:
El resultado anterior demuestra que no es posible, con una frmula, clasificar las estructuras
finitas, de hecho se tiene algo ms fuerte: tampoco se puede con un conjunto de frmulas, basta
hacer una modificacin en la prueba anterior y se tiene el resultado. As la propiedad de que las
estructuras sean finitas queda fuera de los lenguajes de primer orden.
Se puede rescatar de la prueba anterior que la propiedad de infinitud para las estructuras si es
expresable en primer orden, puesto que si una estructura hace verdad a los enunciados del conjunto
no puede ser finita.
Teniendo esto en cuenta, la pregunta siguiente es saber si es posible fijar la cardinalidad de las
estructuras infinitas con una frmula, lo cual tendr una respuesta negativa como es de esperar para
los lectores, para tal efecto se usaran los teoremas de LS o LST. Por otro lado, el lector tambin puede
preguntarse por que el teorema anterior no se present en la seccin de compacidad, y claro que es
una duda razonable. Intencionalmente se plasmo de esta forma para exhibir ciertas limitaciones del
LPO2 en un mismo lugar en el texto.
Teorema 2.4. No hay una frmula de primer orden cuyos modelos sean todos de una cardinalidad
infinita fija.
Prueba. Supongamos lo contrario, es decir, que hay P CAR3 , un tipo de semejanza y P L0
tales que si A P V
A | syss | A |
Ahora, sin perdida de generalidad se puede suponer que es finito, puesto que lo smbolos no
lgicos que aparecen en son un numero finito, por lo tanto el lenguaje es numerable. Se puede
encontrar una -estructura de cardinalidad , sea A. Por LST para estructuras para todo hay
B P V tal que |B| y B A, de lo cual B | . Lo cual es una contradiccin.
:
2 Lenguaje
3 CAR
de Primer Orden.
es la clase de los cardinales transfinitos.
18
El lector se puede preguntar, ya que una frmula no fue suficiente, si un conjunto de frmulas lo
es, pero con un razonamiento anlogo al anterior y con LS o LST segn corresponda, se llegar a una
contradiccin. En forma anloga a los comentarios anteriores, la propiedad de tener una cardinalidad
infinita dada, no se puede capturar en LPO.
A primera vista esto puede parecer una desventaja de los LPO, pero esta limitacin puede ser
de ayuda en algunos casos. Por ejemplo si ZFC tiene un modelo, lo cual no podemos probar desde
ZFC por la gracia del segundo teorema de incompletud de Gdel, entonces se tendra un modelo
numerable de esta teora ya que el tipo de semejanza para la teora de conjuntos consta de un solo
smbolo lo cual es muy til para las tcnicas de forcing.
2.2.
Extensiones Elementales
Considerese los nmeros racioanles como campo, es decir A xQ, `, , 0, 1y, ah la ecuacin
x2 2 0 no tiene solucin, en trminos de la lgica se puede decir que A | pDxpx x yqqr2s. Por
otro lado, si se considera B xR, `, , 0, 1y tienen lugar las siguientes afirmaciones, B | Dxpx x
yqr2s, A B y 2 P Q R. Lo cual quiere decir que en B el nmero 2 satisface una frmula que en
A no, es decir, hay una propiedad que en una superestructura si tiene.
Ahora se estudiara una relacin entre estructuras donde, una es extensin de la otra y en la
extensin, los elementos no ganan o pierden propiedades.
Definicin 2.5. Sean A, B P V . A es Subestructura Elemental de B o B es una Extensin
Elemental de A, en smbolos A B, syss A B y para toda frmula P Lm se tiene que
para todos a1 , . . . , am P A A | pa1 , . . . am q B | pa1 , . . . am q
Inmediatamente de la definicin se puede observar que A B es una condicin necesaria para

A B.
Como se ver ms adelante
xQ, , `, 0y xR, , `, 0y
Se puede definir una relacin anloga ms fuerte, ya que ser subestructura elemental solo tiene
lugar entre una estructura y sus subestructuras, para lo cual, como puede pensarse se emplear una
funcin, a la cual se le establecer que preserve la satisfaccin.
Definicin 2.6. Sean A, B P V y h : A B. Se dice que h es una inmersin elemental o encaje
elemental de A en B, en smbolos A h B syss para toda P Lm
para cualesquiera a1 , . . . , am P A A | pa1 , . . . , am q B | phpa1 q, . . . , hpam qq
De las dos definiciones anteriores se obtiene que A B syss A B y la inclusin4 es un encaje

elemental.
4 La
inclusin es la funcin identidad restringida, en este caso al universo de A.
2.2. EXTENSIONES ELEMENTALES
19
Es sencillo verificar que A B y si adems se quisiera analizar si A B se tendra que verificar

que todas las frmulas con las n-adas correspondientes satisfacen la condicin pedida, lo
cual es una difcil labor. Se sabe que al ser A B, estas hacen verdad las mismas frmulas sin
cuantificadores. Slo bastara verificarlo para los cuantificadores; nos convendra tener un resultado
que nos simplificara todo, el cual afortunadamente existe y es el siguiente:
Teorema 2.7 (Test de Tarski-Vaught). Sean A, B P V . Si A B entonces los siguientes enunciados
son equivalentes:
1. A B
2. Para toda px, y1 , . . . , yn q P Ln`1 y para toda a1 , . . . , an P A. Si B | Dxpx, a1 , . . . , an q,
entonces hay b P A tal que B | pb, a1 , . . . , an q
Prueba. [1 2] Es casi directo, pues para cualesquiera a1 , . . . , am P A y cualquier frmula
px, y1 , . . . , ym q tenemos que B | Dxpx, a1 , . . . , am q syss (por 1) A | Dxpx, a1 , . . . , am q syss (por
Tarski) hay b P A tal que A | pb, a1 , . . . , am q syss (por 1, aplicado a b, a1 , . . . , am P A) hay b P A
tal que B | pb, a1 , . . . , am q.
[2 1] Se realizar por induccin sobre la formacin de frmulas, la notacin que se introdujo
para las asignaciones har esto engorroso, por lo que se toma de nuevo la asignacin para todas las
variables. As se debe probar que para cualquier frmula P L se tiene que:
Para toda s P A se tiene que A | rss syss B | rss
Como A B, la inclusin es un encaje, por el teorema 2 se tiene que las frmulas sin cuantificadores tienen la propiedad buscada. Por otro, lado tambin se sabe del ejercicio 10, del captulo 1,
que
para toda s P A, si A | Dxrss entonces B | Dxrss
Con lo anterior slo resta verificar la otra direccin.
Supongamos que B | Dxrss y tomemos como hiptesis inductiva que
Para toda s P A A | rss syss B | rss
De la suposicin, por 2, tenemos que hay b P A tal que B | rspx{bqs, aplicando nuestra hiptesis
inductiva tenemos que hay b P A tal que A | rspx{bqs, lo cual es equivalente por Tarski a que
B | Dxrss
:
Ahora establecemos un criterio para determinar al tener dos estructuras, si hay una inmersin
elemental de una en la otra. Para lo cual se necesitan algunas definiciones.
Definicin 2.8. Sea A P V .
1. Sean S A y CS ts : s P Su un conjunto de constantes que no aparecen en . As xA, Sy es

la Y CS -expansin de A donde cada constante de CS se interpreta en forma cannica, es
A
decir s s. Denotamos el nuevo tipo como pSq.
20

2. Se define el diagrama de A, diagpAq , de la siguiente forma
(
diagpAq P LIT0pAq : xA, Ay |
Donde
LITn t P Ln : es atmica o negacin de una atmicau
3. Se define el diagrama elemental de A, en smbolos diagel pAq, de la siguiente manera

(
diagel pAq P L0pAq : xA, Ay |
Los diagramas se pueden entender como un mapa que nos expresa lo que ocurre con los elementos
de la estructura, ya que al haber agregado una constante por cada uno de ellos, ahora desde el
lenguaje extendido se seala puntualmente las relaciones, las funciones, etc. As el siguiente resultado
no debe ser sorprendente.
Proposicin 2.9 (Lema del diagrama). Sean A, B P V y C una pAq-expansin de B. As tienen
lugar las siguientes afirmaciones:
1. Si hay h : A B tal que para toda px1 , . . . , xn q P LIT y para toda a1 , . . . , an P A se tiene
que
A | pa1 , . . . , an q B | phpa1 q, . . . , hpan qq
Entonces h : A B.
2. Si C | diagpAq entonces hay h : A B.
3. Si C | diagel pAq entonces hay h : A B tal que A h B.
Prueba. Se deja como ejercicio al lector.
Con este resultado en mano, se puede probar el teorema de Lwenheim-Skolem-Tarski en su

versin ms general, para la cual por cierto, se usa el axioma de eleccin.
Antes de proseguir en el tema, se hace una observacin sobre las frmulas en los diagramas y
diagramas elementales, que ayudar a hacer menos engorrosas las pruebas en que los utilicen. Sean
A P V , S A y 1 pxi1 , . . . , xin q P LnpSq . As hay una cantidad finita de smbolos de CS que ocurren
en 1 ; supongamos que son s1 , . . . , sm . De lo anterior se puede encontrar pxi1 , . . . , xin , xl1 , . . . , xlm q P
Ln`m tal que si en esta se reemplazn xlr por sr resultara 1 pxi1 , . . . , xin q. En smbolos
pxi1 , . . . , xin , xl1 {s1 , . . . , xlm {sm q 1 pxi1 , . . . , xin q

Con lo anterior se puede introducir la siguiente notacin. Cuando se escriba,
px1 , . . . , xn , c1 , . . . , cm q P LnpSq
se est haciendo explcito el resultado de sustituir en , P Ln`m , todas las ocurrencias libres de
algunas de sus varibles, por las constantes c1 , . . . , cn .

En otras palabras, se esta haciendo explcita la forma de la frmula, la cual se obtiene con el
procedimiento que describimos antes, es decir, encontrando una frmula con n ` m varibles libres en
L y al hacer la sustitucin de algunas de sus variables libres por constantes de CS resulta en la
que se ha tomado.
21
Proposicin 2.10 (Amalgamacin para encajes elementales.). Sean

A, B, C P V . Si hay h : A B y g : A C tales que A h B y A g C, entonces hay D P V
tal que B y C se encajan elementalmente en D.
Prueba. Sean DB y DC los diagramas elementales de B y C respectivamente. Se toma el conjunto
DB Y DC , y se ver que es finitamente satisfacible. Como DB y DC son cerrados bajo conjunciones
finitas basta tomar una frmula de cada uno. Sean pc1 , . . . , cs q P DC y pb1 , . . . , br q P DB . La
conjuncin de estas tendr modelo, en efecto, como
xB, By | pb1 , . . . , br q
se puede asegurar que
B | Dx1 . . . Dxr px1 , . . . , xr q
Por otro lado, como A h B, se tiene que A | Dx1 . . . Dxr px1 , . . . , xr q y debido a que A g C se
tiene que C | Dx1 . . . Dxr px1 , . . . , xr q. Por lo que hay como interpretar b1 , . . . , br en alguna expasin
de C, digamos C1 P V Ytb1 ,...,br u , de lo cual se sigue que
xC1 , Cy | pb1 , . . . , br q
Tambin se tiene que
xC1 , Cy | pc1 , . . . , cs q
De lo anterior se obtiene que pc1 , . . . , cs q & pb1 , . . . , br q posee modelo.

Por el teorema de compacidad, hay D1 P V pCYBq tal que D1 | DB Y DC . Si se toma D el
-reducto de D1 , por el lema del diagrama es la estructura buscada.
:
Puede mejorarse el resultado de arriba la siguiente forma.
Corolario 2.11. Sean A, B, C P V . Si hay h : A B y g : A C encajes elementales, entonces
hay D P V tal que hay i encaje elemental de B en D y hay j es el encaje elemental de C en D, con
la propiedad de que i h j g.
Prueba. Se toma DB Y DC Y thpaq gpaq : a P Au
Teorema 2.12 (LST para extensiones elementales). Sea A P V infinita. Si | A | ` | L |

entonces hay B P V tal que | B | y A B.
Prueba. Al ser | A | ` | L | se tiene que | diagel pAq | , por LST para conjuntos de
enunciados, hay B1 P V pAq tal que | B 1 | y B1 | diagel pAq por lo cual hay una inmersin
elemental de B (el reducto de B1 al tipo ), as por el ejercicio 8 de la pagina 13 hay C P V que
resulta extensin elemental de A con cardinalidad .
:
En este trabajo se ha visto que segn la forma de una frmula, sta tiene propiedades. En
un lenguaje coloquial podrase decir lo siguiente: Dadas dos estructuras que guardan la relacin
de subestructura, las frmulas sin cuantificadores suben y bajan; las existenciales suben y las
22
universales bajan. Lo cual sugiere una relacin en la organizacin de los cuantificadores y dichas
propiedades. Lo a anterior es cierto.
Por ejemplo, en los cursos de lgebra moderna se prueba que cualquier campo tiene cerradura
algebraica, ms adelante probaremos que estos es gracia de la forma de los axiomas de campo. As
entonces se clasifican las frmulas por como se encuentran en ellas organizados los cuantificadores
para despus iniciar el anlisis de sus propiedades.
Definicin 2.13 (Clasificacin de frmulas nm nm ). Dado un lenguaje L . Se definen por recursin
para los siguientes conjuntos de frmulas.
l0 l0 t P Ll : no tiene cuantif icadoresu
in`1 t@x1 . . . @xs P Li : P jn y j i y s 0u
in`1 tDx1 . . . Dxr P Li : P jn y j i y r 0u
En las secciones anteriores se defini la equivalencia elemental entre dos estructuras, lo cual es
una condicin muy fuerte, pero si se debilita se pueden obtener resultados interesantes.
Definicin 2.14. Sean L0 y A, B P V . Se dice que A -implica a B, en smbolos A V B
syss para toda P , si A | , entonces B | .
As esta claro que si A B es lo mismo a que A VL0 B y B VL0 A.
Para fcilitar las cosas se introduce una abreviatura para las frmulas. Si xi1 , . . . , xim P V AR,
Q P t@, Du y P L establecemos que
Qx Qxi1 . . . Qxin
Lo mismo podemos hacer para constantes en un lenguaje ampliado
pbl1 , . . . , blm q pbl q.

Estas notaciones sirven para argumentar de manera existencial y no puntual, es decir, si importan
los indices de las variables no es posible emplearlas, pero si se sabe que es posible afirmar que hay
una n-ada de elementos en una estructura que son asignacin para dichas variables, con las cuales
tiene lugar la satisfacibilidad.
Proposicin 2.15. Sean A, B P V . As las siguientes condiciones son equivalentes:
1. A V1 B,
2. B V1 A,
3. A es inmersible elementalmente en una extensin de B y
4. B es encajable en una extensin elemental de A.
23

Prueba. r1 2s Es fcil, pues slo es cuestin de negar.
r3 4s Tambin se obtiene rpido con base en al ejercicio 8 del capitulo anterior.
r3 2s Para probar esto, slo hace falta recordar que los enunciados 1 suben de una estructura
a una extensin. As, si P 01 y B | se tiene que que si C es la extensin brindada por 3 entonces
C | , por el encaje elemental se tiene que A | .
r2 4s Esta es la prueba ms interesante, se toma
diagpBq Y diagel pAq
Veremos que es satisfacible, se usa el teorema de compacidad:
Como diagel pAq es cerrado bajo conjunciones, solo necesitamos tomar una frmula P diagel pAq
y 1 pb1 q, . . . , n pbn q P diagpBq, por lo cual para cada 1 i n , xB, By | i pbi q de donde para
cada 1 i n, xB, By | Dxi pxq, as B | Dxi pxq por 2, A | Dxi pxq. Por Tarski, se tiene como
interpretar la n-ada de constantes bi en una expansin de A, por otro lado xA, Ay | as se puede
asegurar que una expansin de xA, Ay es modelo del conjunto finito de frmulas que se tomaron en
diagpBq Y diagel pAq, por lo que hay C P V tal que una pA Y Bq-expansin de esta, digamos C1 es
tal que
C1 | diagpBq Y diagel pAq
De lo anterior se tiene que A se encaja elementalmente en C y B se encaja en C, de lo cual se sigue
4.
:
Hasta el momento hemos abordado pocas veces la relacin que hay entre la conducta de los
modelos de una teora y esta, pero a continuacin, trabajaremos un poco ms en ello.
Definicin 2.16.
1. Sean T, L . Se dice que T es Consistente con syss T Y es satisfacible.
2. Sean T Y L0 . Se dice que T es -axiomatizable syss hay tal que
M odpT q M odpq
3. Se dice que una teora T se preserva bajo subestructuras syss para cada A P M odpT q, si B A
entonces B | T .
Ahora se iniciara el estudio de la relacin que hay entre la conducta de los modelos de una teora
y la forma de los enunciados de ella.
Lema 2.17. Sean T una -teora, L0 consistente con T , y L0 cerrado bajo disyuncin5 .
Supongase tambin que tiene la siguiente propiedad: Dados A, B P M odpT q tales que A V B. Si
A | , entonces B | . As hay tal que
M odpT Y q M odpT Y q
5 Es
decir que si 1 , . . . , s P , entonces 1 _ . . . _ s P
24
Prueba. Sea t P : T Y $ u, as M odpT Y q M odpT Y q. Se vera la otra

contencin, para lo cual se considera B P M odpT Y q, de lo cual B | T . Considrese t P
L0 : P y B | u, se afirma que T Y Y es consistente. Supongase que no, por lo que hay
1 , . . . , l P tal que T Y Y t 1 , . . . , l u es inconsistente, con lo cual B | 1 & . . . & l
y T Y $ 1 _ . . . _ l por lo tanto 1 _ . . . _ l P , ya que esta es cerrada bajo disyunciones, y
tambin 1 _ . . . _ l P , por lo que B | 1 _ . . . _ l , pero B | 1 & . . . & l , lo que es
una contradiccin, entonces T Y Y tiene modelo. Sea A | T Y Y , como A | entonces
A V B y como A | entonces, por hipotesis B | . Por lo que M odpT Y q M odpT Y q. :
Proposicin 2.18. Sean una -teora y L0 cerrado bajo disyuncin. Supongamos que para
cuales quiera A, B P V tales que A V B, si A | , entonces B | . As es -axiomatizable.
Prueba. Basta aplicar el lema anterior a T H y .
Corolario 2.19. Sean T una -teora, P L0 consistente con T y L0 cerrado bajo conjuncin
y disyuncin. Supongase tambin que dados A, B P M odpT q con la propiedad de que A V B, si
A | T , entonces B | T . As hay P tal que T $
Prueba. Por el lema anterior, tomando tu, hay tal que
M odpT Y tuq M odpT Y q
Lo cual implica que T Y $ , empleando el teorema de compacidad, el teorema de la deduccin
y que es cerrado bajo conjuncin, pues lo es, hay P tal que T $ .
:
Corolario 2.20. Sean T L una teora, p
xq Ln cerrado bajo conjuncin y disyuncin y
n
pxq P L consistente con T . Supongamos que para cada A, B P M odpT q hay a P An y b P B n con
la propiedad de que
xA, ay Vpxq xB, by
y cada vez que A | paq se tiene que B | pbq. Luego hay una frmula pxq P pxq tal que
`
T $ @x pxq pxq
Prueba. Tomemos un c una n-ada de contantes que no aparecen en , as yendo a pcq interpretando
a c en A como a, tomemos tpcqu con lo cual se puede aplicar el lema anterior y por compacidad y
al ser cerrada bajo conjunciones, hay una frmula P tal que M odpT Y tpcquq M odptpcquq
con lo cual
T $ pcq pcq, por el metateorema de generalizacin sobre constantes se tiene que
`
T $ @x pxq pxq .
:
Proposicin 2.21. Sea T L0 una teora. T se preserva bajo subestructuras syss T es 01 axiomatizable.
Prueba. rs Es trivial pues los 01 -enunciados bajan.
rs Se empleara la proposicin 2.18 . Considrense A, B P V tales que A | T y A V1 B, de
esto por la proposicin 2.15 se tiene que hay C extensin de B y h : A C tales que A h C.
Como A | T y A h C, C | T y al preservarse T bajo subestructuras se tiene que B | T . Por la
proposicin mencionada al principio de la prueba hay 1 tal que M odpq M odpT q.
:
25
2.3. CADENAS DE ESTRUCTURAS.
2.3.
Cadenas de Estructuras.
En este capitulo se han revisado tcnicas que proporcionan maneras de construir nuevas estructuras
dadas algunas, y enseguida se prosigue en esta direccin.
Definicin 2.22. Sean xI, y P COT O6 y tAi : i P Iu V . Decimos que:
1. tAi : i P Iu es una cadena de estructuras syss para cada i, j P I si i j entonces Ai Aj .
2. tAi : i P Iu es una cadena elemental syss para cada i, j P I si i j entonces Ai Aj .
Con las definiciones anteriores, se construir una nueva estructura.
Definicin 2.23. Sea tAi : i P Iu V una cadena de estructuras. Se define A
siguiente forma:
1. El universo de la estructura es A iPI Ai ;
iPI
Ai De la
2. Para cada smbolo de constante c P , cA cAi Para toda i P I. Se debe notar que al ser una
cadena de subestructuras c se interpreta igual en todas las Ai ;
3. Para cada smbolo relacional R P , RA iPI RAi ;
4. Para cada smbolo de funcin f P , f A iPI f Ai .

Se deja como ejercicio al lector probar que la nueva estructura esta bien definida.
Teorema 2.24 (De la cadena elemental de Tarski). Si tAi : i P Iu V es una cadena elemental
entonces para toda i P I se tiene que
Ai
Aj
jPI
Prueba. La prueba es directa del Test de Tarski-Vaught. Se recomienda al lector realizarla.
Definicin 2.25.
Se dice que una teora T se preserva bajo uniones de cadenas syss dada xAi : i P Iy una cadena
de estructuras tal que para toda i P I, Ai | T entonces
Ai | T
iPI
Una clase de estructuras K V es inductiva syss dada xAi : i P Iy una cadena de estructuras
de K, se tiene que
Ai P K
iPI
Enseguida veremos que si una teora es 2 -axiomatizable, entonces la clase de sus modelos es
inductiva y viceversa.
6 COT O
es la clase de estructuras relacionales que son modelos de los axiomas de rdenes totales.
26
Proposicin 2.26. Sea T L0 una teora. T se preserva bajo uniones de cadenas syss T es
2 -axiomatizable.
Prueba. rs Aqu se trata de probar que los 02 se preservan bajo uniones de cadenas. Sea
xAi : i P Iy una cadena de modelos de @xDypx, yq, sea
Ai
A
iPI
Sea a P An , as hay j P I tal que a P Anj , como Aj | @xDypx, yq, entonces Aj | Dypa, yq, al
ser Aj A se tiene que A | Dypa, yq, como a es arbitrario se tiene que A hace verdad a la
generalizacin, con lo cual se termina esta parte.
rs Sea t P 02 : T $ u, veamos que M odpT q M odpq, claramente se tiene una
contencin por el teorema de correctud-completud para el clculo de predicados, ahora sea B P
M odpq, tomemos T Y t P T eopxB, Byq : P 01 u, se quiere ver que este conjunto tiene modelo.
Supongamos lo contrario, as por compacidad hay un subconjunto finito insatisfacible, por lo que
podemos tomar T Y t@x1 , . . . , @xn : i P L pBq X 0 u inconsistente, ms aun esto es equivalente
a que
n
T $ @x
i
i1
por el teorema de generalizacin sobre constantes, ya que en T no aparecen las constantes que
distinguen los elemento de B, tenemos que
T $ @yDx
i1
Donde i resulta de sustituir en i las ocurrencias de dichas contantes por variables, por lo cual
n
@yDx
i P
i1
y por lo tanto B es modelo de dicho enunciado, lo cual es una contradiccin, brindando la existencia
de A P M odpT q tal que B V02 A, as por la Proposicin 2.15 se puede asegurar que hay una
extensin de B, a saber A1 , tal que A A1 , de hecho por la misma proposicin hay B1 B tal
que A1 B1 .
Ntese que ahora es posible hacer las observaciones de las frmulas sobre las nuevas estructuras,
de lo cual, hay xBn : n P y una cadena elemental y xAi : i P y cadena de estructuras tal que cada
Ai | T por lo que
Bn
Ai | T
B
nP
iP
:
Definicin 2.27. Sea L0 . Se dice que A es un Modelo Existencialmente Cerrado de syss
para cualquier B P M odpq, si A B y B | Dxpx, aq entonces A | Dxpx, aq, para toda a P An
con n P zt0u y toda P L X 0 .
27
2.3. CADENAS DE ESTRUCTURAS.
Ahora se exhibirn algunos resultados que vinculan varios de los conceptos anteriormente
expuestos.
Proposicin 2.28. Si una teora T es 2 -axiomatizable, entonces tiene un modelo existencialmente
cerrado.
Prueba. Para esta prueba tendremos que construir dos cadenas, la primera ayudar a cerrar bajo
frmulas existenciales y la segunda, para construir el modelo directamente.
Sea A P M odpT q y tomamos p , a qP una enumeracin de los pares ordenados donde la primera
entrada cuenta de una frmula existencial y la segunda de una n-ada de elementos de A. Se define
por recursin sobre la siguiente funcin:
A0 A
"
A `
C
A
para alg u
n C P M odpT q tal que A C y C | pa q, si talC existe
en otro caso
Si es un ordinal lmite.
A
As se define A A . Ntese que dicha estructura satisface todas las frmulas existenciales
con parmetros en A que son consistentes con T , pues estas se encuentran dentro de la enumeracin,
y adems es modelo de T , pues esta es 2 -axiomatizable.
Se prosigue a definir una nueva cadena por recursin para
B0 A ; Bn`1 pBn q
Sea C la unin de esta cadena, que por cierto es modelo de T . Se afirma que este modelo es
existencialmente cerrado. Sean D C, c P C n y pyq una frmula existencial tal que D | pcq. As
n
y por la construccin Bm`1 | pcq, con lo que C | pcq.
hay m P tal que c P Bm
:
Corolario 2.29. Todo campo tiene cerradura algebraica.
Prueba. Primero ntese que los axiomas de campo son frmulas 2 . Luego, se sabe que dado un
polinomio, si no tiene raices en el campo dado se puede hacer la extensin de ste, (lo cual concuerda
con la construccin de la cadena sobre las frmulas existenciales), as el modelo existencialmente
cerrado, que es extensin del campo dado, es el que se busca.
:
En seguida se presentan dos resultados que emplean el teorema de Lwenheim-Skolem, del cual se
exhibe una prueba en la seccin siguiente, dicha prueba no depende de los resultados mencionados.
Corolario 2.30. Si T es una -teora 2 -axiomatizable entonces para cada modelo de T de cardinal
| L | hay una extensin de ste modelo de T , existencialmente cerrado y de cardinalidad .
Prueba. Basta observar la construccin en la prueba de proposicin anterior y pedir que cada
estructura que se va tomando tenga cardinalidad , lo cual se puede por el teorema de LwenheimSkolem.
:
28
Lema 2.31. Sea L0 . Si tiene un modelo infinito que no es existencialmente cerrado, entonces
para cada cardinal | L | hay un modelo no existencialmente cerrado.
Prueba. Sea A P M odpq tal que A no es existencialmente cerrado; por lo tanto hay B expansin
de A, Dxpx, yq P L y a P A tales que B | Dxpx, aq y A | Dxpx, aq. Si tomamos un cardinal
| A | por el teorema de Lwenheim-Skolem-Tarski hay C extensin elemental de A de cardinalidad
, claramente C B as hay D extensin de C y donde B es inmersible elementalmente y, A queda
fijo bajo dicha inmersin, por lo cual D | Dxpx, aq y C | Dxpx, aq. Para un menor la tcnica
es similar.
:
2.4.
Skolemnizacin
Ha llegado el turno de analizar una parte del trabajo de Skolem, que en pocas palabras consiste
en poder quitar el existencial de una frmula poniendo un trmino que al interpretarse sea aquel
que verifica la existencia. Sabemos que en un enunciado en espaol que diga: para todo. . . para
todo. . . hay. . . que cumplen alguna propiedad. . . ese individuo del cual se afirma su existencia depende
de los elegidos. Por ejemplo en la definicin de lmite de una funcin, la delta esta en funcin de la
epsilon. Esta idea se rescata con las funciones de Skolem.
Definicin 2.32. Sea A P V . Se dice que A1 P L 1 es la expansin de Skolem de A syss A1 es una
expansin de A y para cada px, yq P L1`m hay f P 1 tal que
A1 | @y Dxpx, yq pf pyq, yq
La expansin de Skolem de una estructura sirve ahora, a la luz del Test de Tarski-Vaught, para
construir subestructuras elementales, como se hace en el siguiente teorema.
Lema 2.33. Sean A, B P V , B A y A1 , B1 sus respectivas expansiones de Skolem. Si B1 A1
entonces B A.
Prueba. Como B A, se puede usar el Test de Tarski-Vaught. As, sea px, yq P L y b P B,
supongamos que
A | Dxpx, bq
entonces A1 | Dxpx, bq pf pbq, bq, como A1 es expansin de A se tiene que A1 | Dxpx, bq
1
por lo que A1 | pf pbq, bq y como B1 A1 se tiene que fA pbq P B, de lo cual hay c P B tal que
A1 | pc, bq, entonces hay c P B tal que A | pc, bq. Por el Test se tiene que B A.
:
Con este resultado enunciamos en seguida uno de los teoremas ms hermosos de la teora de
modelos.
Teorema 2.34 (Teorema de Lwenheim-Skolem). Sea A P V . Si X A entonces hay B A tal
que X B.
Prueba. Se toma la expansin de Skolem A1 de A y sea B1 xXyA1 , por lo que B1 A1 sea B el
reducto de B1 al tipo , por lo que B A del lema 2.33 se tiene que B A y por construccin se
tiene lo siguiente: X B y | B || X | ` | L |.
:
2.5. LMITE DE FRASS
2.5.
29
Lmite de Frass
Se recomienda al lector haber ledo la seccin de subestructuras generadas para poder abordar la
siguiente parte del texto.
La idea del lmite es construir una estructura con muchisimas pequeas, ahora se formalizara
esto.
Definicin 2.35.
Se dice que B es Finitamente Generada en A syss hay C A finito tal que xCyA B;
Se dice que A es Finitamente Generada syss A es finitamente generada en A y
Se dice que A V es un Age de A syss para cada B A finitamente generada, hay C P A tal
que
BC
A cada estructura no le corresponde un nico age, pues se pueden intercambiarse elementos
de este por algunos isomorfos. Tambin se puede escoger el age que consta solo de la coleccin de
subestructuras finitamente generadas de A, por lo cual puede que se mencione el age de la estructura
en lugar de un age de la estructura. Tampoco es cierto que un age determine completamente una
nica estructura. Por ejemplo, si la estructura es relacional y tiene un numero finito de elementos
distinguidos, las subestructuras finitamente generadas de esta son estructuras finitas, as xR, y y
xQ, y, comparten algunos ages.
Lema 2.36. Sean A, B, C P V . Si C A finitamente generada y B C entonces hay A1 P V tal
que B A1 finitamente generada. As mismo si A es finitamente generada y A B entonces B
tambin lo es.
Prueba. Ejercicio.
Lema 2.37. Sean A un age de A y B P A. Si C B finitamente generada entonces hay D P A tal

que D C.
Prueba. Como B P A hay B1 A finitamente generada isomorfa a B, sea h el testigo de la
isomorfa, as hrBs A, al ser h isomorfismo hrCs hrBs, de lo cual hrCs A finitamente generada,
ya que C lo es, por lo que, al ser A un age de A, hay D P A tal que hrCs D y como hrCs C,
D C.
:
La propiedad que se retrata en el lema es conocida como propiedad hereditaria7 (PH). Mal dicho
podramos decir que si A es un age de A y B P A entonces el age de B esta contenido en A. El
lector deber entender el brutal nivel de mal enunciar la propiedad, ya que como se ha dicho no hay
una relacin univoca entre A y A.
7 Tambin
se puede encontrar en ms libros como HP por sus siglas en ingls.
30
Lema 2.38. Sean A, C, B P V y A un age de A. Si B, C P A entonces hay D P A tal que C y B

son encajables en D.
Prueba. Sean B1 y C1 las subestructuras finitamente generadas de A isomorfas a B y C respectivamente y se toman tb1 , . . . , bm u y tc1 , . . . , ck u sus conjuntos generadores. Se define
xtb1 , . . . , bm , c1 , . . . , ck uyA D
claramente D es finitamente generada, se puede definir una funcin
h1 : tb1 , . . . , bm u tb1 , . . . , bm , c1 , . . . , ck u
como la identidad y a travs del B F-Inducivo con el que se construye B, extenderlo a una
h1 : B D encaje, anlogamente h2 : C D encaje. Por la isomorfa de B con B1 y C con C1
los testigos de estas compuestos con los encajes h1 y h2 son los encajes buscados.
:
A la propiedad anterior se le llama Propiedad del Encaje Comn8 (PEC). En otras palabras se
probo que un age tiene la PEC.
Se quiere hacer notar que es posible partir de las definiciones de PEC y PH para una clase K
de estructuras finitamente generadas, como lo es un age, pero estos ya son objetos complicados de
entender, abstraer ms el asunto no hara ganar nada nuevo.
Ahora se ver otra propiedad que tiene un age, en el cual se observa como acta la PH en una
clase cualquiera de estructuras.
Lema 2.39. Sean K una clase de estructuras finitamente generadas, K con PH,
tC : u K
una cadena de estructuras y C
que B D
C . Si B C finitamente generada entonces hay D P K tal
Prueba. Sean tb1 , . . . , bm u los generadores de B en C, como tb1 , . . . , bm u C hay P tal

que tb1 , . . . , bm u C , de lo cual B C finitamente generada, como C P K y K tiene PH hay
D P K tal que B D. Con lo cual termina la prueba.
:
Aqu es pertinente mencionar que la idea del teorema de Frass, es aproximar con estructuras
pequeas otras mas grandes, de hecho Frass brinda otra construccin de Q como el lmite de todos
los ordenes totales finitos. As que se pretende hacer algo similar con ciertas clases de estructuras. A
continuacin un primer acercamiento.
Lema 2.40. Sean K V una clase de estructuras finitamente generadas con contables clases de
isomorfa (es decir que |K{ | 0 ). Si K tiene PH y PEC entonces hay A P V tal que K es un
age de A
8 En
los libros, inclusive los traducidos al espaol, esto se conoce como JEP por sus siglas en ingls.
31
2.5. LMITE DE FRASS
Prueba. Sea tB : 0 u un conjunto de representantes de las clases de isomorfa. Definiremos

una cadena de estructuras tC : 0 u y otro conjunto de estas tD : 0 u K con la propiedad
de que para todos , 0 , si 0 , entonces hay un encaje de D en D . Considrese
C0 B0 D0 . Supngase que se tienen C y D P K tal que C D , como K tiene la PEC
entonces se toma D`1 P K la estructura donde se encajan D y B`1 , por lo que C tambin se
encaja en D`1 , y por el ejercicio 8 de este capitulo, hay una estructura isomorfa a D`1 tal que es
supraestructura de C , esta ser C`1 . As quedan determinada la cadena y dicho conjunto.
Se define
A
C
0
1
Se afirma que K es un age de A. En efecto,
si A A finitamente generada, entonces hay
ta1 , . . . , am u A generadores de A1 , como A 0 A , entonces hay n P 0 tal que ta1 , . . . , am u
An , as A1 An . Como K tiene PH, entonces hay una estructura isomorfa a A1 en K, por lo tanto
para cada subestructura finitamente generada de A hay una estructura isomorfa en K. Para ver
que son todas, tomamos C P K, como tB : 0 u es un conjunto de representantes de las clases
de isomorfa, hay n P 0 tal que C Bn , por lo que C Cn , de lo cual C es isomorfa a una
subestructura finitamente generada de A. Con lo anterior queda probado que K es una age de A. :
Ntese que por la construccin, si el conjunto de constantes y smbolos funcionales del tipo de
semejanza es contable, entonces tambin lo la estructura resultante, pues al ser finitamente generada
la construccin del B-F-Inductivo nos garantiza que cada estructura es numerable y al ser A unin
numerable de numerables, tambin es numerable.
Se tiene una ambicin an, se pretende que al tomar la clase de estructuras finitamente generadas,
la cual tenga PH y PEC, la estructura que resulte tenga propiedades interesantes, pues a veces
bastara tomar la unin ajena de muchas cosas. De hecho, la propiedad que buscamos para la
estructura, que tenga por un age a K, es que sea ultrahomogenea, a continuacin se presenta al
lector lo que esto significa.
Definicin 2.41. Sea A P V . Decimos que A es ultrahomogenea syss para cualesquiera B, C A
finitamente generadas y h : B C isomorfismo, hay h : A A isomorfismo tal que h B h
Pero interesa saber como esto repercute en el age, por lo que se presenta el siguiente lema.
Lema 2.42. Si A P V y A un age de ella, entonces las siguientes condiciones son equivalentes:
1. A es ultrahomogenea.
2. Para toda C P A y f, g : C A encajes hay h : A A tal que f h g.
Prueba. [2 1] Sean B, C A finitamente generadas y f : B C un isomorfismo entre ellas,
sin prdida de generalidad se puede suponer que B, C P A, si no lo estn, se toman sus retratos
isomrficos en el age y se hace el trabajo con ellos. Sean iB la inclusin de B en A, anlogamente iC ,
ahora hacemos notar que iC f y iB son encajes de B en A, por lo cual, estas funciones cumplen
las hiptesis de 2, por lo que hay h : A A tal que iC f h iB . Se afirma que h B f . En
efecto, sea b P B, as hpbq hpiB pbqq iC pf pbqq f pbq, ya que b P B y f pbq P C.
[1 2] Se toma C P A, sin perdida de generalidad suponemos que C A, y sean g, f : B A,
por lo que grBs A finitamente generada y g es un isomorfismo entre B y grBs, de lo cual hay
32
h : A A que extiende a g ya que A es ultrahomogenea y f g pi h1 q. As h1 es la funcin

buscada.
:
Ahora se introduce el siguiente concepto que servir para aglutinar todas las ideas.
Definicin 2.43. Sea K V . Decimos que K tiene la Propiedad de Amalgamacin (PA) para
encajes9 syss dadas A, B, C P K si hay i : A B y j : A C encajes, entonces hay D P K,
h : B D y g : C D encajes de manera que h i g j.
Con el teorema anterior el lector podr probar el siguiente resultado.
Proposicin 2.44. Sea A P V . Si A es ultrahomogenea, entonces sus ages tiene la propiedad de
amalgamacin.
Prueba. Se deja como ejercicio para el lector.
Y por ultimo se vera el resultado que hace falta, hacer la prueba de manera estricta es tarea del
lector, ya que solo se presenta un esbozo de esta.
Proposicin 2.45. Sea A P V . Si A es ultrahomogenea, B, C A finitamente generadas y
g : B C y h : B A encajes, entonces hay g : C A tal que h g g
Prueba. Se toma la funcin inclusin, i : C A, con lo cual se tiene que i g, h : B A son
encajes y basta usar el lema 2.42, lo cual brindar un encaje f . As f i sera la funcin buscada. :
Corolario 2.46. Sean A, B, C P V , con A ultrahomogenea y B, C A finitamente generadas. Si
g : B A es un encaje y B C, entonces hay g : C A encaje que extiende a g.
Prueba. Usando la proposicin anterior, basta hacer h la funcin inclusin de B en C.
Ahora, con estas herramientas se puede enunciar el teorema de Frasse. Slo se presenta la
prueba de la unicidad, la prueba de la existencia se puede revisar en [Hod93].
Teorema 2.47 (Lmite de Frass). Sean un tipo de semejanza contable, K V una clase de
estructuras finitamente generadas. Si K P P EC X P H X P A y | K{ | 0 , entonces hay una nica
(salvo isomorfa) A P V tal que:
1. K es un age de A;
2. A es ultrahomogenea y
3. A es contable.
Prueba. [Unicidad] Para esto se toman B, C P V ultrahomogeneas y contables tal que K es un age
en comn. Sean xbi : i P y y xci : i P y enumeraciones de B y C respectivamente. Se construir
un isomorfismo con stas, para lo cual se toma xtb0 uyB , as hay D0 P K tal que hay un encaje
j : xtb0 uyB D0 , por ser K un age de C hay un encaje g0 : D0 C, de lo cual se toma
h0 tpb0 , g0 pjpb0 qqqu.
9 La definicin puede ser brindada para otro tipo de funciones, si no es explicito cuales, se asumir de ahora en
adelante que se esta hablando de encajes.
33
2.6. DEFINIBILIDAD EN ESTRUCTURAS

Supngase definido hn : tbl1 , . . . , bln u C . Si n es par, tomamos ckn P C donde
kn`1 mintm P : cm R| xhn rtbl1 , . . . , bln usyC |u
Por lo anterior hay un encaje
f : xtbl1 , . . . , bln uyB xhn rtbl1 , . . . , bln us Y tckn`1 uyC
Siendo K una age de B y C se pueden escoger estructuras ah, isomorfas a las anteriores que tengan
dicho encaje, para con ellas y la propiedad de la Proposicin 2.45 se escoje bln`1 P B y se hace
hn`1 hn Y tpbln`1 , ckn`1 qu. En el caso de que n sea impar slo hay que tomar bln`1 P B con el
menor ndice de la numeracin de forma que dicho elemento no est en el generado por tbl1 , . . . , bln u.
Por ltimo se hace h iP hi por como se ha construido, se tiene que h es el isomorfismo

buscado, con lo cual se ha probado la unicidad.
:
2.6.
Definibilidad en Estructuras
Una pregunta en cuanto al lenguaje que se emplea para una estructura, es saber sus lmites
de expresabilidad en ella. Por ejemplo, saber si es posible omitir ciertos smbolos ya que podran
derivarse de otros que ya se tienen. Adems dada una estructura con universo A hay
n
2|A |
nP
relaciones posibles, algunas ya tomadas en cuenta en el lenguaje y otras no. Claramente la primer
limitante es el cardinal del lenguaje, pues los subconjuntos ya mencionados pueden ser demasiados.
Por otra parte, se sabe que no es posible sujetar la cardinalidad de los modelos con frmulas del
lenguaje, por lo cual el nmero de relaciones posibles se escapa de una manera exorbitante. Esto es
de gran inters en la teora de modelos, a continuacin se desarrollar teora que permita abordar el
tema.
Definicin 2.48. Sean A P V y px1 , . . . , xm q P Lm . Se define la valuacin de la frmula en la
estructura ,Apq, como
Apq txa1 , . . . , am y P Am : A | pa1 , . . . , am qu
Por lo anterior se obtiene que cada frmula con n variables libres define un subconjunto de An ,
lo que hace natural la siguiente definicin:
Definicin 2.49. Sean A P V , P A y D An .
1. Se dice que D es es definible en A syss hay
px1 , . . . , xn q P Ln
tal que
Apq D
34

2. Se dice que D es P -definible syss hay una frmula
px1 , . . . , xn , y1 , . . . , ym q P Ln`m
tal que
D tpa1 , . . . , an q P An : A | pa1 , . . . , an , p1 , . . . , pm q con p1 , . . . , pm P P u
A P se le llama conjunto de parmetros.

A continuacin se exhibe una lista de conjuntos notables para una estructura y se indica como la
definicin que se ha brindado los engloba.
D es la grafca de una funcin, as se dir que una funcin es definible en una estructura si su
grafca es definible;
D es una propiedad, cuando D A y
D es una n-relacin.
De las definiciones anteriores se pueden probar los siguientes resultados.
Teorema 2.50. Sean A P V , D An y h P AutpAq. Si D es definible en A entonces
txhpa1 q, . . . , hpan qy : xa1 , . . . , an y P Du D
es decir, las relaciones definibles son invariantes bajo automorfismos.
Prueba. Como D es definible hay una frmula del lenguaje px1 , . . . , xn q con tal que
D Apq
por lo teoremas de isomorfismo se sabe que
A | ra1 , . . . , an s A | rhpa1 q, . . . , hpan qs
por lo cual
txhpa1 q, . . . , hpan qy P An : xa1 , . . . , an y P Du
txhpa1 q, . . . , hpan qy P An : A | ra1 , . . . , an su
txa1 , . . . , an y P An : A | rhpa1 q, . . . , hpan qsu
txa1 , . . . , an y P An : A | ra1 , . . . , an su D
Las igualdades anteriores tienen lugar solo cuando h es un automorfismo, ya que se est empleando
que es suprayectiva e inyectiva, tanto en las contenciones como en el teorema citado.
Con lo anterior el enunciado queda probado.
35
2.6. DEFINIBILIDAD EN ESTRUCTURAS
As se puede, desde la contrapositiva del teorema anterior, extraer un mtodo para decir cuando
una relacin no es definible. Sin embargo esta solo es una condicin suficiente.
El otro resultado es el siguiente:
Teorema 2.51. Si C, D An son definibles entonces:
1. AzD es definible;
2. C X D es definible;
3. C Y D es definible
4. Si k n y kn : An A es la proyeccin al k-esimo factor entonces
tkn pxa1 , . . . , an yq : xa1 , . . . , an y P Du
es definible.
5. Si es una permutacin de n` z1 entonces
txap1q . . . , apnq y P An : xa1 , . . . , an y P Du
es definible.
Prueba. Slo se brindarn las frmulas para cada caso. Ser tarea del lector probar que las
valuacines de stas en A son el conjunto indicado para cada inciso.
Como C y D son definibles se tiene que hay px1 , . . . xn q, px1 , . . . xn q P Ln , tal que sus
valuaciones son C y D, respectivamente. As las frmulas buscadas son, para cada inciso.
1.
px1 , . . . xn q;
2. p & qpx1 , . . . xn q;
3. p _ qpx1 , . . . xn q;
4. Dx1 Dx2 . . . Dxk1 Dxk`1 . . . Dxn px1 , . . . xn q;
5. Dado el resultado anterior se sabe que es posible cambiar las variables libres cuantificadas,
es decir, al ser las frmulas sucesiones finitas se smbolos, se pueden encontrar un natural m
tal que xm no ocurre en la frmula es del ndice menor. Y al sustituir las variables acotadas
con variables con ndices mayores a m, como xk era la nica variable libre, ahora se puede
sustituirla por xpkq . Llamemos pxpkq q a la resultante de estas modificaciones, entonces la
frmula buscada es
n
pxpkq q
k1
36
Trataremos de ver desde otra perspectiva el concepto de definibilidad. Para lo cual se introduce
la nocin de sistema de Tarski, con el cual se puede redefinir el concepto que estamos trabajando,
solo se plasmar la definicin y el lector tendr que desarrollar un poco ms de teora.
Definicin 2.52 (Sistema de Tarski). Sea X un conjunto no vaci. Un sistema de Tarski D sobre
X es una sucesin D xDn : n P y tal que para cada m P :
1. Dm es cerrada bajo intersecciones uniones y complementos;
2. Si Y P Dm entonces tpx1 , . . . , xm , xm`1 q : px1 , . . . , xm q P Y y xm`1 P Xu P Dm`1 y
tpx1 , . . . , xm , xm`1 q : x1 P X y px2 , . . . , xm`1 q P Y u P Dm`1 ;
3. tpx1 , . . . , xm q P X m : x1 xm u P Dm ;
4. Si Y P Dm`1 , entonces
tpx1 , . . . xm q : hay xm`1 P X tal que px1 , . . . , xm , xm`1 q P Y u P Dm
Decimos que Z P D syss hay n P tal que Z P Dn . Una funcin est en el sistema syss su
grfica lo est.
Con lo anterior se puede nombrar un sistema de Tarski DpA, Bq conformado por todos los
subconjuntos B-definibles en A. La prueba de que efectivamente es un sistema de Tarski se deja al
lector.
2.7.
Ejercicios del capitulo
1. Pruebe que si hay una inmersin elemental entre A y B entonces hay una estructura isomorfa
a B tal que es extensin elemental de A.
2. Sea x, y y xzt0u, y. Diga si una es extensin elemental de la otra o no. Justifique su
respuesta.
3. Muestre un encaje entre estructuras que no es un encaje elemental.
4. Pruebe que dos estructuras finitas y elementalmente equivalentes son isomorfas.
5. Pruebe la proposicin 2.44 de la pagina 32.
6. Se puede encontrar un Test como el de Tarski-Vaught para la inmersin elemental? De ser as
enncielo y prubelo.
7. Termine la prueba del teorema 2.51.
8. Pruebe el lema 2.36.
9. Pruebe la proposicin 2.9 la cual se encuentra en la pagina 20.
10. Pruebe los regresos de 2 y 3 en la proposicin 2.9.
11. Pruebe que una teora se conserva bajo extensiones syss es 1 -axiomatizable.
2.7. EJERCICIOS DEL CAPITULO
37
12. Pruebe que si A B y B V1 A entonces hay C B tal que A C.

13. Pruebe que: Si A P V y X A entonces las siguientes condiciones son equivalentes:
X es el universo de una subestructura elemental de A
Para toda py, x1 , . . . , xn q P Ln`1 y toda a1 , . . . , an P X. Si A | Dypy, a1 , . . . , an q,
entonces hay a P X tal que A | pa, a1 , . . . , an q.
14. Pruebe: Sea A P V . Si A es ultrahomogenea, entonces sus ages tienen la propiedad de
amalgamacin.
15. Pruebe que si A, B P V y A B, entonces para toda a1 , . . . , an P A, xA, a1 , . . . , an y
xB, a1 , . . . , an y.
16. Sean A0 , A1 , A2 P V . Pruebe o muestre un contraejemplo:
a) Si A0 A1 y A1 A2 , entonces A0 A2 ;
b) Si A0 A1 y A0 A2 , entonces A1 A2 y
c) Si A0 A2 y A1 A2 , entonces A0 A1 .
17. Pruebe el lema del diagrama 2.9 . Indicacin: La prueba de 1 es totalmente artesanal, tomando
las frmulas necesarias como px1 x2 q y la asignacin ra, bs para demostrar la inyectividad,
anlogamente se prueba que preserva funciones y relaciones. Para probar dos y tres tome uno
como base, ya que solo debe definir de manera correcta dicha funcin.
18. Pruebe que la estructura que se fabrica con la unin de la cadena de estructuras esta bien
definida.
19. Sean A, B P V . Pruebe que si hay una inmersin elemental de A en B, entonces hay una
extensin elemental de A isomorfa a B.
20. Sean A, B P V . Pruebe que las siguientes condiciones son equivalentes:
a) A B
b) Hay C P V tal que A y B son elementalmente encajables en C
c) Hay C P V tal que A C y B es elementalmente encajable en C
21. Sean A B y X . Pruebe que si D An es X-definible en A, entonces D es X-definible en
B.
22. Sean A, B, C P V . Si C A finitamente generada y B C entonces hay A1 P V tal que
B A1 finitamente generada. As mismo si A es finitamente generada y A B entonces B
tambin lo es.
23. Sea A P V . Si A es ultrahomogenea, entonces sus ages tiene la propiedad de amalgamacin.
24. Sea D el sistema de Tarski para A ms pequeo que contiene a:
a) cA para cada c P ;
38

b) La grfica de f A para cada f P , smbolo funcional;
c) RA para cada R P , smbolo relacional y
d) X A
Pruebe que D es X-defininble syss D P Sn para alguna n P .
25. Sea A P V . Si se hace A1 una expansin de A, donde se agrega a la signatura las funciones,
relaciones y elementos definibles entonces, D es definible en A syss D es definible en A1 .
26. Se puede hacer lo mismo que en el ejercicio anterior para conjuntos X-definibles?
27. Se define el conjunto de frmulas positivas, F RM P , como el conjunto ms pequeo de frmulas
que contiene a las atmicas y es cerrado bajo conjuncin, disyuncin , cuantificacin existencial
y universal. Pruebe que Si T es una -teora entonces M odpT q es cerrada bajo epimorfismos
fuertes syss T es axiomatizable con enunciados positivos.
28. Sea AP los enunciados, que son axiomas de la aritmtica de Peano, sea el modelo estandar
de ellos y B P M odpAP q no isomorfo a . Diga si se da alguna de las siguientes relaciones o
no, justifique su respuesta:
a) B;
b) h B;
c) B y
d) B
29. Pruebe que A B syss A B y para toda a1 , . . . , an P A, xA, a1 , . . . , an y xB, a1 , . . . , an y.
30. Prueba que M odpT q es cerrado bajo extensiones syss T es 1 -axiomatizable.
31. Sea A P V . Pruebe que
tB P V : Hay C A tal que C B y C es finitamente generadau
es un age de A.
Captulo 3
Teoras Completas y
Modelo-Completud
3.1.
Teoras Completas
Solo se han considerado una teora como un conjunto de frmulas de un lenguaje con tipo fijo,
algunos autores piden que una teora sea un conjunto T L , cerrado bajo consecuencia lgica, es
decir, T ( T , por el teorema de Completud-Correctud Extendido, tenemos que T $ T .
En este capitulo se estudiar lo ms a fondo posible la completud (sintctica), de una teora.
Consideremos la definicin.
Definicin 3.1. Sea T L . Se dice que T es completa o sintcticamente completa syss para todo
P L se tiene que T $ o T $ .
Histricamente la preocupacin sobre la completud de una teora ha sido de gran importancia,
inclusive un ejemplo de esto es la Aritmtica de Peano,que se crea era completa, y fue Kurt Gdel,
el que con una tcnica innovadora y para el autor completamente hermosa prob lo contrario,
por lo cual ya hay un ejemplo de teora incompleta. Otra puede ser la teora de los grupos, en la cual
no se puede probar la conmutatividad de la operacin. Consideremos el siguiente esquema basado en
el teorema de completud-correctud extendido.
T & T * T Y t u es satisfacible.
Esta tcnica es muy usada para probar la indemostrabilidad de un enunciado desde ciertas
hiptesis o axiomas. Por ejemplo en la teora de conjuntos, aunque la tcnica varia un poco puesto
que no es posible emplear estructuras como modelos debido al segundo teorema de incompletud
de Gdel, as que este planteamiento se tiene que modificar. El tema de modelos de la teora de
conjuntos es demasiado extenso como para abordarlo en este escrito, sin embargo, algunas de las
tcnicas aqu expuestas son muy similares a las empleadas en el area de modelos de la teora de
conjuntos.
Continuando con el tema de las teoras completas, surgen ciertas dudas, por ejemplo:
39
40
CAPTULO 3. TEORAS COMPLETAS Y MODELO-COMPLETUD
Cmo saber cuando una lo es? Que repercusiones semnticas tiene la completud de una
teora? Hay algn algoritmo para determinar si una teora es completa? Podemos emplear mucho
tiempo en formular preguntas sobre esto, y es que la propiedad de completud es bastante fuerte.
As que se continuara exhibiendo resultados y mostrando ejemplos acerca de condiciones suficientes
o a veces suficientes y necesarias para que una teora sea completa.
Teorema 3.2. Sea T L0 consistente. T es completa si y solo si para toda L0 consistente,
si T , entonces
T $ $
Prueba. [] Sea L0 consistente tal que extiende a T , claramente
T $ $
Luego considrese P L0 tal que $ , as T $ o T $
que T $ , de lo cual T $ .
, como es consistente, es imposible
[] Sea la completacin de T , cuya existencia es asegurada por el ejercicio uno de este captulo.
As T y es consistente, de lo cual
T $ $
La ltima igualdad es por las propiedades de y de la definicin de deduccin, as T es completa. :
La propiedad anterior se denomina que T es mximo-consistente, en otras palabras se prueba
que: Una teora completa es mximo-consistente.
Lema 3.3. Sea T L0 y A P M odpT q. Si T es completa entonces para todo P L0 tenemos que
A | T $
Prueba. Mostrar la necesidad de la proposicin es fcil ya que por el teorema de completudcorrectud la deduccin preserva la verdad en una estructura.
Sobre la suficiencia, supngase que A | y que T & , al ser T completa se asegura que T $ ,
por el argumento del prrafo anterior se tiene que A | , por lo tanto A | & , lo cual es
una contradiccin. Con lo que queda probado el lema.
:
Teorema 3.4. Sea T L0 . T es completa syss para cualesquiera
A, B P M odpT q se tiene que
AB
Prueba. [] Sea P L0 . Supngase que A | , como T es completa y A P M odpT q. Empleando el
lema anterior se tiene que T $ , con lo que se concluye que B | . Se debe notar que el argumento
para ver que T eopBq T eopAq es completamente anlogo.
[] Supngase que T no es completa, por lo que hay un enunciado P L tal que T & y
T & , por lo que T Y tu y T Y t u son consistentes. Por el resultado expuesto en el apndice
A se tiene que ambos conjuntos tienen modelos. Sean A y B respectivamente, por lo que A | y
B | , por lo cual estos no son elementalmente equivalentes.
:
3.1. TEORAS COMPLETAS
41
Este resultado brinda una repercusin en la semntica bastante fuerte, pues al emplear el teorema
de LS o LST, se puede ver que la completud no es una propiedad que haga que los modelos de una
teora con esta caracteristica, teniendo sta un modelo infinito, sean isomorfos. El lector deber
comprobarlo haciendo la prueba con el mayor rigor posible y sera este el primer ejercicio de este
captulo.
Se tiene ahora una condicin suficiente por el teorema y por el lema se sabe que una teora
completa captura exactamente las verdades sus modelos.
Ahora se abordar uno de los resultados mas famosos en la teora de modelos, el cual dar
condiciones para saber si una teora es completa; tal es as que recibe el nombre de Test de o-Vaught
(algunos autores lo llaman prueba). Tal resultado tiene varias versiones dependiendo del modo con
el que se aborde. Sobre todo por cuestiones pedaggicas se enuncia para lenguajes numerables, y
aqu se probar la version mas general, de la cual sera un caso particular. Antes de exhibir la prueba
del test de o-Vaught es necesario plasmar una definicin.
Definicin 3.5 (Categorizidad). Sea T L0 una teora.
1. Se dice que T es -categrica syss para cualesquiera dos A, B P M odpT q, si A B
entonces A B.
2. Se dice que T es categrica syss T es -categrica para cada P CAR.
Teorema 3.6 (Test de o-Vaught.). Sea T L0 . Si para todo A P M odpT q, ||A|| 0 y T es
-categrica para algn |L | entonces T es completa.
Prueba. Es difcil ver de manera directa que, dado un enunciado, se tiene que se puede deducir
dicho enunciado o su negacin desde T , por lo que se recurre al teorema 3.1 que se encuentra en la
pagina 39.
Sean A, B P M odpT q, por el teorema de LS o LST para estructuras, debido a que T no tiene
modelos finitos se puede emplear con A y B, hay A1 y B1 con A A1 y B B1 y A1 B 1 , al
ser T una teora -categrica se tiene que A1 B1 por el teorema 4 (pag. 10), se tiene que A1 B1 .
Como la relacin de equivalencia lgica es de transitiva, se sabe que A B, con lo que se obtiene
que T es completa.
:
Es necesario recalcar la importancia de que la teora sea -categrica en un cardinal mayor al del
lenguaje, ya que sin esto no se podra usar LS o LST para estructuras, ya que el teorema descendente
tiene como lmite la cardinalidad del lenguaje.
Se continuara con algunos ejemplos de teoras cuya completud se puede asegurar utilizando el
Test de o-Vaught.
Ejemplo 3.7. Considrese tf, gu Y H Y tc0 , c1 u, y T 1 L con los siguientes enunciados:
@x@yDzpf xy zq
@x@yDzpgxy zq
@x@y@zpf xf yz f f xyzq
@x@y@zpgxgyz ggxyzq
42

@xpf xc0 xq
@xpgxc1 xq
@xDypf xy co q
@xp px c0 q Dypgxy c1 qq
@x@y@zpgxf yz f gxygxzq
Claramente esta no es una teora completa ya que los reales como campo y los complejos como campo, son modelos de ella y no son elementalmente equivalentes, ya que el enunciado Dxpf gxxc1 c0 q
es falso en el primero y verdadero en el segundo.
Pero si agregamos enunciados acerca de la cerradura algebraica, es decir, encontrar axiomas
para la teora de los campos algebraicamente cerrados descartamos ejemplos como los anteriores, sin
embargo, todava no tenemos una teora completa.
Los siguientes son los axiomas de la cerradura algebraica, llamemos T 2 , al conjunto de estos y
que contiene a T 1 .
@x1 @x2 p px2 c0 q Dx0 pf x1 gx2 x0 c0 qq
@x1 @x2 @x3 p px3 c0 q Dx0 pf f x1 gx2 x0 gx3 gx0 x0 c0 qq
@x1 @x2 @x3 p px4 c0 q Dx0 pf f f x1 gx2 x0 gx3 gx0 x0 gx4 gx0 gx0 x0 c0 qq
...
Ahora si a T 2 agregamos enunciados que descarten la posibilidad de que la caracteristica sea distinta
de cero, a saber:
pc1 c0 q
pf c1 c1 c0 q
pf f c1 c1 c1 c0 q
...
y al conjunto de los 3 grupos le llamamos T , obtenemos que esta es una teora completa, ya
que un resultado, bastante citado, pero del cual no hemos encontrado prueba es que dos campos
algebraicamente cerrados de caracterstica fija con la misma cardinalidad son isomorfos, al ser L
numerable, podemos aplicar el Test de o-Vaught, con lo que se respalda lo antes dicho.
Ejemplo 3.8. Sea tRu. Sea T el conjunto de los siguientes -enunciados:
@x@ypRpx, yq _ Rpy, xq _ x yq
@x Rpx, xq
@xDyRpx, yq
3.2. ELIMINACIN DE CUANTIFICADORES
43
@xDyRpy, xq
@x@ypRpx, yq
Rpy, xqq
@x@yDzpRpx, yq pRpx, zq & Rpz, yqqq
@x@y@z pRpx, yq & Rpy, zqq Rpx, zq

Una estructura relacional que sea modelo de T , es un orden denso sin extremos; dicha teora es
completa, pues Cantor da una prueba de que dos de estos numerables son isomorfos, de hecho prueba que dado uno es isomorfo con xQ, y. En resumen, Cantor prob que dicha teora es 0 -categrica.
Ejemplo 3.9. Sea A x 2, y, donde si g, f P 2, f g syss se cumple alguna se las siguientes
condiciones:
g g y f rDompgqs 0
f g y grDompf qs 1
f K g y f pmintn : f pnq gpnquq 0 As T eopAq es 0 -categrica, de hecho, esta estructura
relacional es un orden denso sin extremos numerable, por lo mencionado en el ejemplo anterior
es isomorfa a los racionales con su orden.
Ejemplo 3.10. Sea s xN, s, 0y, as T eops q es -categrica para todo 0 .
Ejemplo 3.11. La teora de las lgebras de Boole sin tomos es 0 -categrica.
Proposicin 3.12. Sea T una -teora 2 -axiomatizable cuyos modelos son solamente infinitos y
-categrica para algn cardinal | L | entonces todo modelo de T es existencialmente cerrado.
Prueba. Como T slo tiene modelos infinitos por LST o LS hay un modelo de cardinalidad , as
sabemos por lo ltimos teoremas que se encuentran en la secin de cadenas de estructuras que
hay un modelo existencialmente cerrado de cardinalidad , a saber A. Supngase que no todos los
modelos de T son existencialmente cerrados, sea B1 el testigo de esta, por los mismos teoremas se
sabe que hay B de tamao , que no es existencialmente cerrado, por la -categoricidad resulta que
A B. Se probar que esto es una contradiccin. Sea C B tal que C | D
xp
x, bq, por la isomorfa
hay D P M odpT q extensin de A, isomorfa a C de lo cual se puede ver que B | D
xp
x, bq, lo cual es
una contradiccin ya que no era existencialmente cerrado.
:
3.2.
Eliminacin de Cuantificadores
La eliminacin de cuantificadores es un mtodo muy explotado en el mbito de la decisin de

teoras, es decir, encontrar un algoritmo para saber si dado un enunciado este se deriva desde la
teora o no. Tambin se puede usar este mtodo para estudiar la definibilidad en estructuras, ya que
es mucho ms fcil trabajar con frmulas sin cuantificadores.
Definicin 3.13. Sea T L . Se dice que T admite eliminacin de cuantificadores, EDC syss
para cada frmula p
xq P Ln hay p
xq P Ln X n0 sin cuantificadores tal que
`
T $ @
x p
xq p
xq
44
Enseguida se presenta un resultado que ayudar a resolver el problema de cuando una teora
acepta eliminacin de cuantificadores.
Proposicin 3.14. Sea T L0 . Si dada
Dx
i1
con i P LIT hay P L X0 tal que T $ entonces T admite eliminacin de cuantificadores.

Prueba. La prueba se realiza por induccin sobre la formacin de frmulas. Claramente las
combinaciones booleanas y las atmicas no tienen problemas. Se tratar directamente el caso de la
cuantificacin. Considrese Dx, la hiptesis de induccin es que hay P L sin cuantificadores tal
que T $ , as T $ Dx Dx, como no tiene cuantificadores se le puede llevar a su forma
normal disyuntiva, con lo que
1i ^ . . . ^ ni i
con rs P LIT
i1
m `
por lo que T $ Dx Dx` i1 1i ^ . . .^ ni i y por los resultados de teora de la prueba, se tiene

m
que T $ Dx i1 Dx 1i ^ . . . ^ ni i , por hiptesis cada disjunto es equivalente a una frmula
sin cuantificadores, con lo que T admite eliminacin de cuantificadores.
:
Ejemplo 3.15. Toda teora completa acepta eliminacin de cuantificadores.
Ejemplo 3.16. Tomemos As el conjunto de los siguientes axiomas:
@x psx 0q
@xpx 0 Dzpsz xq
@x@ypsx sy x yq
Para cada n P , @xpsn x xq
As admite eliminacin de cuantificadores.
Ejemplo 3.17. La teora AL conformada por las siguientes frmulas, admite EDC:
S3 @xpx 0 Dypsy xqq
L1 @x@ypx sy x yq
L2 @x px 0q
L3 @x@ypx y _ x y _ y xq
L4 @x@ypx y
py xqq
L5 @x@y@zppx y & y zq x zq
45
3.2. ELIMINACIN DE CUANTIFICADORES

La cual se conoce como la aritmtica del orden.
Ahora se enlistan algunos resultados donde se mezclan propiedades modelo tericas con la EDC.
Definicin 3.18. Sean y 1 tipos de semejanza tales que 1 y T L0 y T 1 una 1 -teora. Se
dice que T 1 es una extensin conservativa de T syss T T 1 y para todo P L0 se tiene que T $
syss T 1 $ .
Con la definicin anterior se puede enunciar la siguiente proposicin.
Proposicin 3.19. Cualquier teora T L0 tiene una extensin conservativa T 1 L01 tal que T 1
es 2 -axiomatizable y admite eliminacin de cuantificadores.
Prueba. Para cada frmula px1 , . . . xm q P L se agrega a un smbolo R px1 , . . . xm q y se hace
T 1 T Y tR : P L u claramente es una extensin conservativa. Para ver que admite eliminacin
de cuantificadores es suficiente notar que las siguientes frmulas se deducen de T 1
`
1. @
x R p
xq R p
xq ;
`
2. @
x R & p
xq R p
xq & R p
xq y
3. @
x RDy p
xq DyR p
x, yq
Con lo cual adems se verifica que dicha teora es 2 -axiomatizable.
Ms adelante se vern algunas repercusiones de que una teora admita EDC, pero la forma que se
tiene para verificar si un conjunto de enunciados tiene dicha propiedad es un poco arcaica. Adems
no se ha abordado desde el punto de vista del comportamiento de sus modelos.
Sabemos que las frmulas sin cuantificadores px1 , . . . , xn q tienen la propiedad siguiente. Si
A, B P V tales que A B y para cualquier a1 , . . . , an P A ocurre que
A | pa1 , . . . , an q syss B | pa1 , . . . , an q
As no es descabellado pensar que si dados dos modelos de una teora y una subestructura comun,
podemos hacer que una frmula cualquiera con una signacin de elementos de la subestructura
comn baje y suba a la otra, entonces esta frmula sea equivalente a una sin cuantificadores. De
hecho se probara la formalizacin de este hecho despus del siguiente lema.
Lema 3.20. Sean A, B P V , a1 , . . . , an P A, b1 , . . . , bn P B y px1 , . . . , xn q el conjunto de frmulas
sin cuantificadores. Si
xA, a1 , . . . , an y Vpx1 ,...,xn q xB, b1 , . . . , bn y
entonces hay C A y h : C B tal que h es un encaje entre C y B.
Prueba. Sea C xta1 , . . . , an uyA , por lo que para cada c P C hay tpx1 , . . . , xn q P T RM tal que
tC pa1 , . . . , an q c luego para cada 1 P diagpCq podemos encontrar una frmula pa1 , . . . , an q P
L0pAq tal que
xC, Cy | 1 syss xC, Cy | pa1 , . . . , an q
46
como C A, xA, Cy | diagpCq tambin por hiptesis

xA, a1 , . . . , an y Vpx1 ,...,xn q xB, b1 , . . . , bn y
por la observacin sobre las frmulas del diagrama de C podemos concluir que una expansin de B
hace verdad a diagpCq, por el lema del diagrama, hay h : C B encaje. De hecho, C se encaja en
xtb1 , . . . , bn uyB .
:
Proposicin 3.21. Sea T una -teora. Las siguientes proposiciones son equivalentes:
1. T admite eliminacin de cuantificadores
2. Si para cualesquiera B, C P M odpT q, px1 , . . . , xn q P Ln , se tiene que para cualquier subestructura comn A y para cualesquiera a1 , . . . , an P A se tiene que
C | pa1 , . . . , an q syss B | pa1 , . . . , an q.
Prueba. r1 2s Esta es la parte fcil, pues se toman B, C P M odpT q y px1 , . . . , xn q P Ln . Sean
A B, C y a1 , . . . , an P A y supngase que B | pa1 , . . . , an q, como T admite EDC, se tiene que
hay px1 , . . . , xn q P Ln X 0 , tal que
T $ @x1 . . . @xn ppx1 , . . . , xn q px1 , . . . , xn qq
Al ser B, C P M odpT q se tiene que
B, C | @x1 . . . @xn ppx1 , . . . , xn q px1 , . . . , xn qq
por lo que B | pa1 , . . . , an q syss (por que es libre de cuantificadores), A | pa1 , . . . , an q syss
(razn anloga), C | pa1 , . . . , an q syss C | pa1 , . . . , an q.
r2 1s Es inmediato del corolario 2.20 y del lema anterior.
3.3.
Modelo-Completud
El nombre puede retumbar un poco en cuanto a la completud sintctica,y aunque no es equivalente

a ella, si tiene cierta relacin.
A lo largo de este texto se han encontrado resultados de como el comportamiento de los modelos
de una teora repercute en la forma de enunciados que se pueden emplear para clasificarla. Otro
resultado importante es que los modelos de una teora completa son elementalmente equivalentes.
Ahora se estudiar una propiedad bastante fuerte, pues obligara a dos estructuras que tienen la
relacin de subestructura a ser de subestructura elemental, tambin se plasmaran resultados de
equivalencia ante este hecho.
Definicin 3.22. Sea T L0 . Se dice que T es modelo-completa syss para cualquier A P M odpT q,
T Y diagpAq es completa.
Ahora se plasma una caracterizacin para teoras modelo-completas.
47
3.3. MODELO-COMPLETUD
Proposicin 3.23. Sea T L0 . Las siguientes proposiciones son equivalentes1
1. T es modelo-completa
2. Si A, B P M odpT q y A B entonces A B
Prueba. r2 1s Sean A P M odpT q y D1 , C1 P M odpT Y diagpAqq, por lo que D1 , C1 P V pAq , as

al considerar C, D sus -reductos, hay h y f tales que A f D y A h C, se vera que D1 C1 .
Consideremos pa1 , . . . , an q P L0 por lo que D1 | pa1 , . . . , an q se sabe que A f D, por lo
que al considerar las constantes ai , f y al considerar que D es -reducto de D1 que es una pAq
interpretacin se tiene que D1 | pa1 , . . . , an q syss D | pf pa1 q, . . . , f pan qq syss A | pa1 , . . . , an q
syss C | phpa1 q, . . . , hpan qq syss C1 | pa1 , . . . , an q. Con lo que se concluye que D1 C1 .

r1 2s Supngase que 2 no es cierto, as hay A0 , A1 P M odpT q tal que A0 A1 y hay
px1 , . . . , xn q P L y b1 , . . . , bn P A0 tal que2 A0 | pb1 , . . . , bn q y A1 | pb1 , . . . , bn q. Al ser
A0 A1 , tenemos que xA1 , A0 y | diagpA0 q, por otro lado se tiene que pb1 , . . . , bn q P L0pA0 q , por
lo que
xA0 , A0 y | T Y diagpA0 q Y tpb1 , . . . , bn qu

y
xA1 , A0 y | T Y diagpA0 q Y t pb1 , . . . , bn qu

por lo anterior por el teorema de correctud-completud se tiene que
T Y diagpA0 q & pb1 , . . . , bn q y T Y diagpA0 q &
pb1 , . . . , bn q
Por lo cual T Y diagpA0 q no es completa.
Proposicin 3.24. Sea T L0 . Si T es modelo-completa entonces T se preserva bajo uniones de

cadenas.
Prueba. Sea xAi : i P Iy una cadena de modelos de T , al ser T modelo-completa entonces xAi : i P Iy
es una cadena elemental, por el teorema de la cadena de Tarski, para cada j P I,
Aj
Ai
iPI
por lo cual
Ai | T
iPI
Corolario 3.25. Las teoras modelo-completas son 2 -axiomatizables.

1 El lector que busque en otros textos podr encontrar que ambas se manejan como definiciones de que una teora
sea modelo-completa.
2 Estamos negando ser extensin elemental, por lo que habra que negar un bicondicional, nosotros negaremos un
sentido,el lector podr percatarse que el sentido que no estamos probando es completamente anlogo a la prueba que
se esta brindando
48
Ejemplo 3.26. Ms adelante se prueba que las teoras modelo-completas solo tienen modelos
existencialmente cerrados. La teora de campos es -axiomatizable y Si tomamos un campo sus
extensiones no son necesariamente elementales.
Proposicin 3.27. Sea T una -teora. T es modelo-completa syss todo modelo de ella es existencialmente cerrado.
Prueba. rsEs trivial.
rs Sean A, B P M odpT q, con A B sean a1 , . . . , an P A, veamos que para toda px1 , . . . , xn q,
A | pa1 , . . . , an q B | pa1 , . . . , an q.
Como A es existencialmente cerrado, por hiptesis B V1 A por lo que hay A1 B tal que
A A1 , anlogamente al ser B existencialmente cerrado se tiene que hay B1 A1 , con B B1 ,
claramente cada estructura nueva es modelo de T existencialmente cerrado, por lo cual, procediendo
por induccin, hay xAi : i P y y xBj : j P y cadenas elementales, tomando A0 A lo mismo para
B, tales que
Ai
Bj
iP
jP
Adems por el teorema de Tarski de la cadena elemental
A
Ai
Bj B
iP
jP
con lo cual se tiene el resultado deseado.
Proposicin 3.28. Si una teora T acepta eliminacin de cuantificadores entonces T es modelocompleta.

Prueba. Sean A, B P M odpT q tales que A B, px1 , . . . , xn q P L y a1 , . . . , an P A. Supngase
que A | pa1 , . . . , an q, como T acepta eliminacin de cuantificadores hay px1 , . . . , xn q P Ln sin
cuantificadores tal que
por lo que A | pa1 , . . . , an q, al ser px1 , . . . , xn q sin cuantificadores, A | pa1 , . . . , an q syss
B | pa1 , . . . , an q y regresando a la frmula que se deduce desde T se tiene que B | pa1 , . . . , an q,
con lo cual A B.
:
Con el resultado anterior se tiene que todos los ejemplos de teoras que aceptan eliminacin de
cuantificadores son modelo-completas.
Proposicin 3.29. Si T es una -teora y acepta eliminacin de cuantificadores entonces
K M odpT q Y tA P V : A B y B P M odpT qu
tiene la propiedad de amalgamacin.
49
3.3. MODELO-COMPLETUD
Prueba. Sean A, B, C P K tales que A B y A C, como B, C P K hay B1 , C1 P M odpT q tales

que B B1 y C C1 . Como T admite eliminacin de cuantificadores entonces T es modelo-completa
por lo que A se encaja elementalmente en B1 y C1 . As por la proposicin 2.10 se tiene que hay D
donde estas se encajan elementalmente. Si se toman las inclusiones respectivas entre las estructuras
y sus extensiones y el encaje en D se tiene que B y C se encajan en D.
:
Proposicin 3.30.
T L0 es modelo-completa syss para cada frmula p
xq P Lm hay p
xq P m
1
tal que T $ @
x p
xq p
xq
Prueba. rs Sean p
xq P Lm , A, B P M odpT q, a
P Am y b P B m tales que
xA, a
y Vm
xB, by
1
y A | p
aq. Por el lema 2.17 basta probar que B | pbq. En efecto, como xA, a
y Vm
xB, by
1
1
entonces hay xB , By extensin elemental de xB, by donde xA, a

y se encaja, por la modelo-completud
el encaje es elemental, por lo tanto xB1 , By | pbq as xB, By | pbq.
rs Como todas las frmulas son equivalentes a una existencial desde T , tambin se tiene que lo
son a una universal, en efecto, sea p
xq P Lm por hiptesis hay p
x q P m
1 tal que
T $ @
xp p
xq p
xqq
por lo tanto T $ @
xpp
xq p
xqq y como p
x q P m
p
x q P m
1 se tiene que
1 .
. Sean A, B P M odpT q, tales que A B como cualquier frmula desde T es equivalente a una
universal, pasara de A a B, siempre que tenga parametros en A. Por lo que A B.
:
Definicin 3.31. Sea T L0 . Se dice que T tiene modelo primo syss hay A P M odpT q, tal que
para todo B P M odpT q, se tiene que A B.
Teorema 3.32. Si T es una teora modelo-completa y tiene modelo primo, entonces T es completa3 .
Prueba. Sean A, B P M odpT q y C P M odpT q el modelo primo; as, C A, B. Supngase que h y
g son los testigos de estos encajes, por lo que hrCs A y grCs B, como T es modelo-completa
entonces hrCs A y grCs B, con lo cual A C.
:
Ahora claramente no todas las teoras son modelo-completas, pero podemos asociar a cada teora
una teora 1 la cual sea modelo-completa, y aunque claramente M odpq M odp1 q sus modelos
si tienes una relacin.
Definicin 3.33. Sean T, T 1 L0 . Se dice que T 1 es una modelo-compaia de T syss
1. T 1 es modelo-completa;
2. Para todo A P M odpT q hay B P M odpT 1 q tal que A B y
3. Para todo A P M odpT 1 q hay B P M odpT q tal que A B
Proposicin 3.34. Sean T, T 1 , T 2 L0 . Si T 1 y T 2 son modelo-compaias de T entonces
M odpT 1 q M odpT 2 q
3 sintcticamente
50
Prueba. Sea A0 P M odpT 1 q. As hay A1 P M odpT q tal que A0 A1 , por la misma definicin hay
B0 modelo de T 2 tal que B0 A1 A0 ; por el argumento en otra direccin hay A1 modelo de T 1
tal que B0 A1 . Claramente el argumento se puede repetir de manera recursiva sobre y con
ello construir dos cadenas xAi : i P y de modelos de T 1 y xBi : j P y de modelos de T 2 , donde
adems Bi Ai`1 . As se tiene que la unin de las cadenas es el mismo modelo y por ser T 1 y T 2
modelo-completas, dicha unin es modelo de ambas y no slo eso, sino que las cadenas son cadenas
elementales por lo cual
A0
Ai
Bj
iP
jP
Por lo que A0 | T 2 .
La otra contencin es completamente anloga.
Ejemplo 3.35. La teora de los rdenes lineales densos sin extremos es una modelo-compaia de la
de los discretos.
La prueba de este hecho se deja a lector.
Para unir unir los conceptos de modelo compaia y de modelo existencialmente cerrado se plasma
la siguiente proposicin.
Proposicin 3.36. Si una -teora T es 2 -axiomatizable y T 1 es una modelo compaia de esta,
entonces M odpT 1 q es la clase de los modelos existencialmente cerrados de T .
Prueba. Se toma un modelo de T 1 y se ver que hace verdad a T y que adems este es existencialmente cerrado.
Sea A0 modelo de T 1 , se har una cadena de modelos, uno de T y uno de T 1 , lo cual es posible
por la definicin de modelo-compaia.
Sean xAi : i P y de modelos de T 1 y xBi : j P y de modelos de T , donde ademas Bi Ai`1 , de
nuevo
A0
Ai
Bj
iP
jP
pero esta vez al ser T , 2 -axiomatizable
Bj | T
jP
Por lo que A | T . Para verificar que es existencialmente cerrado en T , sea C P M odpT q tal que
A0 C y C | pa1 , . . . , an q, con a1 , . . . , an P A0 y px1 , . . . , xn q P n1 ; as hay C1 modelo de
T 1 y extensin de C, de lo cual C1 | pa1 , . . . , an q pero ademas A0 es modelo de T 1 , la cual es
modelo-completa y por lo tanto todos sus modelos son existencialmente cerrados y como C1 A0 , se
tiene que A0 | pa1 , . . . , an q, por lo que A0 es existencialmente cerrado en T .
:
3.4.
51
1. Sea T L0 . Prueba que si T es consistente, entonces hay L0 consistente tal que T

y para todo P L0 , P o P .
2. Pruebe que si una teora tiene un modelo finito y uno infinito entonces no es completa.
3. Pruebe la proposicin mencionada en este capitulo como ejercicio 1 en la pagina 41
4. Pruebe que D N es definible en As syss D es finito o cofinito.
5. Pruebe lo mismo que en 3 para AL .
6. Sea L contable y L0 . Si cualesquiera dos modelos contables de son elementalmente
equivalentes entonces es completa.
7. Tome tR2 u. Escriba los enunciados para que esta se interprete, en un modelo de ellos,
como una relacin de equivalencia y despus agregue los necesarios para que:
a) Haya una infinidad de clases de equivalencia;
b) Cada clase de equivalencia sea infinita y
c) Se cumplan las dos condiciones anteriores.
Haga T el conjunto de enunciados del ultimo inciso y pruebe que: T es 0 -categrica, pero no
es 1 -categrica. Indicacin: Use la cofinalidad de 1 .
8. Sea tRu, donde R es un smbolo relacional de aridad 1.
a) Escriba la -teora T , tal que si A | T , entonces RA es infinito y AzRA tambin.
b) Pruebe que T es 0 -categrica.
c) Pruebe que T no es 1 -categrica.
9. Escriba los axiomas para la teora de ordenes densos con extremos, pruebe que es 0 -categrica.
10. Pruebe que la teora de los rdenes lineales densos sin extremos es la modelo-compaa de la
teora de los ordenes lineales discretos.
11. Sean tRu, con R de aridad dos. Si T es la -teora que consta de los siguientes enunciados:
a) @xRpx, xq
b) @x@ypRpx, yq Rpy, xqq
c) @x@y@zppRpx, yq & Rpy, zqq Rpx, zqq Entonces T admite eliminacin de cuantificadores.
12. Pruebe que la teora de los ordenes discretos lineales sin extremos admite eliminacin de
cuantificadores.
13. Pruebe que si T es una -teora modelo-completa y M odpT q tiene la propiedad del encaje
comn, entonces T es completa.
52
14. Encuentre una teora cerrada bajo uniones de cadenas que no sea modelo-completa.
15. Pruebe que si T es una -teora con modelos infinitos, cerrada bajo uniones de cadenas y
-categrica para algn | L |, entonces T es modelo completa. Indicacin: Recuerde los
teoremas de categoricidad para modelos existencialmente cerrados.
Captulo 4
lgebras de Boole
Las lgebras de Boole son de capital importancia en el estudio de la lgica matemtica, ya que
con ellas se puede caracterizar la lgica clsica y se pueden usar como herramientas para desarrollar
tcnicas en la teora de los conjuntos para abordar la indecibilidad de enunciados como la Hiptesis
del Continuo y el Problema de Malikhin.
Las lgbras de Boole seran una herramienta importante en este texto, y aunque no se har
un tratado sobre el tema, si se explicar lo necesario para seguir la teora de modelos, ya que se
emplearn para construir objetos sumamente interesantes, como los ultrafiltros, para poder llegar
al ultraproducto (en el siguiente captulo). Ms adelante se dar una prueba de los teoremas de
omisin de tipos y se caracterizara la existencoa de los modelos atmicos para algunas teoras.
4.1.
lgebras de Boole
Como se acostumbra realizar en lgebra, se iniciar por llevar a cabo un anlisis interno de
las lgebras de Boole, propiedades de las operaciones y del orden. Despus se expondrn algunos
resultados de relaciones que se dan entre lgebras de Boole.
Definicin 4.1. Consideremos t`, ,, 0, 1u, donde ` y son smbolos funcionales binarios,es
un smbolo funcional unitario y 0 y 1 son constantes. Un lgebra de Boole sera una interpretacin
A P V , que hace verdaderos los siguientes enunciados:1
1. @x@y x ` y y ` x & x y y x Conmutatividad;
2. @x@y@z px ` yq ` z x ` py ` zq & px yq z x py zq Asociatividad;
3. @x@y@z x py ` zq px yq ` px zq & x ` py zq px ` yq px ` zq Distributibidad;
4. @x@y x ` px yq x & x px ` yq x Absorcin y
5. @x x ` x 1 & x x 0 Complementacin.
1 Se
trabajar con lgebras de Boole propias, lo cual significa que A |
53
p1 0q
54
CAPTULO 4. LGEBRAS DE BOOLE
Con las operaciones se define el orden de la siguiente manera: x y syss x ` y y

B denotar a la clase de estructuras algebraicas que son un lgebra de Boole.
De ahora en adelante, si no es necesario, no se sealar el smbolo con la interpretacin, es decir
que, siempre que sea claro en lugar de À se emplear solamente `. Lo mismo para los dems
smbolos del tipo de semejanza.
Ahora se procede a un estudio de propiedades, enunciando las proposiciones y brindando la
prueba enseguida. Se debe aclarar que se pueden pedir menos axiomas y de hecho definir una
operacin con base en las otras dos, pero se estima que solo se perdera claridad.
Proposicin 4.2 (Propiedades de las operaciones y el orden.). Las siguientes B-frmulas se
satisfacen en cualquier algebra de Boole.
1. x ` x x
Prueba: x x ` px xq px ` xq px ` xqAbsorcin y distributividad
ppx ` xq xq ` ppx ` xq xq x ` x Distributividad y absorcin.
2. x x x
Prueba: x x px ` xq absorcin
px xq ` px xq ppx xq ` xq ppx xq ` xq distributividades
x x absorcin.
3. x x
Prueba: Es directo, del primer resultado.
4. @x@y x y & y x x y
Prueba:Como x y se tiene que y x ` y, de manera anloga x x ` y. Por lo anterior y
la conmutatividad de ` se tiene que x y.
5. @x@y@z x y & y z x z
Prueba: Se recurre a la definicin del orden y se calcula x ` z. As x ` z x ` py ` zq, ya que
y z y por lo tanto y ` z z. Por la otra hiptesis y por la asociatividad x ` z x ` py ` zq
px ` yq ` z y ` z z.
6. x y x y x
Prueba: rs Si x y se tiene que x ` y y, as x y x px ` yq x empleando la
absorcin.
rs x ` y px yq ` y y. Ntese que la sustitucin de x tiene lugar por la hiptesis y
despus, la igualdad se obtiene por absorcin.
7. x 0 0
Prueba: x 0 x px xq px xq x
por el inciso 2 de esta lista, se tiene que px xq x x x 0, llegando as a lo que se quera.
8. x 1 x
Prueba: x 1 x px ` xq x por absorcin.
4.1. LGEBRAS DE BOOLE
55
9. x ` 0 x
Prueba: x ` 0 x ` px xq x empleando absorcin.
10. x ` 1 1
Prueba: x ` 1 x ` px ` xq px ` xq ` x x ` x 1
11. x y syss x y 0
Prueba: rs Por hiptesis x ` y y
As x y px yq y x py yq x 0 0.
rs veamos cuanto vale x y, de hiptesis se tiene que x y 0,
por lo que x x 1 x py ` yq px yq ` px yq px yq ` 0 x y.
12. Los complementos son nicos.
Prueba: Sean x, y, z P A. Supngase que x y 0, x ` y 1 y x z 0, x ` z 1. Se ver
que z y, en efecto z z 1 z px ` yq pz xq ` pz yq
0 ` pz yq z y, con lo que hemos probado que z y. Anlogamente se puede probar que
y z con lo cual se obtiene la igualdad.
13. @xpx xq.
Prueba: Ahora que se sabe que los complementos son nicos basta probar que x y x son
complementos de x. As, solo hace falta observar que x ` x 1 y x ` x 1 ya que uno es el
complemento del otro, anlogamente x x x x 0. Por el resultado anterior se tiene que
x x.
14. px ` yq x y.
Prueba: Basta observar que el trmino que se encuentra a la derecha de la igualdad, sirve de
complemento a x ` y. As px ` yq ` px yq ppx ` yq ` xq ppx ` yq ` yq
ppx ` xq ` yq ppy ` yq ` xq p1 ` yq p1 ` xq 1 1 1
Con un clculo similar se obtiene que px ` yq px yq 0, con lo cual queda probado el
resultado.
15. @xp0 x 1q.
Prueba: Es inmediato de los resultados anteriores pues x 0 0 y x 1 x.
16. @x@y@z px z & y zq x ` y z

Prueba: Se recurre ala definicin de orden. As
z z ` z px ` zq ` py ` zq px ` yq ` pz ` zq px ` yq ` z con lo cual se tiene lo que se
deseaba.
17. @x@y@z px z & x yq x y z

Prueba: Anlogo al anterior x x x px yq px zq x py zq.
18. @x@y px yq x y
Prueba: Se sabe que x x y que y y. Como x y, se tiene que x y, y con las primeras
dos igualdades y la anterior, x y.
19. 0 1 & 1 0.
Prueba: Con todos los resultados que ya se tienen esto es inmediato, pues 0 1 0 y 0 ` 1 1.
Con la unicidad de los complementos se ha terminado.
56
20. @x@y@w@z px y & w zq px ` w y ` zq & px w y zq & py xq

Prueba: Para obtener el resultado simplemente se toma la caracterizacin de orden pertinente
y se llevan a cabo los clculos, solo se exhibir el caso de la suma, dejando al lector los dems
como ejercicios. As px ` wq ` py ` zq px ` yq ` pw ` zq y ` z, quedando as probado lo
antes planteado.
21. @x@y@z z x y x z ` y .
Prueba: rs Computndose x x 1 x pz ` zq px zq ` px zq. Por resultados anteriores
y tomando en cuenta la hiptesis, se tiene que x z z y x z y, con el cmputo anterior
se tiene que x y ` z.
rs Se tiene que z x z pz ` yq ya que z z y x z ` y ya que es la hiptesis. Por otro
lado z pz ` yq pz zq ` pz yq 0 ` pz yq z y, por lo que z x y.
22. @x@y x ` y px yq & x y px ` yq

Prueba: Es inmediata de los resultados anteriores.
Las propiedades anteriores son de carcter interno en las lgebras de Boole. De manera anloga
al estudio de las estructuras que se ha venido realizando a lo largo de este trabajo. Se presentan
a continuacin algunas definiciones y resultados bsicos de la teora, para en la seccin posterior,
pasar al tema de filtros e iniciar el trabajo con la tcnica de ultraproductos.
Definicin 4.3. Sean A1 , A P B. se dice que A1 es sublgebra de A, en smbolos A1 A syss A1 A,
es decir, guardan entre ellas la relacin de subestructura.
Es importante hacer notar que esto no se da de manera general para definir este tipo de aspectos
en lgebra, por ejemplo, una subestructura de un grupo, no es necesariamente un subgrupo, como
se ha dejado ver en el primer captulo. Se sabe que lo anterior tiene lugar ya que los axiomas de
lgebra de Boole son enunciados universales. En captulos anteriores se dio un anlisis de ciertas
colecciones de estructuras y uno de los resultados que se plasmo es que M odpT q es cerrada bajo
subestructuras syss T es axiomatizable con enunciados universales; por el momento se deja esto a
un lado para regresar al estudio de B, pero aqu es pertinente la aclaracin.
Enseguida una serie de ejemplos de lgebras de Boole.
Ejemplo 4.4. Sea L, conjunto de letras proposicionales, L el conjunto de frmulas del lenguaje
proposicional y la relacin de equivalencia lgica para proposiciones. Denotamos para cada P L,
rs t P L : u
Sea A el cociente de L con . As, con las operaciones y elementos definidos como sigue:
rs rs r & s
rs ` rs r _ s
rs r s
0 r &
1 r _ s
4.2. FILTROS Y ULTRAFILTROS
57
se tiene un lgebra de Boole, a la cual se le conoce como lgebra de Lindenbaum.

Ejemplo 4.5. Sea A un conjunto entonces xpAq, Y, X, Az_, H, Ay es un algebra de Boole, llamada
lgebra potencia. De hecho ms adelante se probar que toda lgebra de Boole es encajable en un
lgebra potencia.
Ejemplo 4.6. xt0, 1u, `, ,, 0, 1y donde 1 ` 1 1 es un lgebra de Boole.
Por el momento se continuara con la discusin sobre los filtros y ms adelante, con estos como
herramientas, se retomar el pequeo estudio sobre las lgebras de Boole.
4.2.
Filtros y Ultrafiltros
Se puede hablar de filtros y ultrafiltros en cualquier orden parcial, pero hay caracterizaciones
para los segundos en las lgebras de Boole que no se tendran en los ordenes parciales.
De esta forma debe quedar claro que con el orden definido para lgebras de Boole, estas tienen estructura de orden parcial, pero la estructura planteada es ms rica con los axiomas que se tienen.
Ahora se define formalmente un filtro en un lgebra de Boole.
Definicin 4.7. Sea A P B y F A. Decimos que F es un filtro en A syss se cumplen las siguientes
condiciones:
1. 0 R F 2 y 1 P F 3 ;
2. Para todo x, y P A si x, y P F entonces x y P F y
3. Para todo x, y P A si x P F y x y entonces y P F.
Cuando el lgebra de Boole es un lgebra potencia sobre D, se dir que es un filtro sobre D.
Tambin existe la nocin dual a los filtros, la cual se conoce como ideal4 . Ahora se presentan
algunos ejemplos que ilustren la definicin de filtro:
Ejemplo 4.8. Para cualquier lgebra de Boole se tiene que t1u es un filtro.
Ejemplo 4.9. Si se considera el lgebra potencia de los naturales y se hace
F tC N : NzC es finitou
se tiene que F es un filtro, al cual se le conoce como Filtro de los Cofinitos o Filtro de Frchet.
2 Algunos autores permiten el hecho contrario, distinguiendo entre filtro propio (cuando 0 R F ), e impropio (en el
otro caso). Como a nosotros solo nos interesan los filtros propios, es por ello que brindamos esta definicin.
3 En algunos textos en lugar de pedir esta condicin se pide que F H, lo cual a la luz de 2 son equivalentes.
4
Definicin : Sea A P B y I A. Se dice que I es un ideal en A syss se cumplen las siguientes condiciones:
1. 0 P I y 1 R I;
2. Para todo x, y P A si x, y P I entonces x ` y P I y
3. Para todo x, y P A si x P I y y x entonces y P I.
58
Ejemplo 4.10. Dada A P B y a P Azt0u se tiene que

xay tb P A : b au
es un filtro, los que denominaremos genricamente como Filtros Generados por el Elemento a .
A propsito del ejemplo anterior, algunas definiciones ms.
Definicin 4.11. Sea A P B y F A un filtro.
1. F es principal syss hay a P A tal que
xay F
2. F es Libre o No Principal syss no es un filtro principal.
Un primer y fcil resultado sobre filtros es que para cualquier coleccin finita de elementos de un
filtro, el producto de estos est en el filtro. Dicha prueba se realizara por induccin sobre y ya
se tiene la propiedad para dos elementos. Al considerar esto de otra manera y recordando que el 0
no es elemento de un filtro por definicin, se tiene que para cualquier coleccin finita de elementos,
a0 , . . . am se tiene que
ai 0
iPm`1
La anterior propiedad tiene un nombre y a continuacin se brindara la definicin de manera general.

Definicin 4.12. Sea A P B y C A. Se dice que C tiene la propiedad de interseccin finita syss
para todo F P rCs ztHu5 se tiene que
g0
gPF
6
Si un conjunto C tiene la propiedad de interseccin finita7 se denotar por C P P IF .
Es necesario hacer una aclaracin sobre la definicin anterior, puesto que el nombre que parecera
ms apropiado es propiedad de producto finito, ya que bsicamente, es lo que se est haciendo.
Una forma de justificar el nombre es el teorema de representacin de Stone. Otra son las analogas
con topologa, ya que en ella aparecen teoremas como: Si X es un espacio topolgico compacto,
entonces cualquier familia de cerrados que tiene la P IF , tiene interseccin no vaca.. De hecho no es
para sorprenderse, pues ya se tiene un teorema cuyo nombre parece ms topolgico. Adems varios
conceptos pueden llevarse a sus equivalencias topolgicas y probarse all.
Despus de la definicin y de lo mencionado en el prrafo precedente a ella, surge de manera
natural la siguiente pregunta: Si un subconjunto del universo de un lgebra de Boole tiene la P IF
es un filtro? Esta tiene respuesta negativa y dar el ejemplo es fcil.
Sea A un conjunto y B, C A, considrese tB, C, C X Bu: este es un subconjunto del conjunto
potencia de A con la P IF y no es un filtro. Lo anterior no debe desanimarnos, ya que se arreglar de
alguna manera. As como se trat la subestructura generada por un conjunto, se ver a continuacin
un mtodo para construir un filtro a partir de un conjunto con la P IF .
5 Si G es un conjunto y un cardinal, rGs denota el conjunto de los subconjuntos de G de tamao y rGs
denota el conjunto
de los subconjuntos de tamao menor que de G
6 Donde
significa el producto de los elementos que se indican, en este caso especifico es el producto de todos los
elementos de F , lo cual es posible debido a que F es finito y la operacin es asociativa y conmutativa.
7 Para el caso cuando estamos hablando en el contexto de ideales, seria propiedad de la unin finita.
59
Proposicin 4.13. Sean A P B y C A. Si C P P IF entonces hay F A filtro tal que C F.

Prueba. Tomemos
C t
y : F P rCs ztHuu
yPF
S tx P A : hay c P C tal que c xu
Se afirma que S es un filtro.

Primero obsrvese que z P S syss hay K P rCs ztHu tal que
K kPK k z
Con la observacin anterior, si u, v P S, hay U, V P rCs ztHu, tal que U u y V v, como
U, V P rCs ztHu
se tiene que
U Y V P rCs ztHu
de lo cual se sigue que U V P C . Por la proposicin 4.2.20 se tiene que U V u v por
lo cual v u P S. Claramente 1 P S, por la proposicin 4.2.15. Por la misma referencia que en la
oracin anterior, 0 R S, ya que si 0 P S, entonces hay X C finito tal que
X0
lo cual no es posible, ya que por hiptesis se tiene que C P P IF . Para establecer que S cumple la
tercer propiedad de un filtro basta recordar que el orden es transitivo y por lo tanto: Si w P A, v P S
y v w entonces w P S.
:
As se tiene que S es el filtro buscado, pero no slo eso, es el ms pequeo como lo establece el
siguiente resultado.
Proposicin 4.14. Sea A P B y C A. Si C P P IF entonces S, construido como en el teorema
anterior, es el filtro mas pequeo que contiene a C.
Prueba. Sean F A un filtro tal que C F y x P S. Como x P S se tiene que hay K P rCs ztHu
tal que K x, por otro lado, al ser C F y K P rCs ztHu se tiene que K F, por ser F filtro
K P F y de aqu x P F, con lo que concluimos que S F.
:
Un morfismo entre lgebras de Boole, ser un morfismo entre estructuras elementales. Es fcil
probar que, debido a que se ha definido la relacin de orden en funcin de las operaciones, h resulta
un morfismo dbil para el orden. Esto obliga a hacer una nota importante, en otros textos se define
a las lgbras de Boole como estructuras relacionales, a las cuales se les pide ser una red distributiva
complementada con mximo y mnimo. De manera curiosa, para el estudio global no es equivalente
y el comentario anterior nos deja ver por que.
60
Proposicin 4.15. Sean A, B P B y h : A B un morfismo entre ellas. As h1 p1B q es un

filtro8 en A.
Prueba. Sean x, y P h1 p1B q. As hpx A yq hpxq B hpyq 1B B 1B 1B por lo que
x A y P h1 p1B q. Como hp1A q 1B de inmediato se tiene que 1A P h1 p1B q.
Sea z P h1 p1B q y w P A tal que z A w, como h es un morfismo dbil para el orden se tiene
que hpzq B hpwq. Como hpzq 1B por la anti-simetra del orden, se tiene que hpwq 1B y por
tanto w P h1 p1B q. Probando todo esto que h1 p1B q es un filtro en A.
:
Como el nombre de la seccin lo dice, otros objetos que son de inters, de hecho son de suma
importancia para este captulo y en el ltimo, son los ultrafiltros. A continuacin se presentar al
lector como cualquier texto sobre matemticas que se respete, lo hara.
Definicin 4.16. Sean A P B y U A. Se dice que U es un ultrafiltro en A syss U es un filtro y
es -maximal en la familia de todos los filtros en A.
Ahora se caracterizar a los ultrafiltros. Una de las equivalencias en esta sera de gran ayuda para
probar el teorema mas importante en esta seccin, para lo cual se necesita el siguiente lema.
Lema 4.17. Sean A P B y C A. Si C P P IF entonces para cada x P A, C Y txu P P IF o
C Y txu P P IF .
Prueba. Supngase que hay y P A tal que C Y tyu R P IF y C Y tyu R P IF . Ahora, de ello se
desprende que hay S1 C Y tyu y S2 C Y tyu finitos tales que
`
`
S1 Y tyu 0
S2 Y tyu
Se consideran y y y ya que C P P IF . Por otro lado

`
S2 Y tyu
S2 y
Por lo cual S2 y y de manera anloga S1 y, por lo tanto pS1 Y S2 q 0 y como
S1 , S2 P rCs ztHu concluimos que C R P IF .
:
Teorema 4.18. Sean A P B y U un filtro en A. Las siguientes condiciones son equivalentes:
1. U es un ultrafiltro en A;
2. Para todo x P A, x P U o x P U y
3. Para cualesquiera x, y P A. Si x ` y P U entonces x P U o y P U .
Prueba. r1 2s Supngase que hay x P A tal que x R U y x R U . Por el lema anterior
U Y txu P P IF o U Y txu P P IF , as que hay F1 y F2 que extienden a U Y txu P P IF y
U Y txu P P IF respectivamente. Claramente esto lleva a una contradiccin en cualquiera de los
casos, ya que los filtros obtenidos extienden a U de manera propia.
8 En
el caso dual, h1 p0B q seria un ideal.
61
r2 3s Supngase que x ` y P U y que ni x ni y estn en U . Por 2 se puede asegurar que

x, y P U , por lo tanto x y P U y por 4.2 , x ` y P U , lo cual es una contradiccin.
r3 2s Como 1 P U y x ` x 1, entonces por 3, x P U o x P U , con lo que se termina.
r2 1s Supngase que U no es un filtro maximal, entonces hay F filtro que extiende a U propiamente. Sea x P FzU , como x R U entonces, por 2, x P U , por la contencin x P F, concluyendo
que x, x P F lo cual es contradictorio.
Con lo anterior se ha terminado la prueba de la equivalencia.
:
Ahora se vera el resultado estrella que tanto se ha anunciando: la prueba que se brinda es
totalmente anloga a la que se exhibi del teorema de compacidad, este hecho no debe sorprender
ya que se puede probar que son equivalentes el teorema del ultrafiltro y el de compacidad para la
lgica. Enseguida el resultado.
Teorema 4.19 (Teorema del Ultrafiltro de Tarski.). En un lgebra de Boole, todo filtro se puede
extender a un ultrafiltro.
Prueba. Sean A P B y F A un filtro en A. Usando el axioma de eleccin probaremos que hay
U A tal que U es un ultrafiltro y F U .
Sea el cardinal de A y xa : y una enumeracin de todos los elementos de A. se define por
recursin sobre la siguiente funcin:
U0 F
$
& U Y ta u Si U Y ta u P P IF
Para todo , U`
%
U Y ta u Si U Y ta u R P IF
Para todo P LIM, U
La funcin esta bien definida por el lema 4.17

Se hace
Sobre la construccin, las siguientes observaciones:

1.
F U0
U U
2. xU : y forman una -cadena de conjuntos con la P IF y

3. Si a P A, entonces hay , que enumera a a, es decir a a. De lo cual a P U` o a P U` .
62

Se afirma que U es un ultrafiltro.
Para esto, sean a, b P U . Si fuera el caso que a b R U , se tendra por lo anterior, pa bq P U ,

pero pa bq a ` b, pero entonces U R P IF pues ta, b, a ` bu U finito y
b pa pa ` bqq b ppa aq ` pa bqq
b pa bq 0
Por la ltima observacin, a b P U .
Sean a P A y u P U tal que a u, as u a 0, por lo cual tu, au no esta contenido en U y por
lo tanto a P U .
En resumen: U es un ultrafiltro que extiende a F
:
Se debe tomar en cuenta que dicha construccin no es efectiva y el ultrafiltro as producido no es
nico. Del teorema anterior y de la Proposicin 4.13 tiene lugar el siguiente corolario.
Corolario 4.20. En un lgebra de Boole todo conjunto con la P IF se puede extender a un ultrafiltro.
Es decir, si A P B y C A con la P IF , entonces hay U A un ultrafiltro tal que C U .
Podra abundarse muchsimo en el tema de los ultrafiltros, sin embargo con esta labor basta.
Al igual que con las lgebras de Boole este tema pordra extenderse a otro trabajo completo, por
ejemplo, los dichosos filtros P-genericos en Forcing, son ultrafiltros en el orden parcial xP, y. Aqu
se reitera que toda lgebra de Boole es un orden parcial y aunque el regreso no es cierto, la idea de
filtro y ultrafiltro se puede extender a estos.
4.3.
Otros teoremas importantes sobre lgebras de Boole
A continuacin se desarrollar ms teora sobre las lgebras de Boole con dos objetivos, el primero
es emplear algunos de los resultados que se han obtenido y la segunda desarrollar tcnicas para la
teora de modelos.
Teorema 4.21 (Teorema de representacin de Stone). Toda lgebra de Boole es encajable en un
lgebra potencia.
Prueba. Sean A P B, se define
U ltpAq tU A : U es un ultrafiltro en Au
y se toma B el lgebra potencia de U ltpAq. Se hace s : A U ltpAq tal que para cada a P A,
spaq tU P U ltpAq : a P U u.
Se afirma que s es un encaje.
En efecto, sp0A q H, pues ningn ultrafiltro tiene al 0, sp1A q U ltpAq, pues todo ultrafiltro
tiene al 1.
Para a, b P A, spa ` bq spaq Y spbq ya que para un ultrafiltro se tiene que a ` b P U syss a P U
obPU.
4.3. OTROS TEOREMAS IMPORTANTES SOBRE LGEBRAS DE BOOLE
63
Si a, b P A se tiene que spa bq spaq X spbq ya que para filtros se tiene que a b es un elemento
syss a y b lo son.
Para cada a P A, un ultrafiltro en A tiene a a o a su complemento y slo a uno de ellos, con lo
que spaq U ltpAqzspaq.
As solo falta verificar la inyectividad: si a b, por la antisimetra se puede suponer, sin perdida
de generalidad que b a. As se tiene que a b 0, por lo que ta bu P P IF y empleando el teorema
del ultrafiltro de Tarski, hay U un ultrafiltro en A que lo extiende, por lo que a P U y b R U , con
lo que spaq spbq. Con esto se llega a que s es un encaje.
:
Corolario 4.22. Toda lgebra de Boole es isomorfa a una lgebra de conjuntos.
En esta parte se desva un poco el hilo que se ha llevado y se ir en direccin a probar el teorema
de Rasiowa-Sikorski y tambin se caracterizarn algunos modelos de teoras completas.
Definicin 4.23. Sea A P B y C Azt0u. Se dice que C es Denso en A syss para todo a P Azt0u
hay c P C tal que c a.
Ejemplo 4.24. En un lgebra de Boole atmica, cualquier denso es un supraconjunto del conjunto
de tomos.
Lema 4.25. Sea A P B. Si para cada n P , Dn A es denso en A, entonces hay un ultrafiltro
U A tal que para toda i P , Di X U H
Prueba. Por recursin para se define taj : j P u A de la siguiente manera:
a0 P D0
an`1 P tx P Dn`1 : x an u
Para la construccin anterior, se emplea el axioma de eleccin y el hecho de que cada Dj es denso
en el lgebra. Por construccin, si m n, an am y de la definicin de denso se obtiene que todos
los an son distintos de cero. De lo anterior
tan : n P u P P IF
Y por el teorema del ultrafiltro de Tarski, hay U A ultrafiltro en A, que lo extiende y por
construccin aj P Dj X U .
:
Definicin 4.26. Sean A P B, X A y a, b P A. Se dice que:
1. a es una cota superior de X syss para toda x P X, x a.
2. b es una cota inferior de X syss para toda y P X, y b.
3. El infimo de X como la -mayor de las cotas inferiores de X en A.
4. El supremo de X como la -menor de las cotas superiores de X en A.
En caso de que exista el infimo (o supremo) de un conjunto X, se denotar por Inf X (SupX).
De la definicin anterior se tienen resultados inmediatos como:
64

1. Inf ta, bu a b;
2. Si X tiene supremo y para algn ultrafiltro U se tiene que X X U H, entonces SupX P U
y
3. Si X tiene infimo y U es un ultrafiltro tal que Inf X P U , entonces X U .
Ahora se tienen las condiciones para enunciar y probar el siguiente teorema.
Teorema 4.27 (Teorema de Rasiowa-Sikorski). Sean A P B y b P Azt0u. Supngase que tXi uiP
es una familia de subconjuntos de A cuyos supremos existen en A. Bajo estas suposiciones hay un
ultrafiltro U A tal, que b P U y para cada n P si SupXn P U , entonces U X Xn H.
Prueba. Defnase una sucesin xai : i P y por recursin sobre los nmeros naturales. Sea a0 b.
Ahora, supngase an ya definido y se define an`1 como sigue. Si an SupXn 0, se toma an`1 an .
Si an SupXn 0, entonces
Suptan z : z P Xn u 0
se elge un x P Xn tal que an x 0, y se pone an`1 x an . De la construccin, para todo n P ,
an 0 y an an`1 . De aqu que
tai : i P u P P IF
As, por el teorema del ultrafiltro de Tarski, hay U A tal que
tai : i P u U
U cumple con lo requerido. Para esto, se tiene que b P U pues b a0 . Ahora supngase que
SupXn P U , as an SupXn 0 por lo que an`1 x an para algn x P Xn . As que se tiene que
x an P U y como x an x entonces x P U por lo que U X Xn H.
:
Definicin 4.28. Sean A P B, U un ultrafiltro en A y Z A con infimo. Se dice que U respeta
el infimo de Z syss Z U o Inf Z P U .
Obsrvese que en l caso que tuviramos un ultrafiltro que respeta infimos, si el infimo de un
conjunto no se encuentra en el, entonces este no es subconjunto del ultrafiltro, es decir, hay elementos
que escapan al filtro. O equivalentemente: U respeta el infimo de Z syss si Z U , entonces
Inf Z P U .
Lema 4.29. Sean A P B, Z A y U A un ultrafiltro tal que si Suptz : z P Zu P U , entonces
tz : z P Zu X U H. As U respeta el infimo de Z.
Prueba. Supngase que Z U . As
U X tz : z P Zu H
ya que U es ultrafiltro tal que si Suptz : z P Zu P U , entonces
tz : z P Zu X U H
se tiene que Suptz : z P Zu R U , pero como U es ultrafiltro
Suptz : z P Zu P U
pero Suptz : z P Zu Inf Z.
4.4. LGEBRAS DE BOOLE Y MODELOS
65
Corolario 4.30. Sean A P B, tXn A : n P u, tYn A : n P u. Si para cada n P se tiene que

SupXn P A e Inf Yn P A, entonces para cada elemento no nulo b P A hay un ultrafiltro U en A tal
que:
1. b P U ;
2. Respeta los nfimos de Yn para cada n P y
3. Para cada m P , si SupXm P U entonces U X Xm H
Prueba. Para cada n P se deja a Xn como est y se hace Zn ty : y P Yn u, as por el teorema
de Rasiowa-Sirkowski, aplicado a
tXn : n P u Y tZn : n P u
hay un ultrafiltro U en A tal que b P U y que de tener al supremos interseca al conjunto, por tanto
se tiene 3 y por el lema , aplicado a tYn : n P u tenemos 2.
:
4.4.
lgebras de Boole y modelos
El lector tiene como tarea probar el teorema de compacidad para la lgica de proposiciones con
el teorema del ultrafiltro de Tarski, es decir, mostrar que, un ultrafiltro en el lgebra de Lindenbaum
de la lgica proposicional induce un conjunto de frmulas, que es cerrado bajo deduccin y ademas
es completo, con el ultrafiltro se define la asignacin que satisface a dicho conjunto. Se desea hacer
algo similar en la lgica de primer orden, por lo cual se tendr que definir un lgebra de Boole sobre
los enunciados, con la cual es posible construir un conjunto que ser cerrado bajo consecuencia
lgica, consistente y completo, pero el modelo no estar determinado.
Se sabe que una teora de Henkin9 determina un modelo cannico, entonces se ver que tipo de
ultrafiltros determinan teoras de Henkin.
En el prrafo anterior se menciona al modelo cannico. Continuamos con su definicin y con la
herramienta sobre lo que se quiere hacer.
Definicin 4.31. Sea T L0 . A es un modelo cannico de T syss hay un tipo de semejanza 1 tal
que 1 , A P V 1 , A | T y cada elemento de A es la interpretacin de una constante de 1 .
Ahora queda ms claro que la prueba del teorema de compacidad brinda un modelo cannico de
la teora en una expansin del lenguaje.
Definicin 4.32. Sean T L0 . Se define la relacin T entre frmulas con exactamente
x1 , . . . , xn como variables libres como sigue, para px1 , . . . , xn q, px1 , . . . , xn q P Ln , T syss
9 Recordemos que una teora es solo un conjunto de enunciados y adems para ser de Henkin tiene que cumplir con
ser cerrada bajo deduccin, tener testigos existenciales y ser completa y consistente.
66
Trivialmente sta es una relacin de equivalencia. As, de tener que T se dir que y
son equivalentes modulo T . Se denotara por tuT la clase de equivalencia de modulo T y se hace
Bn pT q ttuT : px1 , . . . , xn q P Ln u
Ahora se dotara a Bn pT q de operaciones para conseguir una estructura algebraica.
Definicin 4.33. Sea T una -teora. Se definen las siguientes operaciones y elementos distinguidos
en Bn pT q:
1. tuT tuT t & uT
2. tuT ` tuT t _ uT
3. tuT t uT
4. 1 tx1 x1 & . . . & xn xn uT
5. 0 t px1 x1 & . . . & xn xn quT
Queda como ejercicio al lector probar que dichas operaciones no dependen del representante de
la clase. Surge naturalmente la siguiente proposicin, cuya prueba se deja como ejercicio al lector.
Proposicin 4.34. Sea T una -teora. As
xBn pT q, , `,, 0, 1y
es un lgebra de Boole.
Obsrvese que con T L0 , B0 pT q es el lgebra de Boole de los enunciados, conocida como
lgebra de Lindenbaum-Tarski para T . Claramente si T con consistente, cerrado bajo
deduccin y completa entonces
U ttuT P B0 pT q : P u
es un ultrafiltro en B0 pT q.
La inversa tambin es cierta, dado un ultrafiltro U que extienda a T , mdulo la relacin de
equivalencia, es decir,
ttuT : P T u U
ste inducir una teora completa, cerrada bajo deduccin y consistente, a saber, el conjunto de
todos los enunciados cuyas clases pertenecen a U , es decir, t P L0 : tuT P U u.
Ahora se contina con la bsqueda de los ultrafiltros que determinan la existencia de modelos
cannicos.
Lema 4.35. Sean T L0 consistente, P L0 , pxq P L1 y c es una constante que no aparece ni
en T , ni en o . Si T $ pcq , entonces T $ Dxpxq .
67
4.4. LGEBRAS DE BOOLE Y MODELOS
Prueba. Como T $ pcq se tiene que T $ pcq, por el teorema de la deduccin,

T Y t u $ pcq. Por las condiciones sobre c se puede emplear el meta-teorema de generalizacin
sobre constantes10 con lo cual se obtiene que
T Y t u $ @x pxq
As por el teorema de la deduccin y contrapositiva, T $
se buscaba.
@x pxq de lo cual se tiene lo que

:
Lema 4.36. Sean C un conjunto infinito de constantes disjunto con , T L0 consistente y

1
denotemos por 1 Y C. En el lgebra de Boole B0 pT q, para toda pxq P L11 se tiene que
tDxpxquT SupttpcquT : c P Cu
Prueba. Como las frmulas pcq Dxpxq son universalmente validas, se tiene que tDxpxquT es
una cota superior de ttpcquT : c P Cu, se verificar que es la mnima.
Sea P L01 tal que tuT es una cota superior de
ttpcquT : c P Cu
As para cada c P C se tiene que
T $ pcq
pero, para cada c P C se puede encontrar c0 P C que no aparece en pcq y como X C H se
tiene que c0 no ocurre en ningn enunciado de T y por el lema anterior T $ Dxpxq tomado a
c c0 , con lo cual
tDxpxquT tuT
con lo que se ha probado la igualdad.
Proposicin 4.37. Sean 1 como en el resultado anterior, T una -teora consistente y una
1
1 -teora P-completa y consistente que extiende a T . Si U ttuT : P u es un ultrafiltro en B0
entonces las siguientes condiciones son equivalentes:
1. es una teora de Henkin con testigos existenciales en C
2. Si tDxpxquT P U entonces hay c P C tal que tpcquT P U
Prueba. Esta prueba se deja como ejercicio al lector, y se sugiere basarse en el lema 6.2
Si se considera un subconjunto en un lgebra, que tenga supremo, se dice que un ultrafiltro

respeta al supremo si cuando este esta en el, entonces la interseccin del untrafiltro y el subconjunto
no es vacia., En este sentido se puede sustituir 2 en el resultado anterior como U respeta los
supremos de la forma
10 Ver
Apndice A
68
4.5.
Ejercicios del Captulo
1. Pruebe que el siguiente

B-enunciado es verdadero
`
en cualquier lgebra de Boole: @x@y@w@z px
y & w zq px w y zq & py xq
2. Pruebe el teorema de compacidad semntico para la lgica proposicional usando el teorema
del ultrafiltro de Tarski.
3. Sea I un conjunto y F un conjunto de filtros sobre I. Pruebe que F es un filtro sobre I.

4. Demuestre que todo ultrafiltro en un lgebra de Boole finita es principal.
5. Sea A P B. Decimos que a P Azt0u es un tomo en A syss si para todo b P A, b a, entonces
b 0 o b a. Decimos que un lgebra de Boole es atmica si para cada a P Azt0u existe
b P A un tomo tal que b a. Pruebe si A es infinita y atmica entonces hay por lo menos un
ultrafiltro no principal.
6. Pruebe que en un lgebra de Boole no atmica es infinita.
7. Pruebe que en un lgebra de Boole no atmica hay ultrafiltros no principales.
8. Pruebe que el el producto de dos tomos es cero.
9. Pruebe que un lgebra de Boole es infinita syss el conjunto de ultrafiltros sobre ella es infinito.
10. Muestre que para ver que un subconjunto de un lgebra de Boole tiene la PIF no es suficiente
verificar que dados dos elementos en el conjunto, su producto no es cero.
Captulo 5
Ultraproductos y Clases Elementales

5.1.
Ultraproductos
Recordando las construcciones de lgebra moderna y dada una familia de grupos

tGi : i P Iu
se define el grupo producto de la siguiente manera:
Gi tf : I
Gi | @i P Ipf piq P Gi qu
iPI
iPI
donde el elemento neutro del nuevo grupo es fe tal que para toda i P I se tiene que fe piq ei
con ei el elemento neutro de Gi .
La operacin entre dos elementos f, g P iPI Gi se define entrada por entrada pf gqpiq
f piq gpiq.
Precisamente la idea anterior es un concepto que se pretende generalizar, para despus hacer
algunas modificaciones.
La estructura anterior se llama producto directo de la familia de grupos as, se presenta la
siguiente definicin.
Definicin 5.1 (Producto Directo
de una familia de estructuras.). Sea un tipo de semejanza y
tAi | i P Iu V . Se define iPI Ai de la siguiente manera:
El universo de la estructura es th : I iPI Ai | hpiq P Ai u;

Para cada smbolo funcional f P de aridad n.
` A
f iPI i ph1 , . . . , hn q piq f Ai ph1 piq, . . . , hn piqq

Para cada smbolo relacional r P de aridad n.
ph1 , . . . , hn q P r
iPI
Ai
para cada i P I
69
ph1 piq, . . . , hn piqq P rAi
70
CAPTULO 5. ULTRAPRODUCTOS Y CLASES ELEMENTALES
Para cada c P smbolo de constante

`
iPI
Ai
piq cAi
Al definir las interpretaciones como no vacas con el axioma de eleccin, se asegura que esta
nueva no lo es.
Ahora, estamos interesados en la satistacibilidad de las frmulas. Se plantea que si por lo menos
todas las estructuras que se multiplican son modelos de algo, el producto directo de ellas tambin
lo fuera. Lo anterior no ocurre y para comprobarlo no tenemos que ir tan lejos sea I t0, 1u y
Ai xZ, y, cada uno es un orden total, sin embargo el producto no lo es
p28, 35q, p35, 28q P

Zi
iPI
Para los cuales pp28, 35q, p35, 28qq R
iPI
Ai
y pp35, 28q, p28, 35qq R
iPI
Ai
Ahorase ver que condiciones se deberan tener. Para empezar si para cada i P I, Ai |
entonces iPI Ai | . Tampoco se desea que haya verdades en la nueva estructura que sean falsas
en cada uno de los factores. Al emplear el conjunto de ndices como referente se puede poner en la
siguiente forma: Se quiere que una frmula sea verdadera en el producto si ti P I : Ai | u I, y
que si ti P I : Ai | u H entonces que sea falsa. Sea como sea el nuevo objeto que estamos
buscando no puede evadir la definicin de satisfacibilidad de Tarski, as que si dos frmulas son
verdad en el nuevo objeto, la conjuncin tendr que serlo y as con cada uno de los conectivos lgicos.
Esto tendra que repercutir en los conjuntos que se estan considerando. Este hecho de manera formal
se define de la siguiente forma:
Definicin 5.2 (Valor booleano.). Sean tAi : i P Iu V , px1 , . . . , xn q P Ln y a1 , . . . an P iPI Ai

. Se define el valor booleano de la frmula , como sigue
k pa1 , . . . , an q k ti P I : Ai | pa1 piq, . . . an piqqu
Como ocurri con la definibilidad, hay una relacin entre los conectivos lgicos y las operaciones
en el lgebra potencia, como lo establece el siguiente resultado. Adems formaliza las consideraciones
que se estaban tomando en cuenta hace unas lneas.
Lema 5.3. Si tAi : i P Iu V , px1 , . . . , xn q, px1 , . . . , xn q P Ln y a1 , . . . an P iPI Ai entonces

1. k p & qpa1 , . . . , an q kk pa1 , . . . , an q k X k pa1 , . . . , an q k
2. k p _ qpa1 , . . . , an q kk pa1 , . . . , an q k Y k pa1 , . . . , an q k
3. k
pa1 , . . . , an q k Iz k pa1 , . . . , an q k
4. k Dxpx, a1 , . . . , an q kk pb, a1 , . . . , an q k
Prueba. Solo se abordarn dos incisos y el lector deber terminar los otros.
71
5.1. ULTRAPRODUCTOS
r1s Tmese i Pk p & qpa1 , . . . , an q k, de esto se tiene que Ai | p & qpa1 piq, . . . , an piqq
syss Ai | pa1 piq, . . . , an piqq y Ai | pa1 piq, . . . , an piqq syss i Pk pa1 , . . . , an q k y i Pk pa1 , . . . , an q k
r4s Sea j Pk pb, a1 , . . . , an q k entonces Aj | pbpjq, a1 pjq, . . . , an pjqq por lo cual Aj |
Dxpx, a1 pjq, . . . , an pjqq, por lo que
j Pk Dxpx, a1 , . . . , an q k
:
Con lo anterior se puede ir avanzando en la construccin buscada, pero se necesita ms.
Definicin 5.4. Sean tAi : i P Iu V , F pIq un filtro y a, b P iPI Ai . Se dice que a y b estn
relacionados modulo F en smbolos, a F b , syss
ti P I : apiq bpiqu P F
La relacin anterior se puede establecer para cualquier familia de subconjuntus de I, y se ha
especificado como filtro para poder probar la siguiente proposicin.
Proposicin 5.5. F es una relacin de equivalencia sobre iPI Ai

Prueba. La reflexividad es clara, ya que una funcin es igual a si misma entrada por entrada a F a.
Ahora supongamos que a F b, entonces ti P I : apiq bpiqu P F, pero ti P I : apiq bpiqu
ti P I : bpiq apiqu P F por lo que b F a.
Sean a, b, c P iPI Ai tales que a F b y b F c, de lo anterior ti P I : apiq bpiqu P F y

ti P I : bpiq cpiqu P F, como F es un filtro
ti P I : apiq bpiqu X ti P I : bpiq cpiqu P F
pero ti P I : apiq bpiqu X ti P I : bpiq cpiqu ti P I : apiq cpiqu por lo cual a F c.
De las tres propiedades se obtiene que F es una relacin de equivalencia.
De hecho, retomando el comentario anterior a la proposicin, se puede ver que pedir a la familia
de subconjuntos la propiedad de ser filtro, es necesario para que la relacin sea de equivalencia. El
lector podr encontrar esto como un ejercicio en la seccin pertinente.
Ahora veamos otra definicin que nos servir para la definicin de la estructura llamada ultraproducto.
Lema 5.6. Sean a1 , . . . , an , b1 , . . . , bn P iPI Ai . Si para cada j P n` zt0u se tiene que aj F bj ,
entonces
1. Para cada smbolo funcional f , f A pa1 , . . . , an q F f A pb1 , . . . , bn q y
2. Para cada smbolo relacional R, pa1 , . . . , an q P RA syss pb1 , . . . , bn q P RA
Con lo anterior se est en condiciones de definir una nueva estructura, la cual de hecho se esta
construyendo.
72
Definicin 5.7 (Producto Reducido.). Sean tAi : i P Iu V , F un filtro sobre I. Se define el

producto reducido de la familia tAi : i P Iu V con el filtro F, en smbolos
A
Ai {F
iPI
Donde el universo de la estructura es iPI Ai {F, es decir, las clases de equivalencia del universo
del producto directo con la relacin F , donde la interpretacin es como sigue:
1. Para cada smbolo funcional f de aridad n. Si

a1 , . . . an P
Ai {F
iPI
Entonces
f A pa1 . . . , an q rf Ai pa1 piq . . . , an piqqiPI sF
2. Para cada smbolo relacional R de aridad m. Si

a1 , . . . , am P
Ai {F
iPI
Se define
xa1 , . . . , an y P RA k Rpa1 , . . . , an q kP F
Si el cociente se hace con un ultrafiltro, llamamos a la estructura resultante ultraproducto.

Si para cada i P I, Ai B entonces llamaremos ultrapotencia de B al ultraproducto de esta
familia y lo denotaremos como B
Teorema 5.8 (Teorema de os). Sean tAi : i P Iu V , U un ultrafiltro libre en I. Si A es el
ultraproducto de la familia, entonces para toda px1 , . . . , xn q P L se tiene que
A | pa1 {U , . . . , an {U q k pa1 , . . . , an q kP U
Prueba. Se realiza por induccin sobre la formacin de frmulas.
Sean a1 {U , . . . , an {U P A.
1. Paso Base: Para las frmulas atmicas, se tiene que la relacin de equivalencia y la definicin
de la interpretacin de los smbolos relacionales han hecho el trabajo.
2. Paso Inductivo: Sean px1 , . . . , xn q, px1 , . . . , xn q P Ln y
px, x1 , . . . , xn q P Ln`1 Nuestras hiptesis inductivas son
A | pa1 {U , . . . , an {U q syss k pa1 , . . . , an q kP U
A | pa1 {U , . . . , an {U q syss k pa1 , . . . , an q kP U
A | pa{U , a1 {U , . . . , an {U q syss k pa, a1 , . . . , an q kP U
73
5.1. ULTRAPRODUCTOS
a) A |
pa1 {U , . . . , an {U q syss A * pa1 {U , . . . , an {U q syss

k pa1 , . . . , an q kR U
al ser U ultrafiltro tenemos que A |
pa1 {U , . . . , an {U q syss k
pa1 , . . . , an q kP U
b) A | & pa1 {U , . . . , an {U q syss

A | pa1 {U , . . . , an {U q
y
A | pa1 {U , . . . , an {U q
syss (Hiptesis Inductiva) k pa1 , . . . , an q k, k pa1 , . . . , an q kP U syss
k pa1 , . . . , an q k X k pa1 , . . . , an q kP U
syss
k & pa1 , . . . , an q kP U
c) En el caso de la cuantificacin, Dxpx, x1 , . . . , xn q, la prueba se presenta en dos direcciones:

rs Si A | Dxpx, a1 {U , . . . , an {U q entonces hay a{U P A tal que
A | pa{U , a1 {U , . . . , an {U q
Por hiptesis de induccin tenemos que k pa, a1 , . . . , an q kP U , como
k pa, a1 , . . . , an q kk Dxpx, a1 {U , . . . , an {U q k
entonces k Dxpx, a1 , . . . , an q kP U .
rs Si k Dxpx, a1 , . . . , an q kP U syss
ti P I : Ai | Dxpx, a1 piq, . . . , an piqqu P U
Denotemos con D al conjunto anterior, ahora para cada i P D, se define
Ei tz P Ai : Ai | pz, a1 piq, . . . , an piqqu
usando el axioma de eleccin hay
f : I p
iPD
Ei q Y p
Ai q
jPIzD
una funcin de eleccin. Claramente f es un elemento en el producto directo, as k

pf, a1 , . . . , an q kP U , por hiptesis de induccin,
A | pf {U , a1 {U , . . . , an {U q
con lo que A | Dxpx, a1 {U , . . . an {U q.
74
Con lo que termina la prueba.
Lo anterior quiere decir que el ultrafiltro es el que decide la verdad en el ultraproducto, recordado
que intuitivamente se puede pensar a un filtro como aquel que escoge los conjuntos grandes de
ndices, el teorema de os dice que se decide por mayora de votos.
Corolario 5.9. Si P L0 entonces
Ai {U | k kP U
iPI
El siguiente resultado nos dice que puede haber dictaduras en los ultraproductos.
Proposicin 5.10. Sea A iPIAi {U un ultraproducto, si U es principal entonces iPI Ai {U

es isomorfo alguno de sus factores.
Prueba. Sea j P I tal que tju es el generador de U , se define p : iPI Ai {U Aj como

pprpapiqqiPI sU q apjq.
Se afirma que p est bien definida. Para esto, sean b, d P iPI Ai tal que b U d, veamos que
bpjq dpjq, como b U d entonces k b d kP U al ser U generado por tju se tiene que j Pk b d k
de lo cual se obtiene lo que se deseaba, con lo que la funcin esta bien definida y es fcil observar
que es biyectiva.
Ahora se probar que preserva la estructura. Sean f P y a1 , . . . , an P iPI Ai {U , as

ppf A pa1 , . . . , an qq f Aj pa1 pjq, . . . , an pjqq f Aj pppa1 q, . . . , ppan qq
Para las relaciones xa1 , . . . , an y P RA syss k Rpa1 , . . . , an q kP U syss j Pk Rpa1 , . . . , an q k syss
xa1 pjq, . . . , an pjqy P RAj syss xppa1 q, . . . , ppan qy P RAj . Cuando se prob que p esta bien definida,
se
obtuvo un resultado muy fuerte, el cual en estos momentos conviene mencionar as: Si b, c P iPI Ai
entonces b U d syss bpjq dpjq. Con lo cual se tiene que para un smbolo de constante c P
ppcA q cAj . Con lo cual se finaliza la prueba ya que p es el isomorfismo buscado.
:
El resultado anterior dice que si se quieren hacer ultraproductos que arrojen algo nuevo, el
ultrafiltro debe ser libre.
Proposicin 5.11. Sea B una ultrapotencia de B. Si
d : B | B |
tal que a cada b P B le asocia la clase de la funcin constante b, entonces d es un encaje elemental.
Prueba. Sean b, c P B tal que b c, denotamos pbq{U , pcq{U la clase de las funciones constantes
en la ultrapotencia, as ti P I : pbqpiq pcqpiqu H por lo cual dpbq dpcq, con lo cual d es inyectiva.
Para probar que d preserva la satisfacin considerese
px1 , . . . , xn q P L
y
b1 , . . . bn P B
75
5.2. CLASES ELEMENTALES

Si B | pb1 , . . . bn q entonces
k ppb1 q{U , . . . , pbn q{U q k I
por lo tanto B | ppb1 q{U , . . . , pbn q{U q por lo cual
B | pdpb1 q, . . . , dpbn qq
As se ha probado que
Para todo b1 , . . . , bn P B si B | pb1 , . . . bn q, entonces B | pdpb1 q, . . . , dpbn qq
Para la otra direccin, si B | pdpb1 q, . . . , dpbn qq entonces B | ppb1 q{U , . . . , pbn q{U q, as
k ppb1 q{U , . . . , pbn q{U q kP U , por lo cual
ti P I : B | pb1 , . . . , bn qu H
por lo tanto B | pb1 , . . . , bn q.
Quedando as probado que B d B
5.2.
Clases Elementales
En este captulo se trabajar con todo lo que se ha aprendido antes, ya que el concepto de clases
elementales cobra su importancia en saber cuando se puede dar una serie de axiomas para una
clase de estructuras. Por ejemplo la de grupos aunque ya se sabe que con un solo axioma basta. En
mbitos de este ejemplo se contemplan las siguientes definiciones.
Definicin 5.12. Sea K V . Se dice que K es una clase elemental syss hay P L0 tal que
K M odpq
Definicin 5.13. Sea K V . Se dice que K es -elemental syss hay L0 tal que
M odpq K
De las definiciones anteriores, se tienen de inmediato los siguientes resultados:
1. Toda clase elemental es -elemental.1
2. Si una clase es -elemental para algn finito, entonces es elemental.
3. Si K, K1 son -elementales entonces K X K1 tambin es -elemental
4. Si K es -elemental entonces K es cerrada bajo equivalencia elemental y ultraproductos, es
decir, que siA P K y B A entonces B P K y si tAi : i P Iu K y U es un ultrafiltro sobre
I entonces iPI Ai {U P K.
1 Por este hecho, se puede encontrar en la literatura que solo se habla de clases elementales, las cuales son definidas
como se han definido las -elementales.
76
El ltimo resultado dice como saber si una clase no es -elemental, pues ms adelante se mostrar
que el regreso tambin se tiene, inclusive con el ejercicio 8j de este captulo se tendr como saber si
se puede con una frmula caracterizar a toda una clase.
Ahora se presentan una serie de ejemplos de clases elementales y -elementales:
Ejemplo 5.14. La clase de los grupos, la de los grupos abelianos, la de los campos y la de los anillos
son clases elementales.
Ejemplo 5.15. COT O y COP O son clases elementales.
Ejemplo 5.16. COBO no es una clase elemental. Sea N xN, y y considrese N usando I y
U un ultrafiltro que extiende los cofinitos, la cual no es un COBO. Tmense las siguientes funciones
de eleccin: a0 p0, 1, 2, 3, 4, . . .q, a1 p0, 0, 1, 2, 3, 4q, a2 p0, 0, 0, 1, 2, 3, 4, . . .q ... Claramente cada
una pertenece a clases distintas en el ultraproducto ya que son distintas en todas las entradas, y
adems an`1 {U N an {U y solo son iguales a lo ms en una cantidad finta de entradas, por lo
tanto tai {U : i P u no tiene elemento mnimo. Con lo que COBO no es cerrada bajo ultraproductos.
Ejemplo 5.17. La clase de los campos algebraicamente cerrados de caracterstica fija es -elemental,
pero no elemental.
Ejemplo 5.18. La clase de los conjuntos con una relacin de equivalencia es elemental.
Ejemplo 5.19. B (la clase de las lgebras de Boole), es elemental .
Nuestro objetivo ahora es dar la caracterizacin de que una clase sea -elemental, para lo cual
se necesita la siguiente definicin y algunos lemas.
Definicin 5.20. Sea K V una clase de estructuras. Se define la teora de K de la siguiente
forma:
T eopKq t P L0 : Para toda A P K A | u
Ahora se abordar la caracterizacin de las clases elementales.
Lema 5.21. Sean K V y B P V . Si B | T eopKq, entonces hay un ultraproducto de elementos
de K que es elementalmente equivalente a B.
Prueba. Sea P rT eopBqs , se probar que hay A P K tal que A | .
Supngase lo contrario,
para cada A P K, A * , de lo cual si t1 , . . . , n u, se tiene que
as
n
para cada A P K, A | p i1 i q, de lo cual,
n
p
i q P T eopKq
i1
y como B | T eopKq se tiene que B | p
n
i1
i q &
n
p i1 i q, lo cual es un absurdo.
Denomnese A a la estructura en K la cual satisface a P rT eopBqs . Para hacer el ultraproducto se toma a rT eopBqs como conjunto de indices y se hace
H t P rT eopBqs : A | u : P T eopBq
77
5.2. CLASES ELEMENTALES

H P P IF puesto que si 1 , . . . , n P T eopBq entonces
t1 , . . . , n u P t P rT eopBqs : A | 1 & . . . & n u
De lo anterior y por el teorema del ultrafiltro de Tarski se tiene que hay U prT eopBqs q
ultrafiltro que extiende a H. Se define
D
A {U
PrT eopBqs
Obsrvese que si P L0 , }} t P rT eopBqs : A | u por lo tanto

H t}} : P T eopBqu
De lo que inmediatamente se tiene que D | T eopBq, de lo cual se deduce que D B.
Teorema 5.22. Sea K V . Si K es cerrada bajo ultraproductos y equivalencia elemental entonces

es -elemental.
Prueba. Propngase T eopKq como el conjunto de enunciados tal que K M odpT eopKq. Claramente
K M odpT eopKqq. Se probar que se da la otra contencin. Sea B | T eopKq, por el lema anterior
hay D un ultraproducto de estructuras en K, tal que B D, como K es cerrada bajo ultraproductos,
D P K y por ser cerrada bajo equivalencia elemental B P K. Con lo cual se obtiene el resultado
deseado.
:
La caracterizacin que se ha brindado de las clases elementales es tan fuerte que algunos autores
la usan como definicin, ya que garantiza la existencia del conjunto de enunciados buscado. Es
importante decir que dicho conjunto no es necesariamente decidible.
Corolario 5.23. Si K y K son cerradas bajo ultraproductos y equivalencia elemental entonces son
clases elementales.
Corolario 5.24. Si una clase de estructuras K es inductiva, cerrada bajo ultraproductos y equivalencia elemental entonces K es 2 -axiomatizable.
Ahora se ilustrar con algunos ejemplos la teora estudiada.
Ejemplo 5.25. La clase de los grupos libres de torsin es -elemental pero no elemental. Tomemos
tpi
: i P u una enumeracin de los primos. y
U un ultrafiltro que extienda al filtro de los cofinitos;
as nP Zpn {U es libre de torsin. Sea a P nP Zpn {U distinto del neutro, por lo cual se puede
suponer que apiq no es el neutro para ningn i P . Si m 0 entonces am rpapiqm qiP sU , de lo
cual si para algn natural j, apjqm es el neutro del j-esimo factor, se tiene que el orden de apjq
divide a m, pero a m solo lo dividen una cantidad finita de primos, de lo cual rpapiqm qiP sU no es
el neutro del ultraproducto y por lo cual, este es libre de torsin.
Ejemplo 5.26. CAC0 no es finitamente axiomatizable. Sabemos que CAC0 es -elemental, por el
ejercicio 8 j , basta probar que su complemento no es -elemental. Sean p P un primo, Fp el campo
con p elementos, I el conjunto de los primos y U un ultrafiltro no principal en I. Considerse
F
Fp {U
pPI
78
Se denota con n c1 c0 la expresin que dice que sumar n-veces la constante c1 , resulta en la
constante c0 , as dicha expresin es verdadera a lo ms en un nmero finito de factores y como los
ultrafiltros libres no contienen subconjuntos finitos, entonces para cada n P la frmula es falsa, por
lo que F tiene caracterstica 0.
5.3.
1. Sea I in conjunto
y xAi : i P Iy una familia de conjuntos.
Considere S pIq y defina una

relacin en iPI Ai como sigue. Para cualesquiera a, b P iPI Ai se dice que a S b syss
ti P I : apiq bpiqu P S
Pruebe que si S es una relacin de equivalencia, entonces S es un filtro sobre I.
2. Pruebe que no hay un enunciado de primer orden cuyos modelos sean exactamente estructuras
relacionales bien ordenadas.
3. Pruebe el meta teorema de compacidad semntico para LPO empleando el ultraproducto.
Tome L0 finitamente satisfacible Indicacin: Defina un
X t P rs : P u
vea que tiene la P IF y luego tome las estructuras que son aquellas que modelan los subconjuntos
finitos de .
4. Pruebe que si U es un ultrafiltro no principal sobre I, con I infinito, entonces no hay en U
subconjuntos finitos.
5. Sea Fp la cerradura algebraica de Fp (la construccin es como la que se dio del modelo
existencialmente cerrado). Tome I el conjunto de los primos y U un ultrafiltro no principal en
I. Pruebe que
Fp {U C
pPI
6. Sea R xR, `, , 0, 1y. Describa R cuando se considera I . Que pasa si el conjunto de

indices no es ?
7. Describa con el conjunto de indices .
8. Sea tAi : i P Iu V y U un ultrafiltro sobre I. Pruebe lo siguiente:
a) Si G I, tal que G P U , entonces tX X G : X P U u es un ultrafiltro sobre I. Se denota
a este ultrafiltro como U pGq.
b)
iPI
Ai {U
Ai {U pGq
iPG
c) Concluya como corolario del inciso anterior la proposicin 5.10.
79
d ) Pruebe que la clase de los grupos abelianos divisibles no es una clase elemental.
e) Pruebe que la clase de los grupos finitos no es -elemental.
f ) Pruebe que la clase de los grupos de torsin no es -elemental.
g) Pruebe que la clase de los grupos infinitos es -elemental.
h) Pruebe que la clase de los grupos infinitos no es elemental.
i ) Defnase CEpAq tB : B Au. Demuestre que para toda A, CEpAq es una clase
-elemental.
j ) Demuestre que una clase de estructuras K V es elemental syss K y su complemento
(K tA P V : A R Ku), son -elementales. Indicacin: Use el teorema de compacidad.
Captulo 6
Realizacin y omisin de tipos

6.1.
Tipos de una estructura
Este captulo trata de acercarse ms a lo que se esta trabajando hoy en da en la teora de

modelos. El contenido es sumamente importante si se quiere llegar a los modelos monstruo o al
rango de Morley.
Definicin 6.1. Sean A P V , X A y px1 , . . . , xn q LnpXq .1
1. px1 , . . . , xn q es un n-tipo2 de A sobre X si px1 , . . . , xn q Y T eopxA, Xyq es satisfacible.
2. px1 , . . . , xn q es un n-tipo completo, si para toda P LnpXq , si V Lpq tx1 , . . . , xn u, se tiene
que P px1 , . . . , xn q o P px1 , . . . , xn q.
3. px1 , . . . , xn q es un tipo parcial, si px1 , . . . , xn q es un n-tipo y no es completo.
4. Se denotamos por SnA pXq al conjunto
tpx1 , . . . , xn q LnpXq : px1 , . . . , xn q es un n tipo completou
Cuando no se haga explicito se estarn considerando n-tipos completos, cuando se consideren
parciales se indicara.
Algunos ejemplos:
Ejemplo 6.2. Sea A xQ, y y X N. As tx0 n : n P Nu es un 1-tipo parcial, ya que
para cualquier 0 P r Y T eopxA, Nyqs se puede encontrar un racional lo suficientemente grande
que satisfaga las frmulas de X 0 .
Ejemplo 6.3. Sean xN, `, , s, 0y y L el lenguaje de la aritmtica de Peano, entonces
1 tx0 fsn c0 : n P u es un 1-tipo sobre H, ya que T eopq Y 1 es satisfacible.
1L n
es el conjunto de frmulas con exactamente n variables libres, pero para la definicin de tipo se requiere
pXq
que el conjunto de variables libres de cada frmula sea el mismo para todas, ya que podra suceder que cada frmula
tuviera 2 variables libres y que las variables libres de todo fueran todas las variables x0 , x1 , x2 , . . .
2 En adelante, si se entiende sobre que conjunto es el n-tipo, slo se escribir n-tipo
81
82
CAPTULO 6. REALIZACIN Y OMISIN DE TIPOS
Ejemplo 6.4. Sea B P V , b P B y X B. Tmese

2 tpvq P L1pXq : xB, Xy | pbqu
Claramente 2 Y T eopxB, Xyq es satisfacible.
Del ejemplo anterior se puede obtener una forma para construir n-tipos completos. Tomando
A P V , X A y a1 , . . . , an P A se declara
tpA pa1 , . . . , an {Xq tpx1 , . . . , xn q P LnpXq : xA, Xy | pa1 , . . . , an qu
Cuando X H solo se escribe tpA pa1 , . . . , an q.
Lo anterior establece que estos tipos son satisfacibles con a1 , . . . , an como testigos y con la
notacin clsica, esto sera slo una asignacin.
Proposicin 6.5. Sean A P V , X A y a1 , . . . , an P A. Entonces
tpA pa1 , . . . , an {Xq
es un n-tipo completo.
Ahora se define la situacin inversa, es decir dado un n-tipo, qu sucede si existen estos elementos.
Definicin 6.6. Sea A P V . Si px1 , . . . , xn q es un n-tipo sobre X, se dice que:
a1 , . . . , an P A realiza px1 , . . . , xn q syss A | pa1 , . . . , an q para cada px1 , . . . , xn q P px1 , . . . , xn q.
En este caso se dice que px1 , . . . , xn q es realizable en A.
Si px1 , . . . , xn q no es realizable en A decimos que A omite px1 , . . . , xn q.
As de los ejemplos anteriores se tiene que y 1 no son realizables, en A y respectivamente,
mientras que 2 si lo es en B.
Otro bonito ejemplo de la omisin de tipos seria tomar D xQ, y y tomar
3 t0 x0 & x0 q : q P Q y q 0u L1pQq
Claramente 3 no es realizable, pero rememora la idea de los infinetesimales, donde ademas se sabe
que los reales estandar son una subestructura elemental. Todo esto lleva a una proposicin, la cual
es generalizacin de est razonamiento.
Proposicin 6.7. Si A P V , X A y un n-tipo sobre X, entonces hay B P V tal que A B y
B realiza .
Prueba. Para emplear el teorema de compacidad, sea Y Diagel pAq. Si se tiene un modelo de
esto ya se ha terminado, pues supngase que B1 | Y Diagel pAq entonces hay h : A B 1 tal
que A h B1 y B1 | rb1 , . . . , bn s para algunos b1 , . . . , bn P B. Por lo anterior hay B P V tal que
B1 B, A B y B | rb1 , . . . , bn s.
83
6.1. TIPOS DE UNA ESTRUCTURA

Sea 0 P r Y Diagel pAqs ztHu, as
0 t1 px1 , . . . , xn , c11 , . . . c1m1 q, . . . , s px1 , . . . , xn , cs1 , . . . , csms qu
Yt1 pa11 , . . . a1r1 , d11 , . . . d1l1 q, , . . . , j paj1 , . . . ajrj , dj1 , . . . djlj qu

t
Con cgk , dw
f P X y az P AzX.
Como es un n-tipo sobre X se tiene que Y T eopxA, Xyq es satisfacible. Sea D testigo de este
hecho; ahora tomando h pah1 , . . . ahrh , dh1 , . . . dhlh q P 0 se tiene entonces que
D | Dy1 . . . Dyrh py1 , . . . yrh , dh1 , . . . dhlh q
As hay una forma de interpretar ah1 , . . . ahrh en D, por lo que 0 tiene modelo, as Y Diagel pAq es
satisfacible, y por la explicacin con la que se inicio, la proposicin probada.
:
Es necesario hacer nfasis en que se esta empleando el teorema de compacidad semntico para
frmulas y no para enunciados, el cual rara vez se haya en la literatura, pero que se puede encontrar
en el Apndice A. Por otro lado, ntese que si A B y X A, entonces xA, Xy xB, Xy por lo
cual T eopxA, Xyq T eopxB, Xyq, de esta manera SnA pXq SnB pXq, con lo que se arriba al siguiente:
Corolario 6.8. px1 , . . . , xn q P SnA pXq syss hay B P V tal que A B y hay b1 , . . . , bn P B tal que
tpB pb1 , . . . , bn {Xq px1 , . . . , xn q
Adems se pueden empezar a mezclar ramas de la matemtica y topologizar SnA pXq, de la
siguiente manera: para cada px1 , . . . , xn q P LnpXq se define
rpx1 , . . . , xn qs tpx1 , . . . , xn q P SnA pXq : P u
Se pide al lector recordar las tcnicas empleadas en su clase de lgica cuando se prob el teorema
de compacidad semntico o lo que se hace en este documento en su apndice y probar lo siguiente:
1. r & s rs X rs
2. r _ s rs Y rs
3. r s SnA pXqzrs
4. rs SnA pXq syss xA, Xy | @x1 . . . @xn px1 , . . . , xn q
5. rs rs syss xA, Xy | @x1 . . . @xn p q
6. rs rs syss xA, Xy | @x1 . . . @xn p q
As, se tiene que B trs : px1 , . . . , xn q P LnpXq u es base para una topologa de SnA pXq, ya que
dado un n-tipo P SnA pXq al ser completo, no es vaco, por lo cual hay px1 , . . . , xn q P , por lo que
P rs, con lo cual B cubre a SnA pXq y dado que rs X rs r & s se tiene lo necesario. Con
esto SnA pXq tiene estructura de espacio topolgico, el cual adems tiene propiedades sumamente
interesantes.
84
Proposicin 6.9. SnA pXq es un espacio cero dimensional, Hausdorff y compacto3

Prueba. Ser cero dimensional es tener una base de abiertos y cerrados. Claramente B lo es, puesto
que rs SnA pXqzr s.
Ser Hausdorff, o T2 es una cuestin de separacin, la cual se define como la propiedad de que al
tomar dos puntos en el espacio, cada uno de ellos tiene una vecindad ajena una de la otra. Sean
, 1 P SnA pXq tales que 1 , as hay P z1 , como los n-tipos son completos se tiene que
P 1 de lo cual P rs y 1 P r s, ademas rs X r s H.
Para verificar la compacidad del espacio, se probara que cualquier familia de cerrados con la PIF,
tiene interseccin no vaca. Se comenzara con un anlisis de los conjuntos cerrados.
Sea F SnA pXq cerrado, as
SnA pXqzF
ri s
iPI
con lo cual F SnA pXqz
iPI ri s
de donde F
iPI r
i s. Tmese
px1 , . . . , xn q t i : i P Iu
por lo que px1 , . . . , xn q LnpXq y px1 , . . . , xn q px1 , . . . , xn q para todo px1 , . . . , xn q P F .
Dicho px1 , . . . , xn q parece ser muy grande, pero si F H, se toma 0 px1 , . . . , xn q P F , as
px1 , . . . , xn q 0 px1 , . . . , xn q, al ser 0 px1 , . . . , xn q un n-tipo sobre X asegura que
px1 , . . . , xn q es consistente con T eopxA, Xyq.
Si existe este conjunto de frmulas entonces el cerrado no es vaco, como px1 , . . . , xn q LnpXq ,
entonces se puede expandir4 a un conjunto px1 , . . . , xn q LnpXq P-completo y consistente con
T eopxA, Xyq, como tenemos que px1 , . . . , xn q px1 , . . . , xn q, entonces para cada i P I tenemos
que px1 , . . . , xn q P r i s. As:
px1 , . . . , xn q P r i s F
iPI
Sea
Ahora con lo anterior presente, se verifica la equivalencia de compacidad en un espacio topolgico.

tF : P u
una familia de cerrados con la PIF; por la observacin anterior hay para cada P ,
px1 , . . . , xn q LnpXq
tal que px1 , . . . , xn q es el respectivo a F . As para ver que la interseccin detoda la familia de
cerrados es no vaca, basta ver por las observaciones del prrafo pasado, que es consistente
3 Un espacio topogico que cumple estas propiedades lleva el nombre de espacio booleano. Esto se analiza ms a
fondo, cuando se estudian las repercusiones del teorema de representacin de Stone.
4 La tcnica es la misma que en la prueba del teorema de Compacidad que se encuentra en el Apndice A. Otra
forma de probar la existencia de este conjunto sera empleando el lema de Zorn, se considera
tpx1 , . . . , xn q LnpXq : px1 , . . . , xn q px1 , . . . , xn q y es consistente con T eopxA, Xyqu

que claramente es no vaco y al unir una cadena brinda una cota para esta.
85
6.1. TIPOS DE UNA ESTRUCTURA
con T eopxA, Xyq, para lo cual con el teorema de compacidad ya se tiene lo que se buscaba, puesto
que si se toma un subconjunto finito H de Y T eopxA, Xyq habr un subconjunto finito J de
para el cual,
H
Y T eopxA, Xyq
PJ
como tF : P u tiene la PIF entonces PJ Y T eopxA, Xyq es satisfacible, por lo cual H

tambin lo es, as se puede concluir la compacidad buscada.
:
Definicin 6.10. Sea px1 , . . . , xn q P SnA pXq. px1 , . . . , xn q es Aislado syss hay px1 , . . . , xn q P
LnpXq tal que tpx1 , . . . , xn qu Y T eopxA, Xyq es satisfacible y para toda px1 , . . . , xn q P px1 , . . . , xn q
se tiene que
`
xA, Xy | @x1 . . . @xn px1 , . . . , xn q px1 , . . . , xn q

Se dice que asla px1 , . . . , xn q.
De la definicin es inmediato que rs H, lo cual es muy importante, ya que si se permite la
definicin para cualquier frmula se tendra que cualquier n-tipo es aislado.
Lema 6.11. Si px1 , . . . , xn q P SnA pXq entonces
rs tpx1 , . . . , xn qu
P
Prueba. Una contencin es obvia, veamos que la otra se cumple. Sea 1 P P rs, por lo cual
se tiene que px1 , . . . , xn q 1 ; as se toma P 1 y supngase que R px1 , . . . , xn q, de lo
cual P px1 , . . . , xn q y por lo tanto, , P 1 , lo cual es una contradiccin, por lo que
1 px1 , . . . , xn q.
:
Lema 6.12. Si px1 , . . . , xn q P SnA pXq entonces px1 , . . . , xn q es aislado syss tpx1 , . . . , xn qu es
abierto.
Prueba. rs Para ver que tpx1 , . . . , xn qu es abierto, como px1 , . . . , xn q es aislado entonces hay
px1 , . . . , xn q tal que para toda px1 , . . . , xn q P px1 , . . . , xn q
`

por lo que rs rs, para toda px1 , . . . , xn q P px1 , . . . , xn q.
As rs P rs , pero del lema anterior se sabe que P rs tpx1 , . . . , xn qu por lo que

rs tpx1 , . . . , xn qu y adems se sabe que rs H por lo cual rs tpx1 , . . . , xn qu teniendo as
que tpx1 , . . . , xn qu es abierto.
rs Si tpx1 , . . . , xn qu es abierto se tiene que hay ti : i P Iu tal que
tpx1 , . . . , xn qu ri s
iPI
al ser
Hausdorff y compacto se tiene
n que tpx1 , . . . , xn qu es cerrado y compacto, por lo que
hay ti1 , . . . in u ti : i P Iu tal que j1 rij s tpx1 , . . . , xn qu. Se afirma que i1 _ . . . _ in
asla a px1 , . . . , xn q. En efecto, si se hace
SnA pXq
i1 _ . . . _ in
86
se tiene que rs tpx1 , . . . , xn qu, lo que dice que rs H; por las observaciones que se tienen
sobre el comportamiento de los abiertos, esto es que T eopxA, Xyq Y tu es satisfacible. Por otro lado
se sabe que
rs tpx1 , . . . , xn qu
P
de lo cual
rs
rs
P
As para toda P se tiene que rs rs, y de nuevo por el argumento sobre los abiertos, se tiene
que para toda P se cumple que

lo que prueba que asla a px1 , . . . , xn q, es decir px1 , . . . , xn q es aislado.
6.2.
Tipos de una teora
Ahora, como costumbre matemtica, se tiene el vicio de generalizar las cosas. Se defini la
cuestin de tipos para estructuras, pero se puede generalizar esto para conjuntos de enunciados, es
decir, teoras.
Definicin 6.13. Sean T una -teora y px1 , . . . , xn q Ln . px1 , . . . , xn q es un n-tipo de T
syss T Y px1 , . . . , xn q es satisfacible. Las cuestiones de completud y parcialidad son anlogas a las
anteriores.
Esto es una generalizacin en el siguiente sentido: se puede tomar T T eopxA, Xyq y
px1 , . . . , xn q LnpXq , as un n-tipo de T es un n-tipo de A sobre X.
Por otro lado se puede definir anlogamente Sn pT q el conjunto de los n-tipos completos de T .
Si T es una teora completa y A | T entonces SnA pHq Sn pT q. Tambin se puede dotar al nuevo
conjunto de una topologa, para cada px1 , . . . , xn q P Ln , se define rs tpx1 , . . . , xn q P Sn pT q :
P px1 , . . . , xn qu. Estos conjuntos cumplen las mismas propiedades booleanas que las definidas
para SnA pXq. Esto de nuevo se suma al trabajo para l lector, respecto a las otras propiedades se
tiene que:
1. rs Sn pT q syss T $
2. rs rs syss T $
De nuevo han salido a flote propiedades que se heredan desde la teora de la demostracin y el gran
vnculo que establece el teorema de completud-correctud.
Y por lo cual, el nuevo objeto Sn pT q es un espacio topolgico booleano. De manera anloga se
tiene que un n-tipo, px1 , . . . , xn q, de T es aislado si hay una frmula px1 , . . . , xn q P Ln tal que
T $ para toda P px1 , . . . , xn q. Y a estas alturas no debe de sorprender que un n-tipo es
aislado, si como elemento del espacio topolgico es un punto aislado (Ver lema 6.12).
87
6.2. TIPOS DE UNA TEORA
En el cpitulo de lgebras de Boole se defino Bn pT q y se vio que se le poda dar estructura de

lgebra de Boole, resulta que esta es isomorfa al lgebra de los abierto-cerrados que se usaron para
dotar de topologa el conjunto de los tipos. En el lgebra de Boole un n-tipo de una teora no es
aislado syss el nfimo del n-tipo es cero.
Lema 6.14. Sean px1 , . . . , xn q P Sn pT q no aislado y C un conjunto de constantes disjunto con .
1
Si 1 Y C entonces en el lgebra B0 pT q para toda sucesin c1 , . . . , cn P C tiene lugar la siguiente
ecuacin
Inf ttpc1 , . . . , cn quT : px1 , . . . , xn q P px1 , . . . , xn qu 0
Prueba. Supngase lo contrario, as hay P L01 y c1 . . . . cn P C tal que tuT 0 y T $
pc1 , . . . , cn q para toda P . Se modifica a para aislar al tipo en el lgebra Bn pT q, puede
contener constantes distintas a c1 , . . . , cn . Sean d1 , . . . , dr P C dichas constantes, as podemos tomar
z1 , . . . , zr variables distintas a x1 , . . . , xn , se sustituye en , di por zi . Sea 1 la frmula resultante,
por el lema 4.35 se puede asegurar que
T $ Dz1 . . . Dzr 1 pc1 , . . . , cn q
para cada P .
Por otro lado en Dz1 . . . Dzr 1 aparecen a lo ms las constantes c1 , . . . , cn , si alguna variable
de tx1 , . . . , xn u aparece en Dz1 . . . Dzr 1 cuantificada, se pueden cambiar por nuevas. As se puede
proceder, suponiendo que en Dz1 . . . Dzr 1 no ocurren las variables x1 , . . . , xn . Por otro lado si hay cl
con 1 l n, que no ocurre en Dz1 . . . Dzr 1 se hace
pDz1 . . . Dzr 1 q & ci0 cik & . . . & cik cik
Para cada ciw que no aparezca en Dz1 . . . Dzr 1 y de lo anterior tenemos que T $ pc1 , . . . , cn q
y por el teorema de generalizacin sobre constantes se tiene que
T $ @x1 . . . @xn p px1 , . . . , xn qq
Para toda P px1 , . . . , xn q.
Por lo anterior hemos aislado el n-tipo, es decir, que en el lgebra Bn ,
Inf ttpx1 , . . . , xn quT : P px1 , . . . , xn qu 0
:
En la seccin anterior una preocupacin fue saber cundo un tipo era realizable. se vio que la
condicin de que px1 , . . . , xn q Y T eopxA, Xyq garantizaba la existencia de una extensin elemental
donde el tipo se realizaba. Ahora con la teora es posible cambiar.
Lema 6.15. Sea T una -teora. Si px1 , . . . , xn q P Sn pT q y px1 , . . . , xn q es aislado por px1 , . . . , xn q
entonces px1 , . . . , xn q se realiza en cualquier modelo de
T Y tDx1 . . . Dxn px1 , . . . , xn qu
88
Prueba. Sea A | T Y tDx1 . . . Dxn px1 , . . . , xn qu.

Como asla a px1 , . . . , xn q, se tiene que
T $ px1 , . . . , xn q px1 , . . . , xn q
para toda P px1 , . . . , xn q. Por otro lado
A | Dx1 . . . Dxn px1 , . . . , xn q
As sean a1 , . . . , an P A tal que A | pa1 , . . . , an q y como A | T , se tiene que
A | pa1 , . . . , an q pa1 , . . . , an q
de donde A | pa1 , . . . , an q para cada P px1 , . . . , xn q. De lo anterior a1 , . . . , an P A realiza
px1 , . . . , xn q.
:
Ahora se cuenta con una condicin suficiente para la realizacin del tipo, pero la omisin de este
no es nada trivial. Adelante se abordarn dos teoremas sobre esto, como se hace en gran parte de la
literatura, con un teorema inicial que ayudara a probar uno ms fuerte. Pero para ello se necesita
antes un lema.
Lema 6.16. Sean T una -teora, px1 , . . . , xn q P Sn pT q no aislado, C un conjunto de constantes
1
ajeno a , 1 Y C y A P V 1 un modelo cannico de T . Si U B0 es un ultrafiltro tal que
U ttuT : P L01 y A | u
Entonces las siguientes condiciones son equivalentes:
1. A omite a px1 , . . . , xn q
2. Para cada c1 , . . . , cn P C, U respeta el nfimo de
tpc1 , . . . , cn quT : P
Prueba. rs Si A omite a px1 , . . . , xn q, entonces para cada a1 , . . . , an P A hay

a px1 , . . . , xn q P px1 , . . . , xn q
tal que A | a pa1 , . . . , an q, pero como A es cannico respecto a C se tiene que hay c1 , . . . , cn P C
tales que cA
a pc1 , . . . , cn q y por lo cual ta pc1 , . . . , cn quT R U , con lo que U
i ai , de lo cual A |
respeta el nfimo de
ttpc1 , . . . , cn quT : P px1 , . . . , xn qu
ya que
de
(
Inf tpc1 , . . . , cn quT : P 0
rs Se verificar que A omite a px1 , . . . , xn q. Sean c1 , . . . , cn P C, como U respeta los nfimos

(
tpc1 , . . . , cn quT : P px1 , . . . , xn q
entonces hay 1 pc1 , . . . , cn q tal que t1 pc1 , . . . , cn quT R U , por lo cual A |

cual A omite a px1 , . . . , xn q.
1 pc1 , . . . , cn q, con lo
:
89
6.2. TIPOS DE UNA TEORA
Teorema 6.17 (Omisin de un tipo). Sea numerable y T una teora. Si px1 , . . . , xn q P Sn pT q

no aislado, entonces hay un modelo numerable de T que omite a px1 , . . . , xn q.
Prueba. Sea C un conjunto numerable de constantes ajeno a y sea 1 Y C. Se sabe por el
lema que para cada frmula pxq P L11
Tambin sabemos, por ser px1 , . . . , xn q no aislado, que para cada c1 , . . . , cn P C,
Inf ttpc1 , . . . , cn quT : P px1 , . . . , xn qu 0
Como 1 es numerable entonces la cantidad de conjuntos de la forma
ttpc1 , . . . , cn quT : P px1 , . . . , xn qu
es numerable, al igual que los conjuntos
ttpcquT : c P Cu
Adems es fcil verificar5 que T 1. As por el corolario al teorema de Rasiowa-Sikorski hay un
1
ultrafiltro U en el lgebra B0 que respeta los supremos e nfimos de los conjuntos anteriores, por
respetar los supremos, por la proposicin 4.37 , se tiene que U corresponde a un modelo cannico
de T 6 y al respetar los nfimos por el lema anterior se tiene que omite a px1 , . . . , xn q.
:
Corolario 6.18. Sea T una -teora y px1 , . . . , xn q Ln un n-tipo parcial. Si hay px1 , . . . , xn q P
Sn pT q no aislado tal que , entonces hay A P M odpT q numerable que omite a px1 , . . . , xn q.
Corolario 6.19 (Omisin de tipos.). Dada una -teora T en un lenguaje numerable y X Sn pT q
no aislados y numerable, hay un modelo numerable de T que omite todos los n-tipos de X.
Prueba. Al ser numerable la cantidad de n-tipos se tiene que el teorema de Rasiowa-Sikorski sigue
funcionando, por lo que la prueba es similar al teorema anterior.
:
Corolario 6.20. Dada una -teora T en un lenguaje numerable y un conjunto Y de n-tipos
parciales, que se pueden extender a n-tipos no aislados, hay un modelo numerable de T que omite a
los elemntos de Y .
Con los resultados anteriores se ha visto el poder que las lgebras de Boole tienen.
Las siguientes observaciones al respecto:
1. px1 , . . . , xn q P Sn pT q syss ttpx1 , . . . , xn quT : px1 , . . . , xn q P px1 , . . . , xn qu es un ultrafiltro
en Bn pT q.
2. Un n-tipo es aislado syss el ultrafiltro que induce en el lgebra Bn es principal.
3. Un n-tipo es ailsado por px1 , . . . , xn q syss tpx1 , . . . , xn quT es un atmo en Bn pT q y
tpx1 , . . . , xn quT P Upx1 ,...,xn q
5 Ejercicio
6 Ya
para el lector.
que 1 P U
90

4. px1 , . . . , xn q Ln es un n-tipo parcial syss
(
tpx1 , . . . , xn quT : P P P IF
5. Un n-tipo parcial se puede extender a un n-tipo no aislado syss
(
(
tpx1 , . . . , xn quT : P Y a P Bn pT q : a es un atomo P P IF
6.3.
Modelos Atmicos
Ahora se estn asentando los prerrequisitos para el tema de saturacin. Se necesita introducir
aqu ms conceptos, debido a la gran cantidad de literatura.
Definicin 6.21 (Modelo e-primo.). Sea T una -teora. A P M odpT q es un modelo e-primo syss
para todo B P M odpT q, hay h : A B tal que
A h B
En varios textos sobre la teora de modelos se encontrar la definicin anterior como la del modelo
primo, inclusive en [Hod93] hay una nota donde se dice: No debe confundirse con la de modelo
primo de Robinson. Como el modelo primo de Robinson solo se refiere a encajes y la nueva a encaje
elemental, es por ello que se ha nombrado e-primo.
As es inmediato que si una teora tiene modelo e-primo entonces la teora es completa, sintcticamente.
Definicin 6.22. Sean T L0 y A P M odpT q. Se dice que A es un modelo atmico de T si
se tiene claro de qu teora se est hablando solo se escribir modelo atmico syss para toda
a1 , . . . , an P A, el n-tipo tpA pa1 , . . . , an q es aislado.
De la definicin anterior se tiene que dadas a1 , . . . , an P A
UtpA pa1 ,...,an q ttpx1 , . . . , xn quT P Bn pT q : A | pa1 , . . . , an qu
es un ultrafiltro, pero al ser aislado, hay px1 , . . . , xn q P Ln tal que para toda P tpA pa1 , . . . , an q
T $ @x1 . . . @xn px1 , . . . , xn q px1 , . . . , xn q

y
T Y tpx1 , . . . , xn qu
es satisfacible, por lo que px1 , . . . , xn q P tpA pa1 , . . . , an q. As A satisface un tomo de Bn pT q, es
decir, en un modelo atmico todos los UtpA pa1 ,...,an q son principales.
Teorema 6.23. Sea T una -teora en un lenguaje numerable. Si T es 0 -categrica, entonces para
todo n P zt0u, Sn pT q es finito.
91
6.3. MODELOS ATMICOS
Prueba. Supngase lo contrario, as hay una cantidad infinita de n-tipos de T , por lo cual hay una
cantidad infinita de ultrafiltros en Bn pT q. As Bn pT q es infinita, por lo que se puede encontrar un
ultrafiltro no principal, es decir, un n-tipo no aislado, a saber px1 , . . . , xn q y por el teorema de
omisin de un tipo, se tiene que hay un modelo numerable, A de T que omite a px1 , . . . , xn q.
Como T es 0 -categrica, se tiene que T es completa, como T Y px1 , . . . , xn q es satisfacible, por
el teorema de compacidad, hay un modelo de T , B numerable que realiza a px1 , . . . , xn q. Como T es
0 -categrica se tiene que A B, pero por los teoremas de isomorfismo esto es una contradiccin. :
Para el siguiente resultado se necesita una definicin previa.
Definicin 6.24. Sean A, B P V , X A y h : X B. Se dice que h es un encaje elemental
parcial syss para toda a1 , . . . , an P X y para toda px1 , . . . , xn q,
A | pa1 , . . . , an q B | phpa1 q, . . . , hpan qq
Teorema 6.25. Sea T una -teora en un lenguaje numerable. Si T es completa y A | T , entonces
A es un modelo atmico y numerable syss A es un modelo e-primo.
Prueba. rs Supngase que A es un modelo e-primo, al ser numerable el lenguaje de la teora se
tiene que A es numerable, pues sta tiene modelos de ese cardinal. Supngase que no es atmico, por
lo que hay a1 , . . . , an P A, tal que tpA pa1 , . . . , an q es no alisado. As, por el teorema de omisin de
tipos hay B | T tal que B omite a tpA pa1 , . . . , an q, pero A es el modelo e-primo de T , por lo que
hay h : A B tal que A h B y por lo anterior hpa1 q, . . . , hpan q P B realiza a tpA pa1 , . . . , an q en
B, lo cual es una contradiccin.
rs Sea A un modelo atmico y numerable de T , y sea xam : m P zt0uy una enumeracin de A
y xi px1 , . . . , xi q : i P zt0uy una lista de frmulas que aslan al tpA pa1 , . . . , ai q.
Se va a construir por recursin sobre , una familia de encajes parciales. Sea h0 H, como T es
completa se tiene que A B por lo que h0 es un encaje parcial. Supngase que
hn : ta1 , . . . , an u B
ya esta definido, se tiene que A | n`1 pa1 , . . . , an , an`1 q, de lo cual
A | Dxn`1 n`1 pa1 , . . . , an , xn`1 q
Como hn es un encaje parcial entonces
B | Dxn`1 n`1 phn pa1 q, . . . , hn pan q, xn`1 q
sea bn`1 P B tal que B | n`1 phn pa1 q, . . . , hn pan q, bn`1 q, con lo cual se hace hn`1 hn Y
tpan`1 , bn qu, es decir hn`1 pas q hn pas q si s n ` 1 y hn`1 pan`1 q bn`1 . Se define el encaje
h
hn
nP
Como m px1 , . . . , xm q aisla a tp pa1 , . . . , am q y hm es un encaje parcial, se tiene que

A
tpA pa1 , . . . , am q tpB phm pa1 q, . . . , hm pam qq

:
92

Por la prueba anterior se tiene el siguiente corolario.
Corolario 6.26. Si T L0 completa, A, B P M odpT q atmicos numerables, a1 , . . . , an P A y

b1 , . . . , bn P B tales que
tpA pa1 , . . . , an q tpB pb1 , . . . , bn q
Entonces para cada a P A hay b P B tales que
tpA pa1 , . . . , an , aq tpB pb1 , . . . , bn , bq
y para cada b P B hay a P A tal que R
tpA pa1 , . . . , an , aq tpB pb1 , . . . , bn , bq
Prueba. Basta hacer lo mismo que en la prueba pasada, argumentando sobre la formula
px1 , . . . , xn , xn`1 q que asla a tpA pa1 , . . . , an , aq y tomar que
Dxn`1 pa1 , . . . , an , xn`1 q P tpA pa1 , . . . , an q
Para el otro resultado hacemos lo anlogo con B.
Ahora se ver que el modelo atmico es nico, salvo isomorfismo.

Teorema 6.27. Sea T L0 completa. Si A, B P M odpT q son numerables y atmicos entonces
A B.
Prueba. Se construye una sucesin como la del Teorema 6.25 pero iterando de una estructura a
otra, como back and forth; as se toman
h : zt0u A
y
g : zt0u B
biyecciones. Sea a1 P A tal que a1 hp1q y se consideran tpA pa1 q y px1 q que lo asla, por lo cual
B | Dx1 px1 q, lo que arroja a quin se denomina b1 P B, de lo cual tpA pa1 q tpB pb1 q, puesto que
T es completa y con ello A B.
Se procede por recursin, sea k P zt0, 1u supngase que se tienen a1 , . . . , ak P A distintos entre
si y b1 , . . . , bk P B de igual forma, tal que tpA pa1 , . . . , ak q tpB pb1 , . . . , bk q, como h y g brindan
una enumeracin de A y B dado un subconjunto de alguno de ellos, se puede encontrar el elemento
que es imagen del menor natural. As si k ` 1 es impar, se toma ak`1 P Azta1 , . . . ak u el primero
respecto a la enumeracin y por el corolario 6.26 se tiene que hay bk`1 P Bztb1 , . . . , bk u tal que
tpA pa1 , . . . , ak`1 q tpB pb1 , . . . , bk`1 q7 . Si k ` 1 se hace lo mismo pero iniciando en B.
De lo anterior la funcin buscada es F : A B, tal que F pai q bi para todo i P zt0u.
Del resultado anterior se tiene una condicin suficiente para que una teora sea 0 categrica.
7 El lector debera de preocuparse en este momento por la inyectividad de la funcin que se esta construyendo, pero
en la seccin de ejercicios de este capitulo, uno de ellos es justo el que justifica que todo esta bien hecho.
93
Proposicin 6.28. Sean un tipo de semejanza contable y T una -teora completa. Si para cada
n P zt0u se cumple que Sn pT q es finito, entonces T es 0 -categrica.
Prueba. Como para cada n P zt0u se sabe que Sn pT q es finito, entonces Bn pT q es atmica8 , ya
que es finita, pues Sn pT q es el espacio de ultrafiltros de sta, por lo cual todos los n-tipos son aislados
y si A, B P M odpT q son numerables, slo realizan n-tipos aislados. Por lo tanto son atmicos y por
el resultado anterior, estos son isomorfos.
:
Ahora la existencia de los modelos atmicos ha sido muy importante, pero no se ha establecido
una condicin suficiente para su existencia. Lo anterior recuerda el problema que surge para calcular
grupos fundamentales empleando cubrientes universales, el teorema que afirma la existencia de estos
es una verdadera monserga y en el caso de la existencia del modelo atmico no ser el caso, aunque
antes se plantearn algunos lemas.
Lema 6.29. Sean T una -teora completa en un lenguaje numerable, px1 , . . . , xn q un n-tipo de T ,
C un conjunto numerable de constantes ajeno a y 1 YC. Si px1 , . . . , xn q asla a px1 , . . . , xn q
1
en T , entonces para cualesquiera c1 , . . . , cn elementos de C se tiene que en B0 pT q
Inf ttpc1 , . . . , cn quT : P u tpc1 , . . . , cn quT
Prueba. Ya se ha visto que en Bn pT q
Inf ttpx1 , . . . , xn quT : P u tpx1 , . . . , xn quT
con lo que la prueba de este lema es completamente anloga a la del lema 6.14.
Lema 6.30. Sea T una -teora completa, B P M odpT q y

a1 , . . . , an , b1 , . . . , bm P B
Si tpB pa1 , . . . , an , b1 , . . . , bm q es aislado en T entonces tpB pa1 , . . . , an q tambin es aislado en T .
Prueba. Sea px1 , . . . , xn , xn`1 , . . . , xn`m q P Ln`m tal que es la frmula que asla a
tpB pa1 , . . . , an , b1 , . . . , bm q
Se afirma que
Dxm`1 . . . Dxm`n px1 , . . . , xn , xn`1 , . . . , xn`m q
asla a tp pa1 , . . . , an q. Para esto supongamos lo contrario, por lo que hay
B
px1 , . . . , xn q P tpB pa1 , . . . , an q

tal que
T & Dxm`1 . . . Dxm`n px1 , . . . , xn , xn`1 , . . . , xn`m q px1 , . . . , xn q
como T es completa, se tiene que
T $ Dxm`1 . . . Dxm`n px1 , . . . , xn , xn`1 , . . . , xn`m q
8 El resultado es general para cualquier lgebra de Boole, el lgebra es finita syss su espacio de ultrafiltros lo es, ver
[JAN89] .
94
y que T $
px1 , . . . , xn q, por lo cual hay c1 , . . . , cn P B con la propiedad de

B | Dxm`1 . . . Dxm`n pc1 , . . . , cn , xn`1 , . . . , xn`m q
y
B |
pc1 , . . . , cn q
como B | Dxm`1 . . . Dxm`n pc1 , . . . , cn , xn`1 , . . . , xn`m q hay a11 , . . . , a1m P B tal que
B | pc1 , . . . , cn , a11 , . . . , a1m q
Tambin se tiene que px1 , . . . , xn , xn`1 , . . . , xn`m q asla a
tpB pa1 , . . . , an , b1 , . . . , bm q
en T y por otro lado
px1 , . . . , xn q & xn`1 xn`1 & . . . & xn`m xn`m
es un elemento de tpB pa1 , . . . , an , b1 , . . . , bm q
De lo anterior se puede concluir que B | pc1 , . . . , cn q, pero tambin B |
lo que se ha llegado a una contradiccin.
pc1 , . . . , cn q, con
:
El lector debe quedar convencido que para cualquier permutacin de a1 , . . . , an , b1 , . . . , bm el

resultado se mantiene, es decir, no es necesario retirar exactamente los ltimos m elementos: se
pueden quitar en cualquier orden, slo que en la prueba debera haber un reacomodo de las variables
libres. Ahora se da el paso al resultado anunciado y de hecho se caracterizar la existencia del modelo
atmico para teoras completas.
Teorema 6.31 (Existencia del modelo atmico). Sea T una -teora completa en un lenguaje
numerable. Las siguientes condiciones son equivalentes:
1. Para toda n P zt0u, Bn pT q es atmica
2. T tiene modelo atmico.
Prueba. r2 1s Sean A el modelo atmico de T y px1 , . . . , xn q P Ln tal que en Bn pT q,
tpx1 , . . . , xn quT 0. Como tpx1 , . . . , xn quT 0 entonces
T Y tDx1 . . . Dxn px1 , . . . , xn qu
es satisfacible. Al ser T completa entonces A | Dx1 . . . Dxn px1 , . . . , xn q por Tarski hay a1 , . . . , an P A
tal que A | pa1 , . . . , an q, por lo que px1 , . . . , xn q P tpA pa1 , . . . , an q, como A es el modelo atmico
entonces hay px1 , . . . , xn q que asla a tpA pa1 , . . . , an q en T , por lo que el conjunto de las clases de
estas frmulas forman un ultrafiltro principal en Bn pT q, por lo cual tpx1 , . . . , xn quT es un atmo
resulta que esta lgebra es atmica.
r1 2s Sea C tcj : j zt0uu un conjunto de constantes ajeno a y hacemos 1 Y C. Se
tienen dos casos:
95
Caso I: Para toda n P zt0u, se tiene que Bn pT q es finita. Por lo anterior se tiene que todas las
son algebras de ultrafiltros principales, con lo que hemos terminado.
Bn pT q
Caso II: Para algn n P zt0u, Bn pT q es infinita. En este caso se toma

!
)
Y ta P Bn pT q : a es un tomou : Bn pT q es infinita
Tambin se considera
!
)
X tpcquT : c P C
Por el corolario 6.20, se tiene que hay un modelo de T A1 P V 1 numerable que omite a los elementos
Y y respeta los supremos de cada X .
Se afirma que siendo A el -reducto de A1 , A es modelo atmico de T . Por el lema 6.30 basta
1
A1
probar que tpA pcA
1 , . . . , cn q es aislado para toda n P zt0u.
Se sabe que
A
ttpx1 , . . . , xn quT : P tpA pcA
1 , . . . , cn q
es un ulrafiltro en Bn pT q y por lo tanto, basta ver que es principal, por lo que, si Bn pT q es finita se
termina.
Si Bn pT q es infinita, es suficiente probar que hay un tomo de ella en
1
A
ttpx1 , . . . , xn quT : P tpA pcA
1 , . . . , cn qu
Supngase lo contrario, as para cada a P Bn pT q tomo se tiene que

1
A
a P ttpx1 , . . . , xn quT : P tpA pcA
1 , . . . , cn qu
por lo que
1
A
ta P Bn pT q : a es un atomou ttpx1 , . . . , xn quT : P tpA pcA
1 , . . . , cn qu
Por lo anterior, A realiza a ta P Bn pT q : a es un atomou, lo cual es una contradiccin pues A1 omitia

los elementos de Y .
:
El resultado anterior se menciona en la mayoria de libros como el siguiente:
Teorema 6.32. Si T es una -teora completa entonces las siguientes condiciones son equivalentes:
1. T tiene modelo atmico
2. El conjunto de puntos aislados es denso en Sn pT q para cada n P zt0u
:
Paf y se acabo. . .
96
6.4.
1. Pruebe que si A h B y A realiza px1 , . . . , xn q entonces B tambin lo realiza.

2. Sean un tipo de semejanza, c1 , . . . , cm constantes que no aparecen en con m n y T una
-teora, . Si se plantea la regla de correspondencia
px1 , . . . , xn q px1 , . . . , xnm , c1 , . . . , cm q
es una funcin inyectiva entre los n-tipos de T y los nm-tipos de T en el lenguaje L Ytc1 ,...,cm u .
Ser una funcin continua?
3. Sea T una -teora. Pruebe que para todo 1 tipo de semejanza que extienda a se tiene que
T 1
1
B
0 pT q
4. Sean A P V , X A, Y X y px1 , . . . , xn q P LmpY q . Si px1 , . . . , xn q asla a tpA pa1 , . . . , an {Xq,

entonces px1 , . . . , xn q asla a
tpA pa1 , . . . , an {Y q
5. Sean A P V ,
a1 , . . . , am , b1 , . . . , bn P A
y X A. Si
es aislado, entonces
tpA pa1 , . . . , am , b1 , . . . , bn {Xq

tpA pa1 , . . . , am {A Y tb1 , . . . , bn uq
tambin es aislado.
6. Pruebe que si T es la teora de los rdenes densos sin extremos, entonces todo n-tipo es aislado.
7. Pruebe que si A xQ, y, entonces tpA pa1 , . . . , an q tpA pb1 , . . . , bn q syss para cada i, j P
t1, . . . , nu ai aj syss bi bj .
8. Sea T T eopq. Cuantos n-tipos hay?
9. Sea T una -teora completa. Si para cada n P se tiene que | Sn pT q | 20 , entonces T tiene
modelo atmico.
10. Sean A, B P V , X A y h : X B. Pruebe que h es un encaje elemental parcial syss
xA, Xy xB, hrXsy.
11. Considerando el ejercicio anterior. Puede plantearse un lema del diagrama para encajes
parciales?
12. Sean A, B P V , a1 , . . . , an P A y b1 , . . . , bn P B. Si tpA pa1 , . . . , an q tpB pb1 , . . . , bn q,entonces
xta1 , . . . , an uyA xtb1 , . . . , bn uyB .
13. Pruebe el teorema 6.32. Indicacin: Por el teorema de la existencia del modelo atmico basta
probar que para cada n P zt0u se tiene que Bn pT q es atmica syss el conjunto de puntos
aislados es denso en Sn pT q.
Apndice A
El clculo de predicados y la teora

de modelos.
En este captulo se abordarn las tcnicas bsicas de la teora de modelos que nacen a partir
del clculo de predicados, el cual se introduce para encontrar un aspecto formal para llegar a las
frmulas universalmente validas, no solo eso, si no que tendr repercusiones en la semntica mucho
ms fuertes que son de amplio inters para este texto, as como el siguiente resultado que se probar
ms adelante:
Si un conjunto de enunciados es sintcticamente consistente, entonces tiene modelo.
A.1.
El clculo formal
Una de las nociones ms importantes para la lgica matemtica es el estudio de la teora de la

prueba. En este trabajo no lo se desarrollar ampliamente, pues interesa sobremanera la semntica,
y justo ese aspecto ser el que se desarrollar conforme se avance en los resultados.
A continuacin se presentan los axiomas y reglas de inferencias de un clculo lgico y formal que
resultar, semnticamente, suficiente.
Definicin A.1. Un sistema formal es una terna ordenada xA, R, Ey, donde E es un lenguaje, A
es un conjunto de expresiones de dicho lenguaje y R reglas de inferencia.
En este mbito se define CP como un sistema formal.
Definicin A.2. Dado un tipo de semejanza y su lenguaje L se define el Sistema Formal del
Clculo de Predicados como x, tM P, Genu, L y, donde
Axk
k1
y cada Axk es un conjunto de axiomas, o esquema axiomtico, como sigue: Dados , , P L y

t P T RM :
97
98
APNDICE A. EL CLCULO DE PREDICADOS

Ax1 p q
Ax2 p p qq pp q p qq
Ax3 p
q pp q q
Ax4 @x xt Si t es libre para x en

Ax5 @xp q p @xq
Ser clculo de predicados con igualdad, si se agregan a el axioma y el esquema axiomtico
siguientes:
Ax6 @x0 px0 x0 q
Ax7 @x@y x y prx, xs rx, ysq

En cuanto a las reglas de inferencia, M P y Gen se tiene lo siguiente:
,
MP
pxq
Gen
@xpxq
Definicin A.3. Una demostracin (en el sistema CP ), es una lista finita de formulas 0 , ..., n P
L , tal que para toda 1 i n se tiene lo siguiente:
i P o;
i se obtiene de anteriores por M P o;
i se obtiene de anteriores por Gen o;
Decimos que se demuestra en el CP syss hay una prueba en el sistema tal que n , y lo
denotamos por $ .
Este sistema formal jugar el papel de aparato lgico, retratando de manera formal lo que pasa
en la matemtica. Ms adelante se probar que todas las frmulas que se demuestran en el sistema
son frmulas universalmente validas. En el inter, se brinda el resultado sobre la equivalencia de tener
modelo y ser un conjunto consistente, resultado de muy amplio interes como anteriormente se ha
mencionado.
Definicin A.4. Sea L . Se dice que se deduce de (en el CP ), en smbolos $ syss hay
una lista finita de frmulas 1 , ..., n tal que n y para toda i P t1, .., nu se cumple lo siguiente:
i P o;
i P o;
i se obtiene de anteriores por M P o;

i se obtiene por Gen de anteriores sobre una variable, digamos x y x R V L .
A.2. CARACTERIZACIN SEMNTICA DE LA CONSISTENCIA
99
Se debe considerar fuertemente que a no se le est pidiendo nada en especifico; este jugar el
papel de axiomas en una determinada rama de la matemtica, los cuales no tienen por que ser
necesariamente lgicamente vlidos, pero si sern verdad donde se necesite; por ejemplo, pueden
ser los axiomas de campo, o de anillos, escritos en primer orden.
As se ha formalizado la nocin de prueba como un objeto matemtico, por lo que se puede
hablar de consistencia y completud.
Definicin A.5 (Consistenca). Sea L . Se dice que es sintacticamente consistente syss no
hay P L0 tal que $ y $
Definicin A.6 (Completud). Sea L . Se dice que es sintacticamente completo syss para
cualquier P L se tiene que $ o $
Ahora se presentan tres lemas que no probaremos ya que corresponden a un curso de teora de la
prueba.
Lema A.7. Sean Y tu L . Si & entonces Y t u es consistente.
Lema A.8. Sean Y tu L , pxq P L1 y c una constante que no figura ni en ni en pxq. Si
$ Dxpxq y Y tpcqu $ entonces $
Lema A.9 (Generalizacin sobre constantes). Sean L , pxq P L1 y c una constante que no
figura ni en ni en pxq. Si $ pcq, entonces $ @xpxq
Teorema A.10 (Compacidad sintctica o de finitud). Sean L0 y P L0 . $ syss hay
0 P rs tal que 0 $
A.2.
Caracterizacin Semntica de la Consistencia
Con las condiciones suficientes para probar el teorema que se esta buscando para unir la sintaxis
con la semntica y no slo eso, con el teorema de completud correctud de Gdel, cosa que ayudar a
probar el famoso teorema de compacidad, se procede a enunciar y probar el siguiente:
Teorema A.11. Sea L0 . es sintcticamente consistente, entonces hay A P V tal que A | .
Prueba. rs Si el lenguaje es numerable no se necesita emplear el axioma de eleccin ya que con
la tcnica de Gdelizacin se puede dar la regla explicita para enumerar las frmulas del lenguaje.
Si el lenguaje no es numerable usando el axioma de eleccin se puede encontrar el cardinal de
frmulas del lenguaje. Supngase que es el cardinal y sea
C tc0 : u
un conjunto de constantes que no aparecen en . As, si hacemos 1 Y C se sabe que el cardinal
de L01 tambin es , se considera una enumeracin de L01 , sea x : y.
As por recursin para se define la siguiente funcin:
p0q 0
100
p` q
&
Y t u
Si Y t u es consistente
Y t u
Si Y t u es inconsistente
y no es de la f orma @xpxq p. a.
Y t , pc0 qu
Si Y t u es inconsistente
y es de la f orma @xpxq p. a.
pqPLIM
Donde c0 es la primer constante de C que no figura en las formulas de los conjuntos indicados en los
pasos recursivos.
Sea
Se afirma que cumple con las siguientes propiedades:

1.
2. P-completud en L 1 (para toda P L 1 se tiene que P o
P)
3. 1 -Consistencia y -maximal en pL 1 q
4. 1 universalidad (Si @xpxq P entonces para toda c P C se tiene que pcq P )
La primera y segunda afirmacin son triviales ya que as se ha construido . Por abundar ms en
el segundo punto, como todas las frmulas estn en correspondenca con un ordinal, se han verificado
todos los casos agregando la formula necesaria.
Para el tercer punto, la prueba es analizar que cada paso de la construccin preserva la 1 consistencia, los cual se verificar por induccin sobre .
Sea , si 0 se cumple por hiptesis, se supone consistente.
Supngase que hay P OR tal que ` y supngase que es consistente y se ver que
tambin lo es. Por la construccin de la funcin se tienen dos casos fciles debido a los lemas se
mencionaron anteriormente: Supngase que fue construido con la tercer regla para ordinales
sucesores es inconsistente; por lo tanto hay P L 1 tal que
Y t , pc0 qu $
y
Y t , pc0 qu $
As usando el metateorema de la deduccin se tiene que

Y t u $
pc0 q
101
A.2. CARACTERIZACIN SEMNTICA DE LA CONSISTENCIA

y
Y t u $
pc0 q
con lo que usando el axioma 3 del clculo de predicados,

Y t u $ pc0 q
por la eleccin de la constante y por el lema de generalizacin sobre constantes, se tiene que
Y t u
es sintcticamente inconsistente, lo cual contradice el que se haya construido al nuevo conjunto con
la tercera opcin.
Si P LIM , supngase que es sintcticamente inconsistente, entonces hay una frmula
tal que $ y $ por el teorema de finitud se tiene que hay 0 , 1 tal que 0 $
y 1 $ . Por construccin 0 1 o 1 0 , sin perdida de generalidad supngase el
primer caso, por lo tanto 1 $ & , llegando as a que hay tal que es sintcticante
inconsistente. Por lo que se concluye que cada estrato es consistente. Ms aun, para ver que es
consistente se se debe calcar la prueba para ordinales limite.
Quedando as probada la primer parte del tercer inciso.
Para la segunda parte del tercer inciso, supngase que hay L 1 tal que , por lo
tanto hay P z. Como se tiene una lista de todas las frmulas, hay tal que , as
P por lo tanto , P as es sintcticamente inconsistente, lo cual conlleva a una
contradiccin. Por lo anterior es -maximal en pL01 q.
Para verificar que es 1 -universal, supngase que
@xpxq P
y que hay c P C tal que pcq R , como es P-completo en L 1 se tiene que
es incosistente, ya que
`
$ Dy pyq & @xpxq
pcq P por lo cual
Este delta sera el procurador de la verdad, pues se usara para definir la verdad en una estructura,
que se presenta a continuacin:
Se define una relacin de equivalencia en T RM01 de la siguiente manera. Dados t0 , t1 P T RM01
se dice que t0 t1 syss t0 t1 P . Verificar que es de equivalencia es tarea para el lector. Es
directo que para cada clase de equivalencia, hay una constante de 1 que se encuentra en ella, pues
se construyo con 1 -universalidad.
Para construir la estructura tmese como universo
A T RM01 {
los trminos cerrados del lenguaje con tipo de semejanza 1 modulo la relacin de equivalencia
), claramente A H.
Enseguida se define la interpretacin A de cada smbolo de 1 .
102

Para cada smbolo funcional f de aridad n y cada rt1 s , . . . , rtn s P A, f A prt1 s , . . . rtn s q
rf pt1 , . . . , tn qs ;
Para cada smbolo relacional R de aridad m y cada rt1 s , . . . , rtn s P A, prt1 s , . . . , rtn s q P RA
syss Rpt1 , . . . , tm q P y
Para cada smbolo c de constante cA rcs .
Queda como ejercicio al lector probar que las funciones estn bien definidas, es decir que si
t1 , . . . , tn , t11 , . . . , t1n P T RM01 son tales que ti t1i para cada 1 i n entonces f A pt1 , . . . , tn q
f A pt11 , . . . , t1n q. Tambin se deja al lector probar lo respectivo para el caso de las relaciones.
Por otra parte, dado t P T RM01 , de la definicin de la interpretacin se tiene que tA rts . La
prueba de este hecho se realiza por induccin sobre la construccin de trminos, la cual tambin se
suma a los deberes del lector.
Se afirma que para cada P L01 se cumple que
A | P
La prueba se realiza por induccin sobre la complejidad de las frmulas.
Si es atmica por la definicin de las relaciones y por la relacin de equivalencia ya se ha
terminado.
Para p & q. Supngase A | syss P y que A | syss P , as se tiene que
p & q P syss de la completud y consistencia de , P y P syss por hiptesis
inductiva, A | y A | syss por Tarski A | p & q.
Para . Se tiene que A |
de , P .
syss no es el caso que A | syss R syss, por la P-completud
Para @xpxq. As, A | @xpxq syss para todo a P A se tiene que A | paq syss debido a que
en cada clase de equivalencia hay una constante de 1 , pcq P para cada c P 1 syss, por la
1 -universalidad de , @xpxq P .
Por lo anterior
A |
como entonces A | ahora si se toma B el -reducto de A se tiene que que B P V y
B | .
:
El teorema anterior es sumamente poderoso, pues establece un puente entre la sintaxis y
la semntica, ntese lo siguiente: en el calculo de predicados no se alude al significado de las
expresiones, la definicin de deduccin es un proceso completamente mecnico que tampoco depende
del significado; por otro lado la nocin de satisfacin depende completamente del significado que
se les da a lso smbolos lgicos, seguido de la interpretacin que se le da los smbolos del tipo de
semejanza. Enseguida se estrenara esta poderosa herramienta
Teorema A.12. Sean L0 y P L0 . ( syss $ .
A.3. EL TEOREMA DE COMPACIDAD SEMNTICO
103
Prueba. rs Supngase que & , as se tiene que Y t u es consistente, por el teorema

anterior, tiene un modelo tmese A P V que cumple con lo que se desea, as A | y A | de lo
cual se obtiene que * .
rs Se verifica sobre la longitud de la deduccin, es decir, se toma A P M odpq y si 1 , . . . , n
es la deduccin de se prueba que para toda 1 i n, se tiene que A | i , asumiendo que para
toda j i A | j . Los detalles se dejan como ejercicio al lector.
:
El resultado anterior es mejor conocido como el Metateorema de Completud-Correctud
Extendida de Gdel para el clculo de predicados.
A.3.
El Teorema de Compacidad Semntico
Este teorema es de severa importancia en la teora de modelos, ya que brinda un mtodo para
poder asegurar cuando un conjunto de frmulas es satisfacible. Con lo probado en la seccin anterior,
probarlo sera sumamente sencillo despus de probar el siguiente resultado.
Teorema A.13. Sean L0 y P L0 . As las siguientes afirmaciones son equivalentes:
a) ( syss hay 0 finito, tal que 0 (
b) es satisfacible syss para todo 0 finito, 0 es satisfacible.
Prueba. rb as As, ( syss Y t u es insatisfacible, por la equivalencia en cuanto a
negaciones de b 1 , esto es equivalente a que haya 0 finito tal que 0 Y t u es insatisfacible,
lo cual tambin es quivalente a que 0 ( .
ra bs Una implicacin de la equivalencia en b es obvia, se ver la prueba de la necesidad, de
sta.
Si es insatisfacible, entonces hay 0 finito tal que 0 es insatisfacible. Para esto considrese
que es insatisfacible, por lo cual
( p@xpx xq ^ @xpx xqq
por el inciso a hay 0 finito tal que
0 ( p@xpx xq ^ @xpx xqq
pero 0 no tiene modelos, ya que de lo contrario @xpx xq ^ @xpx xq tendria modelo, lo cual
seria una contradiccin.
:
Ahora se puede proceder a dar la prueba del teorema de compacidad. A pesar de que la forma
ms usada en la teora de modelos es la enunciada en b, se probar a.
Teorema A.14. Sea Y tu L0 . ( syss hay 0 finito, tal que 0 (
1
es insatisfacible syss hay 0 finito, tal que 0 es insatisfacible.
104
Prueba. (
syss por el teorema de completud-correctud extendido, $
syss por el teorema de compacidad sintctica hay 0 finito tal que 0 $
syss por el teorema de completud-correctud extendido hay 0 finito tal que 0 (
:
El metateorema de compacidad se enuncio para enunciados, este se puede extender para frmulas
con variables libres. Se dar una prueba de esto ms adelante. Para lo cual se debe encontrar
una asignacin para las variables libres del lenguaje, se tomara un paquete de constantes que no
aparezcan en el tipo de semejanza y con ellas se construir la asignacin, ya que dada la estructura,
modelo de los enunciados que resulten de sustituir las variables libres por dichas constantes se tendr
A
xcA
n : n P Ny y se har s : N A, con la regla de correspondencia spiq ci , como asignacin.
Lema A.15. Sean L , C tci : i P Nu un conjunto de constantes que no ocurran en y en
conjunto que resulta de sustituir en cada formula de las variables libres por las constantes de C
respetando el indice, es decir, cada xi por ci . As, es finitamente satisfacible syss es finitamente
satisfacible.
Prueba. rs Sea 0 finito, se ver que tiene modelo. Para esto tmese 0 finito, el cual
corresponde corresponde a 0 . Por hiptesis hay A1 P V y s1 : N A1 tal que
A1 | 0 rs1 s
Se denomina 1 el tipo de semejanza que resulta de agregar las constantes de C a y considrese a
A P V 1 la 1 -expansin de A1 , para la cual falta decir como interpretar las constantes nuevas, se
1
hace cA
i s piq. As por construccin se tiene que A | 0 .
rs Sean 1 Y C, 0 finito y 0 finito el correspondiente de la sustitucin de las
variables por las constantes de C. Sean A P M odp0 q y A1 el -reducto de A y sea s P N A1 tal que
1
spjq cA
j . Se afirma que A | 0 rss. Para esto considrese rx1 , . . . , xm s P 0 , donde los corchetes
cuadrados indican que las variables pueden o no aparecer en la frmula, pero por la definicin de
esta es finita. As hay a lo mas un numero finito de variables libres que ocurren en ella, por lo
tanto A | rc1 , . . . , cm s con lo cual A1 | rspx1 qq, . . . , spxm qs as A1 | rss. As se ha terminado la
prueba.
:
Enseguida el resultado que se ha bsucado.
Teorema A.16. Sea L . Si para cada 0 hay B P V y s P
entonces hay A P V y s1 P N A tal que A | rs1 s.
B tal que B | 0 rss
Prueba. Sea el conjunto que se describe en el lema anterior, al ser finitamente satisfacible,
lo es, por el metateorema de compacidad tiene modelo, tmese C P V 1 , donde 1 es el tipo que
resulta de agregar las constantes de C a . Sean A el reducto de C al lenguaje y s1 P N A una
asignacin tal que s1 piq cC
i.
Se afirma que A | rs1 s, tmese rx1 , . . . , xm s P . As, rc1 , . . . , cm s P , por lo que
C | rc1 , . . . , cm s
por lo tanto A | rs1 px1 q, . . . , s1 pxm qs por lo cual A | rs1 s. Con lo que se concluye la prueba.
:
105
A.4. EJERCICIOS
Ahora se tiene un metateorema de compacidad ms fuerte, ya que funciona para conjuntos de

frmulas y no solo para enunciados.
Es importante mencionar que por la forma en la que se construyo el modelo para el conjunto de
enunciados consistente, el modelo que nos brinda el metateorema de compacidad tiene la cardinalidad
del lenguaje. Ms aun, cuando se mejor el resultado solo se agrego una cantidad numerable de
constantes, por lo que incluso en esa prueba se mantiene la observacin sobre la cardinalidad
del lenguaje. Lo anterior se ha hecho notar por que es de severa importancia para los siguientes
resultados.
Teorema A.17 (LS para conjuntos de frmulas.). Sea L0 . Si hay A P M odpq X IN F ,
entonces para cada P CAR, si | L | | A | entonces hay C P V tal que C | y | C | .
Prueba. Supngase que A0 | y que | A0 | 0 . Tmese un cardinal , tal que | L | | A0 |.
Sea Z tz : u un conjunto de constantes que no ocurren en y sea
t pc c q : c , c P Z y , u
Se ver que Y tiene un modelo, para lo cual, empleando el teorema de compacidad, es
suficiente verificar que cada subconjunto finito lo tiene. Si 0 Y finito, entonces hay 0 y
0 finitos tal que 0 0 Y 0 y por lo tanto hay Z0 Z finito, tal que las constates de Z0
son las que constantes que ocurren en las frmulas de 0 . Se construye la interpretacin A, de la
cual A0 ser reducto. Para lo cual solo faltara decir como interpretar las constantes de Z0 , como A0
es infinito entonces hay B A0 tal que B Z0 y en B no hay elementos distinguidos de A0 , ahora
si z P Z0 , se define z A b P B donde b es el elemento que esta en correspondencia univoca con z.
Se afirma que A | 0 , claramente A | 0 pues es una expansin de tipo de A0 , como B Z0 ,
se tiene que si pc c q P 0 entonces A | pc c q, por lo tanto A | 0 .
As Y tiene un modelo. Sea C1 este, por las observaciones antes hechas, se tiene que | C 1 |
ya que | L | ` | Z | , pero C1 R V , entonces se toma C el reducto de C1 al lenguaje y se sabe
que esta operacin no modifica el tamao de la estructura y al ser L0 se sigue teniendo que
C | . Con lo que se termina la prueba.
:
Teorema A.18 (LST para conjuntos de frmulas.). Sea L0 . Si tiene un modelo infinito, A,
entonces para todo P CAR si | L | ` | A | entonces hay B P V tal que B | y B .
Prueba. Se deja como ejercicio al lector.
En lenguaje natural, estos ltimos teoremas dicen que si un conjunto de enunciados posee un
modelo infinito, entonces tiene modelos de cualquier cardinal a partir del cardinal del lenguaje.
A.4.
Ejercicios
1. Termine las pruebas que se indican a lo largo del apndice.

2. Sea T una -teora en un lenguaje numerable. Pruebe que si T tiene modelos finitos arbitrariamente grandes entonces T tiene un modelo infinito.
106
3. Pruebe que hay un modelo de la aritmtica elementalmente equivalente a pero no isomorfo.

4. Pruebe que hay un modelo de los reales como campo ordenado donde no vale la propiedad
arquimediana.
Apndice B
Conjuntos B-F -inductivos

El objetivo de este apndice es introducir una herramienta que rara vez es estudiada en los cursos
de la Facultad de Ciencias, y que es de suma importancia para justificar en este trabajo varios
resultados, adems de que se le pueden encontrar aplicaciones en otras ramas de la matemtica.
Como en otras secciones, se plasma una lista de teoremas y definiciones sin prueba alguna, ya
que estas exceden los objetivos principales del texto.
Definicin B.1. Sea a P V . Dada una funcin f de aridad n P Z` , se dice que f es una operacin
sobre a syss
f : an a
Ejemplo B.2. Dada una estructura elemental, que no sea multirelacional, las funciones de esta
son operaciones en el universo de la estructura.
Definicin B.3. Sean U P V , C U y F una familia de operaciones sobre U . Se dice que C es
cerrado bajo F syss para toda f P F , si m P Z` es la aridad de f , entonces f rC m s C.
Por la definicin anterior se tiene que U es cerrado bajo F , pero se busca bajo ciertas condiciones
generalizar el principio de induccin, es decir, se sabe que para se tiene la siguiente propiedad, la
cual se exhibe en primer orden desde el lenguaje de la teora de conjuntos:
@c c H p0 P c & @x P px P c x` P cqq c
Obsrvese que el nervio de la induccin est en que todo natural es alcanzable desde el cero
empleando un nmero finito de veces la funcin sucesor; ahora se da paso a la generalizacin, para
la cual se necesita un lugar de donde partir y como llegar a los elementos restantes. La siguiente
definicin rescata algunas de estas ideas.
Definicin B.4. Sean U P V , B U y F una familia de operaciones sobre U . C U es un
conjunto B-F -inductivo syss
1. B C y
2. C es cerrado bajo las operaciones de F .
107
108
APNDICE B. CONJUNTOS B-F -INDUCTIVOS
En adelante se fija U , B y F . Claramente U es un conjunto B-F -inductivo, pero como ya se

haba dicho antes, interesan algunos ms peculiares, as se cuestiona por el ms pequeo y se puede
construir de dos maneras:
1. A la Dedekind: dado que U es como se ha dicho, se puede considerar el siguiente conjunto y
de paso se nombrar.
(
B
C U : C es un conjunto B F inductivo
Se afirma que B es el conjunto B-F -inductivo ms pequeo que contiene a B, lo cual es
inmediato por las propiedades de la interseccin.
2. A la Cantor: se define por recursin para
B0 B
Bn` Bn Y tf pb1 , . . . , bm q : b1 , . . . , bm P Bn , f P F y la aridad de f es mu
Con lo que se considera

B
Bi
iP
La prueba de que B es un conjunto B-F -inductivo no se presenta, sin embargo no requiere

demasiado esfuerzo y se recomienda al lector realizarla.
Ahora por las construcciones que se han brindado, es obvio que B B , pero de hecho la otra
contencin tambin tiene lugar; como el lector se imagina, tambin se le pide llevarla a cabo. Con lo
mencionado anteriormente, B B , por lo cual se tiene el derecho de darle a este un nombre en
particular, y ser el generado por B y las operaciones F y lo se denota de la siguiente manera
rBsF B
La construccin tipo Dedekind permite tener induccin sobre rBsF , es decir, para ver que los
elementos de este conjunto tienen una propiedad basta ver que:
1. Los elementos de B, a los que de ahora en adelante se les llama bsicos, tienen la propiedad y
2. Para cada funcin f P F , si b1 , . . . , bm tienen la propiedad, entonces f pb1 , . . . , bm q tambin
tiene la propiedad, siendo m la aridad de f .
La justificacin intuitiva de la induccin es por la siguiente razn. Para la cual se considera Ppzq
para decir que z tiene la propiedad, considrese tambin
K tu P U : Ppuqu
por 1 se tiene que B K y por 2 se tiene que K es cerrado bajo las operaciones de F . As K es
un B-F -inductivo1 as rBsF K.
1 En
adelante se omite la palabra conjunto en esta referencia.
109
La construccin tipo Cantor brinda otro tipo de herramienta, como lo es la induccin sobre
para verificar propiedades de rBsF . Ya en estos terrenos el lector que ha llevado un curso de teora
de los conjuntos, como se le recomienda en la introduccin, debe preguntarse: Si hay induccin
habr recursin? La respuesta es que no necesariamente, en este apndice se aborda la discusin, y
como ya se ha dicho, solo se presenta la definicin necesaria para enunciar el teorema de recursin
para este tipo de objetos.
Definicin B.5. Sean U P V , B U y F una familia de operaciones sobre U . Se dice que G U
es libremente generado por F sobre B en U syss se cumplen las siguientes condiciones:
1. G rBsF
2. Para toda f P F , si la aridad de f es m, entonces
f rGm s X B H
Es decir, los elementos de B no son generados a partir de otros.
3. Cada elemento de G es generado de manera nica, lo cual queda expresado en los siguientes
enunciados:
a) Para cualesquiera f, h P G, si m y l son sus aridades respectivas y f Gm h Gl , entonces
f rGm s X hrGl s H
b) Cada operacin de F es inyectiva cuando se le restringe a Gj , con j la aridad correspondiente a la funcin.
Como el lector esperara, los B-F -inductivos libremente generados son aquellos que tienen
recursin.
Teorema B.6 (De recursin para B-F -inductivos libremente generados). Sean U, W P V , F una
familia de operaciones sobre U y B U . Supngase que para cada f P F , si la aridad de esta es m,
entonces hay una nica f : W m W . As, si rBsF es libremente generado, entonces para cada
funcin
H : B W
hay una nica
H : rBsF W
que goza de las siguientes propiedades:
1. H B H y
2. Si f P F , de aridad m y a1 , . . . , am P rBsF , entonces
Hpf pa1 , . . . , am qq fpHpa1 q, . . . , Hpam qq
Como hemos mencionado al inicio, los resultados de este apndice sern un caballito de batalla
para este trabajo, de hecho a veces slo se limitar a argumentar que por ser un B-F -inductivo se
tienen tal o cual propiedad. Ser trabajo del lector verificar este hecho.
110
B.1.
Aplicaciones
Ahora se procede a dar algunas aplicaciones de esta tcnica y para tener mas precisin, se
justifican algunas inducciones que se hacen en el conjunto de las -frmulas, en las cuales intervienen
los -terminos.
Primero obsrvese que al ser T RM y F RM libremente generados, tienen lugar las siguientes
proposiciones, dejando sus pruebas como ejercicio al lector.
Proposicin B.7 (Metateorema de lectura nica para -terminos). Para cada t P T RM se tiene
una y solo una de las siguientes opciones:
1. hay x P V AR tal que x t o
2. hay c P constante tal que c t o
3. hay nicos t1 . . . tn P T RM y f P smbolo funcional de aridad n tal que
t f pt1 , . . . , tn q
Tambin se tiene el anlogo para frmulas.
Proposicin B.8 (Metateorema de lectura nica para frmulas). Para cada P L se tiene una y
solo una de las siguientes opciones.
1. Hay nicos t, s P T RM tales que
ts
2. Hay nicos t1 , . . . , tn P T RM y R P smbolo relacional de aridad n tales que
Rpt1 , . . . , tn q
3. Hay una nica P L tal que
4. Hay nicas , P L tal es que

5. Hay nicas P L y x P V AR tales que
@x
Definicin B.9. Se define la Complejidad de Una Frmula, con la funcin
cc : L
definida por recursin sobre L de la siguiente forma
1. Para los bsicos. Si P AT M , entonces
ccpq 0
2. Paso recursivo. Si , P L y x P V AR, entonces
111
B.1. APLICACIONES
a) ccp q ccpq ` 1
b) ccp q maxtccpq, ccpqu ` 1
c) ccp@xq ccpq ` 1
Tambin se le conoce a cc como nmero de conectivos y cuantificadores.
En algunos libros se emplea la induccin sobre el nmero de conectivos y cuantificadores de una

frmula de la siguiente manera.
Proposicin B.10. Sea P L . Si para cada P L se tiene que para toda P L si ccpq
ccpq entonces P P, entonces P P. As L P
Prueba. (Por induccin sobre L ) Para el paso base, las -frmulas atmicas, se cumple por
vacuidad.
Para los pasos inductivos habra que tomar dos -frmulas ver, que si estas tienen P entonces la
negacin de una, la implicacin de ellas y la cuantificacin sobre una de ellas, tambin tienen la
propiedad. Al suponer que alguna de estas no se tiene, por hiptesis de induccin se tendra que hay
una frmula con complejidad menor que no tiene la propiedad, pero ello llevara a que alguna de las
dos -frmulas que se han tomado no la tienen, lo cual es una contradiccin.
:
Otra tcnica que se puede emplear es la basada en la induccin para relaciones bien fundadas,
para lo cual necesitamos una relacin que bien funde a L .
Definicin B.11. Se define por recursin para L
SBE : L rL s
Como sigue
1. Paso base. Si P AT M , entonces SBEpq H.
2. Paso recursivo. Si , P L y x P V AR. Se tiene que:
a) SBEp q tu Y SBEpq
b) SBEp q t, u Y SBEpq Y SBEpq
c) SBEp@xq tu Y SBEpq
Para cualesquiera , P L decimos que es subfrmula estricta de , en smbolos , syss
P SBEpq.
Ahora, se prosigue con un buen resultado.
Proposicin B.12. xL , y P COBF 2
2 COBF es la clase de las estructuras relacionales que son bien fundadas, es decir, todo subconjunto no vaci tiene
un R-minimal.
112
Prueba. Supngase que no bien funda a L , por lo tanto hay xi : i P y tal que para cualesquiera
m, n P , si m n, entonces n m , es decir, una -cadena descendente infinita. Por otro lado
de la definicin de subfrmula estricta, se tiene que si , entonces por lo menos hay un smbolo
del lenguaje que aparece en y no en . De los dos argumentos anteriores, 0 no tiene un nmero
finito de smbolos. Lo cual es una contradiccin.
:
Ahora se tienen condiciones para enunciar formalmente una nueva induccin.
Proposicin B.13. Sea B L . Si para cada P L se tiene que para toda P L , si
entonces P B se puede concluir que P B, entonces B L
Proposicin B.14. La prueba es un caso particular de los teoremas de induccin para relacionales
bien fundadas.
La proposicin anterior se puede resumir en las siguientes palabras: Para verificar que todas las
-frmulas tienen una propiedad3 , basta que al suponer que todas las subfrmulas estrictas de una
dada tienen la propiedad, se obtenga que la dada la tiene.
Tambin se podra rescatar el teorema de recursin para relacionales bien fundadas, en cual el
palabras llanas dira que para definir una funcin en L basta definirla para una frmula en trminos
de sus -predecesores.
Solo por ociosidad defnase las siguiente funcin:
: L
tal que
pq max pq :
A se le llama rango, as al considerar la -frmula , se tiene que pf iiq es el rango de . Queda

como ejercicio al lector probar que para toda P L se tiene que
ccpq pq
Lo cual justificara realizar inducciones sobre el rango y con ello se tienen, en total, ms de una
forma para verificar propiedades de L .
3 los
-predecesores tienen la propiedad
B.1. APLICACIONES
113
Bibliografa
[BS06]
J. L. Bell and A. B. Slomson. Models and Ultraproducts. Dover Publications, 2006.
[Cas99]
Enrique Casanovas. Teora de modelos, 1999.
[CK91]
C. C. Chang and H. J. Keisler. Model Theory. Studies in Logic and the Foundations
of Mathematics. North-Holland, 1991.
[End04]
Herbert Enderton. Una introduccin matemtica a la lgica. Filosofia Contemporanea.

UNAM, 2004.
[Hod93]
Wilfrid Hodges. Model Theory. Number 42 in Encyclopedia of Mathematics an its

Applications. Cambridge University Press, 1993.
[JAN89]
Ignacio JAN. lgebras de Boole y Lgica. Number 5 in Materials Docents. Universitata de Barcelona, 1989.
[KB82]
H. J. Keisler and J Barwise. Handbook of Mathematical Logic, volume Part A of

Studies in Logic and the Foundations of Mathematics. North-Holland, 1982.
[Mar02]
David Marker. Model Theory: An Introduction. Number 217 in Graduate Texts in

Mathematics. Springer, 2002.
[Men97]
Elliot Mendelson. Introduction to Mathematical Logic. Chapman & Hall, 1997.
[NnR15]
Fernando Javier Nuez Rosales. Teora de modelos. la revancha de la semntica.

Reporte de actividad docente, 2015.
[Poi00]
Bruno Poizat. A Course in Model Theory: An Introduction to Contemporary Mathematical Logic. Universitext. Springer, 2000.
[ST95]
Julio Sols and Yolanda Torres. Lgica Matemtica. UAM, 1995.
[TZ12]
Katrin Tent and Martin Ziegler. A Course in Model Theory. Lecture Notes in Logic.
Cambridge University Press, 2012.
[VSRRMP00] Luis Villegas Silva, Diego Rojas Rebolledo, and Favio Ezequiel Miranda Perea.
Conjuntos y modelos: Curzo Avanzado. UAM, 2000.
115

Teoria de Modelos

Caricato da

Informazioni sul documento

Descrizione originale:

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Teoria de Modelos

Caricato da

Copyright:

Formati disponibili

UNIVERSIDAD NACIONAL AUTNOMA

Teora de modelos. La revancha de la semntica.

Fernando Javier Nuez Rosales

3. Teoras Completas y Modelo-Completud

6. Realizacin y omisin de tipos

B. Conjuntos B-F -inductivos

Donde algunos uniendos, posiblemente, son vacos y Rm es el conjunto de letras relacionales de

en el Apndice B la seccin de Aplicaciones

2. Se define el conjunto de variables libres de una -frmula con la funcin

De lo anterior se define una -estructura (elemental) o estructura del tipo como

rss syss no es el caso que A | rss;

Si , P L , entonces A | p qrss syss A |

Si x P V ar y P L , entonces A | p@xqrss syss para todo a P A,

En cuanto al tamao de una estructura, se hace la siguiente definicin.

xCpX, Xq, CpX,Xq , 1X y xX X,

Ejemplo 1.19. xR` , R , 1R y xR, R , 1R y

Ejemplo 1.24. Consideremos xV, `, 0y es un grupo abeliano y F un campo. As podemos construir

Morfismos entre estructuras.

1.3. MORFISMOS ENTRE ESTRUCTURAS.

3. h es un Encaje de A en B, en smbolos h : A B, syss

pf pt1 , . . . , tn qqB rhpa1 q, . . . , hpam qs

2. Si h : A B, entonces para toda P L sin cuantificadores

3. Si h es un morfismo fuerte suprayectivo, entonces para toda P L donde no ocurre el smbolo

4. Si h es un isomorfismo, entonces para toda P L se tiene que

Prueba. Se realizara de manera simultnea, por induccin sobre la construccin de frmulas:

B | Rpt1 , . . . , tn qrhpa1 q, . . . , hpam qs

1.3. MORFISMOS ENTRE ESTRUCTURAS.

syss no es el caso que A | ra1 , . . . , am s

B | px, y1 , . . . , yn qrhpa1 q. . . . , hpan q, hpan`1 qs

1.4. EJERCICIOS DEL CAPTULO

Ejercicios del captulo

Entonces hay una subestructura de A que tiene universo C y

CAPTULO 2. TCNICAS BSICAS

Dn Dx1 Dx2 . . . Dxn

2.1. MS TEOREMAS DE LWENHEIM-SKOLEM

CAPTULO 2. TCNICAS BSICAS

Inmediatamente de la definicin se puede observar que A B es una condicin necesaria para

De las dos definiciones anteriores se obtiene que A B syss A B y la inclusin4 es un encaje

inclusin es la funcin identidad restringida, en este caso al universo de A.

2.2. EXTENSIONES ELEMENTALES

Es sencillo verificar que A B y si adems se quisiera analizar si A B se tendra que verificar

1. Sean S A y CS ts : s P Su un conjunto de constantes que no aparecen en . As xA, Sy es

decir s s. Denotamos el nuevo tipo como pSq.

CAPTULO 2. TCNICAS BSICAS

LITn t P Ln : es atmica o negacin de una atmicau

3. Se define el diagrama elemental de A, en smbolos diagel pAq, de la siguiente manera

Con este resultado en mano, se puede probar el teorema de Lwenheim-Skolem-Tarski en su

pxi1 , . . . , xin , xl1 {s1 , . . . , xlm {sm q 1 pxi1 , . . . , xin q

algunas de sus varibles, por las constantes c1 , . . . , cn .

2.2. EXTENSIONES ELEMENTALES

Proposicin 2.10 (Amalgamacin para encajes elementales.). Sean

De lo anterior se obtiene que pc1 , . . . , cs q & pb1 , . . . , br q posee modelo.

Prueba. Se toma DB Y DC Y thpaq gpaq : a P Au

Teorema 2.12 (LST para extensiones elementales). Sea A P V infinita. Si | A | ` | L |

CAPTULO 2. TCNICAS BSICAS

pbl1 , . . . , blm q pbl q.

2.2. EXTENSIONES ELEMENTALES

decir que si 1 , . . . , s P , entonces 1 _ . . . _ s P

CAPTULO 2. TCNICAS BSICAS

Prueba. Sea t P : T Y $ u, as M odpT Y q M odpT Y q. Se vera la otra

2.3. CADENAS DE ESTRUCTURAS.

1. El universo de la estructura es A iPI Ai ;

3. Para cada smbolo relacional R P , RA iPI RAi ;