Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tesisteoriademodelos PDF
Tesisteoriademodelos PDF
DE MÉXICO
FACULTAD DE CIENCIAS
REPORTE DE ACTIVIDAD
DOCENTE
Matemático
PRESENTA:
TUTOR
Jack Kerouac
iii
Índice general
Índice general v
Agradecimientos vii
Introducción ix
1. Inicios 1
1.1. Lenguajes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Subestructuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Morfismos entre estructuras. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Ejercicios del capítulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2. Técnicas básicas 15
2.1. Más teoremas de Löwenheim-Skolem . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2. Extensiones Elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3. Cadenas de Estructuras. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.4. Skolemnización . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.5. Límite de Fraïssè . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.6. Definibilidad en Estructuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.7. Ejercicios del capitulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4. Álgebras de Boole 53
4.1. Álgebras de Boole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2. Filtros y Ultrafiltros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.3. Otros teoremas importantes sobre álgebras de Boole . . . . . . . . . . . . . . . . . . 62
4.4. Álgebras de Boole y modelos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.5. Ejercicios del Capítulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
v
vi ÍNDICE GENERAL
A. El cálculo de predicados 97
A.1. El cálculo formal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
A.2. Caracterización Semántica de la Consistencia . . . . . . . . . . . . . . . . . . . . . . 99
A.3. El Teorema de Compacidad Semántico . . . . . . . . . . . . . . . . . . . . . . . . . . 103
A.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
Bibliografía 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 crédito de el yo solo.
En primer lugar debo agradecer a Rafael que no solo es EL Profesor, sino que también 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 múltiples experiencias de vida y brindándome grandes consejos cuando lo único
que se veía 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 matemático y en
mi vida diaria. Muchisimas gracias.
A mi familia sanguínea 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 enseño 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 sueño 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 enseñarme los hermosos mundos de la Teoría de la
Demostración y Teoría de la Recursión.
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 más.
A Adriana Armendarez que ha traído alegría y felicidad a mi vida. Es otra persona que realiza la
frase de Kerouac y tenerla a lado es maravilloso. “Aire... Árbol de la inspiración robo mi voz”.
A mis alumnos, a ellos debo todo lo que se. Si no aprendieron lógica, por lo menos aprendieron a
leer una pésima manuscrita. Gracias por todo, muchisimas gracias.
A Lucio Gerardo Chavez, por ayudarme a corregir este trabajo, redacción y ortografía, por la
sabiduría 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 Castañeda, 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 Tannhäuser Overture de Wagner cuando las
tropas mutantes marchen cubiertas de victoria, al triunfar la guerra, donde la evolución mostrará
sus resultados), al Vampiro que debé rifarse esa misión, 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 Gödel
Santo Cantor
Santo Chang
Santo Keisler
Santo Kunen
Santo Smullyan
Santa Tent
Santo Fraïsse
Santo Kerouac
Santo Cortazar
Santo Ginsberg
Introducción
Desde mi punto de vista la teoría de modelos es una de las áreas más hermosas de la matemática,
con capacidades muy grandes, con las cuales se pueden atacar problemas de otras ramas, como lo
son: geometría algebraica, álgebra y análisis. A pesar de esto la cantidad de textos en español es muy
poca y a veces difícil 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 lógica matemática a los mencionados. Otro inconveniente en la literatura
es el acuerdo de la definición 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 motivación 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 vacío de material intermedio entre los textos de lógica matemática y teoría de modelos. Como
el objetivo de este texto es de carácter pedagógico, no emplearé la escritura en primera persona,
iniciando desde el siguiente párrafo.
Este texto aglutina material que concuerda con la teoría de modelos clásica 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 descripción de los contenidos de este documento, advertimos al lector que este
trabajo va dirigido sobre todo a estudiantes que han cursado las materias de Lógica Matemática I
y II de la licenciatura, donde se estudia la lógica de conectivos (lógica proposicional), y lógica de
primer orden (teoría de la cuantificación), sus respectivos teoremas de compacidad, los enfoques
semántico y sintáctico, y donde se da también una introducción a la teoría de modelos, la cual
contempla: la semántica de los lenguajes de primer orden y las relaciones entre las interpretaciones
entre otros tópicos. También es deseable que el lector haya tomado el curso de Lógica matemática
III donde comúnmente se estudia el primer teorema de incompletud de Gödel, el cual consideramos
como uno de los resultados más hermosos de la matemática por su carácter limitativo en la teoría de
la demostración. También es preferible que se tengan conocimientos de la teoría de los conjuntos, ya
que sin definición ni explicación emplearemos lenguaje de esta, como ω para referirnos al conjunto
inductivo más pequeño, es decir, el conjunto de los naturales, así como los conceptos de equipotencia,
cardinalidad, el manejo de números transfinitos y el axioma de elección entre otros.
ix
x INTRODUCCIÓN
Antes de iniciar con la descripción de cada capítulo es importante hacer una observación
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 deberían de ser definidos puntualmente dependiendo del tipo de semejanza en el que se esta
trabajando (verbigracia> τ -completud). Esta observación es de suma importancia ya que en algunos
capítulos se extiende el lenguaje para obtener algunos resultados y ahí puede ser que las teorías
ya no tengan dicha propiedad, como se hace en el capítulo 6. Se ha hecho de esta manera por que
esperamos que el lector estará pendiente de este detalle técnico.
Por otra parte, en este apartado se presenta la eliminación de cuantificadores, la cual es una
herramienta extremadamente poderosa en áreas como el álgebra. Creemos que este capítulo puede
interesar ampliamente a los interesados en álgebra y más en específico, en la teoría de campos.
El cuarto capítulo 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 análisis
para llegar a cuestiones sobre filtros y ultrafiltros. Con estas herramientas, analizaremos cuestiones
sobre modelos de teorías, herramientas que serán de amplia utilidad en el capítulo posterior.
ricos y de gran utilidad, para no exceder los objetivos planteados, ni extender el texto en demasía.
Por ultimo, ofrecemos un apéndice donde hay una prueba del teorema de compacidad para la
lógica de primer orden en lenguajes de cardinalidad arbitraria solo para enunciados, después una
mejora de este, la cual consiste en una versión para fórmulas con variables libres.
Al lector que se pregunte ¿qué sigue?, le recomendamos que continúe sus estudios sobre los
conceptos de saturación, estabilidad y homogeneidad, los cuales podrán llevarle a la construcción
del modelo monstruo de Tarski (M), de una teoría y por otro lado, iniciarse en la teoría de la
clasificación1 . Ya con esta herramienta a la mano, solo faltaría 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 además los prerrequisitos inician en
saturación.
Capítulo 1
Inicios
1.1. Lenguajes
En la literatura, comunmente hay dos formas de abordar la cuestión 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 símbolos con los cuales se forma el lenguaje (como lo hacen [Mar02] y
[VSRRMP00] ). Otra forma es presentar una construcción del lenguaje y apartir de el construir las
estructuras. Se puede ir de una definición a otra sin menor problema, pero para este texto se ocupa
la segunda, ya que, como se analiza a lo largo del texto, la semántica no siempre queda totalmente
determinada.
Como se mencionó en la introducción de este trabajo, se considera que el lector ya tiene conoci-
miento de los conceptos básicos de la lógica, por lo que, solo para ponernos de acuerdo en aspectos
como la notación, entre otros, mencionamos sin explicación ni ejemplos, las siguientes definiciones
y algunos resultados. El lector que no ha llevado cursos de lógica matemática puede consultar los
detalles y el desarrollo de la teoría expuesta en esta sección en los siguientes libros:[Men97] y [ST95]
.
Definición 1.1.
a) τ el tipo de semejanza;
b) txi : i P ωu “ V AR variables;
1
2 CAPÍTULO 1. INICIOS
c) t“u la igualdad;
d) tÑ, u conectivos lógicos;
e) t@u Cuantificadores y
f) tq, , , pu símbolos auxiliares
T RMτ Ď Eτ
a) 1) C Ď T RMτ ;
2) V AR Ď T RMτ ;
b) Y es cerrado bajo la aplicación de letras funcionales, es decir: Si f P τ X Fm y t1 , . . . , tm P
T RMτ , entonces
f pt1 , . . . , tm q P T RMτ
AT Mτ “ tpt “ rq : t, r P T RMτ u
YtRpt1 , . . . , tm q : R P τ X Rm y t1 , . . . , tm P T RMτ u
a) AT Mτ Ď Lτ ;
b) Si ϕ, ψ P Lτ y x P V AR entonces
pϕ Ñ ψq, p@xψq, ϕ P Lτ
a) pϕ & ψq è pϕ Ñ ψq;
b) pϕ _ ψq è p ϕ Ñ ψq;
c) pϕ Ø ψq è ppϕ Ñ ψq & pψ Ñ ϕqq y
d) pDxϕq è p@x ϕq.
1 Véase en el Apéndice B la sección de Aplicaciones
1.1. LENGUAJES 3
El lector se dará cuenta que se está empleando que algunos conjuntos de conectivos son completos
y en este trabajo, según sea conveniente, se usa sin aviso previo el que permita hacer y escribir las
pruebas con mayor facilidad.
Por otro lado, la definición que hemos dado de fórmulas y términos permite emplear inducción
sobre la formación de dichas expresiones2 . Además se deja al lector verificar que T RMτ y F RMτ
son libremente generados, por lo cual gozan de recursión. En las siguientes definiciones se explota
esta propiedad y el teorema B.6 nos garantiza la existencia y unicidad de las funciones en cuestión.
Definición 1.2. Sea τ un tipo de semejanza. Se definen las siguientes funciones:
1. El conjunto de variables que ocurren en un termino con la función
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
n
ď
V pf pt1 , . . . , tn qq “ V pti q
i“1
V L : Lτ ÝÑ ℘ptxi : i P ωuq
Según la conformación del tipo de semejanza, se nombran dos tipos de estructuras elementales,
si el conjunto de letras funcionales y símbolos de constante son vacíos, llamaremos a la estructura
elemental estructura multirelacional. Por otro lado, si el conjunto de letras relacionales es vacío, se
llamará estructura algebraica.
En la definición de término, se vio que estos pueden ser muy complejos, por lo cual no quedan
completamente determinados por una interpretación I para el tipo. Así tenemos la siguiente.
Definición 1.4. Sea τ un tipo de semejanza, A P Vτ , t P T RMτ y s : V AR ÝÑ A a la cual se
denominará asignación. Se define la Interpretación de t en la estructura A bajo la asignación s, en
símbolos tA rss, por recursión sobre T RMτ .
1. Para los básicos:
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
pf pt1 , . . . , tn qqA rss “ f A ptA A
1 rss, . . . , tn rssq
Ahora que se puede interpretar a los términos se verá como establecer la verdad de una fórmula;
al igual que en el caso de los términos, las variables libres de una fórmula no permiten determinar
esto de manera única, sólo contando con la estructura.
Definición 1.5. Sea A P Vτ y s : V AR ÝÑ A. Dado a P A definimos spx{aq : ω ÝÑ A de la
siguiente forma "
a x“y
spx{aqpyq “
spyq En otro caso
Definición 1.6 (Satisfacción 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 asignación para ellas). Se define
por recursión para Lτ , la satisfacción de una fórmula α por la estructura A con la asignación s, en
símbolos
A |ù αrss
.
1.1. LENGUAJES 5
1. Paso base:
2. Paso inductivo:
A |ù ϕrspx{aqs
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
A |ù ϕrss ô A |ù ϕrs1 s
Definición 1.9. Sea A P Vτ y ϕ P Lτ . Se dice que A hace verdad a ϕ, en símbolos 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 definición.
Definición 1.10. Sea T Ă Lτ0 . 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 también se puede establecer para un enunciado, por lo tanto dado ϕ P Lτ0
M odpϕq “ M odptϕuq
Definición 1.11. Sea τ un tipo de semejanza. Se define el cardinal del lenguaje Lτ como sigue
| Lτ |“| Lτ |
6 CAPÍTULO 1. INICIOS
| Lτ |“| τ | `ℵ0
| A |“ }A}
1.2. Subestructuras
Dado un lenguaje de tipo τ se puede definir una serie de relaciones entre dos o más estructuras
que sean interpretación de este.
Definición 1.13. Sean A, B P Vτ . Decimos que A es subestructura de B, en símbolos 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 básicos para comprender mejor esta definición.
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 métrico, CpX, Xq el conjunto de funciones continuas
de X en si mismo, ˝ la operación de composición entre funciones y 1X la función identidad, así
X
xCpX, Xq, ˝CpX,Xq , 1X y Ď xX X, ˝ X
, 1X y
Ejemplo 1.17. Al considerar a los grupos como ternas ordenadas (conjunto, operación 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, además que la proposición 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 7
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 función sucesor. Se dará entonces una condición para que un
subconjunto sea el universo de una subestructura.
También por cuestiones prácticas se omitirá en adelante, cuando sean claros los superindices que
indican el dominio de la operación en una estructura.
Definición 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 símbolo de función f P τ de aridad m, f A rX m s Ď X.
Con la definición anterior es evidente que un subconjunto τ -cerrado es el universo de una subes-
tructura, 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
teorías, 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 Apéndice B.
Definición 1.23. Sea A P Vτ y S Ď A. Se define la subestructura generada por S en A, en símbolos,
xSyA como la siguiente interpretación, 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 símbolo funcional de aridad m, entonces
f C “ f A æC m
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`u, t0uy, donde r ¨ _ es la función
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 función que a cada elemento le
asocia su inverso bajo la operación. Así, para cada S Ď G, xSyG es el subgrupo generado.
Ejemplo 1.26. Sea G “ xG, ¨, _´1 y un grupo. También 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 noción de subestructura y de subgrupo.
Ejemplo 1.28. Claramente para anillos podemos hacer lo mismo, lo que nos lleva a campos y
R-módulos.
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.
xhpa1 q, . . . , hpam qy P RB
h es un morfismo fuerte y
h es función inyectiva.
4. h es un Isomorfismo de A en B syss
h es un encaje y
h es una función suprayectiva.
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
función h “ tpa, 1q, pb, 2q, pc, 3q, pd, 4qu es un morfismo entre A y B, pero no es un morfismo fuerte.
Analizar estas funciones es vital para avanzar en este estudio, ya que si dos estructuras son
isomorfas prácticamente son la misma, más aún, algunas cuestiones a responder son cuando dos
estrcuturas lo son o si podemos encajar una en la otra. Para tal efecto se necesitan más herramientas.
Antes de proseguir debemos introducir más notación. Las definiciones formales para la inter-
prertación de un termino y la satisfacibilidad de una fórmula (Tarski), involucran la noción de
asignación 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 término o las variables que
ocurren libres en la fórmula, 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 están 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 verán algunos teoremas que establecen una relación entre morfismos y satisfacibilidad.
“ hpf A ptA A
1 ra1 , . . . , am s, . . . , tn ra1 , . . . , an sqq Interpretación de términos
“ f B phptA A
1 ra1 , . . . , am sq, . . . , hptn ra1 , . . . , an sqq h es morfismo
“f B ptB B
1 rhpa1 q, . . . , hpam qs, . . . , tn rhpa1 q, . . . , hpam qsqq Hipótesis inductiva
“ pf pt1 , . . . , tn qqB rhpa1 q, . . . , hpam qs Interpretación
Teorema 1.34 (El teorema del morfismo.). Sean A, B P Vτ y h : A ÝÑ B. Así tienen lugar las
siguientes afirmaciones:
Paso base:
• (Para 2 y 4) A |ù t0 “ t1 ra1 , . . . , am s
syss tA A
0 ra1 , . . . , am s “ t1 ra1 , . . . , am s Tarski
syss hptA
0 ra1 , . . . , am sq “ hptA
1 ra1 , . . . , am sq h es encaje
sysstB
0 rhpa1 q, . . . , hpam qs “ tB
1 rhpa1 q, . . . , hpam qs Lema
syss B |ù t0 “ t1 rhpa1 q, . . . , hpam qs 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
análogamente para ψ.
• A |ù ϕra1 , . . . , am s
• A |ù ϕ & ψra1 , . . . , am s
syss
B |ù Dxψpx, 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 lógica 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.
Definición 1.36. Sean A, B P Vτ .
1. La Teoría de una estructura A, denotado por T eopAq , es el conjunto de enunciados verdaderos
en A. En símbolos
T eopAq “ tϕ P Lτ0 : A |ù ϕu
2. Dos estructuras son elementalmente equivalentes si hacen verdad los mismos enunciados. En
símbolos A es elementalmente equivalente a B, denotado por A ” B syss para todo ϕ P Lτ0 ,
A |ù ϕ ô B |ù ϕ.
Observemos que dos estructuras son elementalmente equivalentes syss sus teorias coinciden.
El ultimo resultado, con la nueva definición queda así.
Corolario 1.37. Sean A, B P Vτ . Si A – B entonces A ” B.
La pregunta natural es si el recíproco 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á más adelante fabricar algunas
estructuras con características deseadas. El inconveniente, para algunos, es que usaremos el axioma
de elección.
Teorema 1.39. Dada A P Vτ existe C P Vτ tal que | C |P CAR y A – C.
Prueba. Usando el axioma de elección podemos asignarle a cada conjunto un cardinal, sea κ P CAR
tal que A „ κ sea h la función biyectiva testigo de la equipotencia, por lo que h : A ÝÑ κ, ahora
definamos la interpretación de los símbolos 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 capítulo de
Teorias Completas
1.4. EJERCICIOS DEL CAPÍTULO 13
Así C P Vτ y queda como ejercicio al lector probar la isomorfia y que la definición 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.
Técnicas básicas
η “ xN, s, `, ˚, 0y
15
16 CAPÍTULO 2. TÉCNICAS BÁSICAS
Esta estructura representa lo que siempre se ha manejado como números naturales con su suma,
producto y la función sucesor. Para dicha estructura se requiere un lenguaje numerable, y el cardinal
de la estructura también lo es, por lo tanto, para todo cardinal infinito hay un modelo de T eopηq 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, podría 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 limitación de los lenguajes de primer orden, pues los teoremas de Löwenheim-
Skolem dejan ver que hay propiedades de las estructuras elementales que no son capturadas por
estos, lo que se dejará más en claro en los siguientes teoremas, haciendo notar que hasta el momento
no habíamos tocado un tema de capital importancia: Cómo probar que cierta propiedad de una
estructura no es expresable en el lenguaje de primer orden.
A lo largo de este trabajo se encontrarán 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 fórmulas.
A continuación enunciaremos y probaremos lo mencionado en el párrafo anterior.
Proposición 2.3. No hay un enunciado en un lenguaje de primer orden de algún tipo que exprese
la propiedad de que una estructura sea finita.
Antes de presentar la prueba de este teorema se describe más en claro lo que establece. Por
ejemplo es posible encontrar un enunciado en un tipo algebraico que capture la noción de ser campo,
ya que los axiomas de campo son un numero finito1 y totalmente expresables en primer orden, por lo
que la conjunción 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 odpϕq es la clase de todas las estructuras finitas. A continuación
veamos que no existe tal enunciado.
Prueba. Por reducción al absurdo. Supongamos que hay τ y ϕ P Lτ0 tal que
A |ù ϕ ô A P F IN
fórmulas.
2.1. MÁS TEOREMAS DE LÖWENHEIM-SKOLEM 17
Este enunciado no contiene símbolos no lógicos, por lo que está en cualquier lenguaje. Ademas,
la fórmula se interpreta como: “ Por lo menos hay n individuos en la estructura”. Considérese:
Veamos que tϕu 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 fórmulas 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 máximo de los supraindices de
las fórmulas de Σ0 X ∆ tenemos que M0 |ù Dnď , de lo cual Σ0 tiene modelo.
Se concluye que tϕu Y ∆ tiene modelo, digamos A. Pero A debe ser infinita al ser modelo de
∆. :
El resultado anterior demuestra que no es posible, con una fórmula, clasificar las estructuras
finitas, de hecho se tiene algo más fuerte: tampoco se puede con un conjunto de fórmulas, basta
hacer una modificación 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 fórmula, 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 también puede
preguntarse por que el teorema anterior no se presentó en la sección 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 fórmula 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 Lτ0
tales que si A P Vτ
A |ù ϕ syss | A |“ κ
Ahora, sin perdida de generalidad se puede suponer que τ es finito, puesto que lo símbolos no
lógicos 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 contradicción. :
2 Lenguaje de Primer Orden.
3 CAR es la clase de los cardinales transfinitos.
18 CAPÍTULO 2. TÉCNICAS BÁSICAS
El lector se puede preguntar, ya que una fórmula no fue suficiente, si un conjunto de fórmulas lo
es, pero con un razonamiento análogo al anterior y con LS o LST según corresponda, se llegará a una
contradicción. En forma análoga 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 limitación 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 Gödel, entonces se tendría un modelo
numerable de esta teoría –ya que el tipo de semejanza para la teoría de conjuntos consta de un solo
símbolo– lo cual es muy útil para las técnicas de forcing.
Se puede definir una relación análoga más fuerte, ya que ser subestructura elemental solo tiene
lugar entre una estructura y sus subestructuras, para lo cual, como puede pensarse se empleará una
función, a la cual se le establecerá que preserve la satisfacción.
Definición 2.6. Sean A, B P Vτ y h : A ÝÑ B. Se dice que h es una inmersión elemental o encaje
elemental de A en B, en símbolos A ĺh B syss para toda ϕ P Lτm
1. A ĺ B
Como A Ď B, la inclusión es un encaje, por el teorema 2 se tiene que las fórmulas sin cuantifica-
dores tienen la propiedad buscada. Por otro, lado también se sabe del ejercicio 10, del capítulo 1,
que
para toda s P ω A, si A |ù Dxϕrss entonces B |ù Dxϕrss
Con lo anterior sólo resta verificar la otra dirección.
Supongamos que B |ù Dxϕrss y tomemos como hipótesis inductiva que
De la suposición, por 2, tenemos que hay b P A tal que B |ù ϕrspx{bqs, aplicando nuestra hipótesis
inductiva tenemos que hay b P A tal que A |ù ϕrspx{bqs, lo cual es equivalente por Tarski a que
B |ù Dxϕrss :
Ahora establecemos un criterio para determinar al tener dos estructuras, si hay una inmersión
elemental de una en la otra. Para lo cual se necesitan algunas definiciones.
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 señala puntualmente las relaciones, las funciones, etc. Así el siguiente resultado
no debe ser sorprendente.
Proposición 2.9 (Lema del diagrama). Sean A, B P Vτ y C una τ pAq-expansión 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 Löwenheim-Skolem-Tarski en su
versión más general, para la cual por cierto, se usa el axioma de elección.
Antes de proseguir en el tema, se hace una observación sobre las fórmulas 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 LτnpSq . Así hay una cantidad finita de símbolos de CS que ocurren
˝ ˝
en ϕ1 ; supongamos que son s1 , . . . , sm . De lo anterior se puede encontrar ϕpxi1 , . . . , xin , xl1 , . . . , xlm q P
˝
Lτn`m tal que si en esta se reemplazán xlr por sr resultara ϕ1 pxi1 , . . . , xin q. En símbolos
˝ ˝
ϕpxi1 , . . . , xin , xl1 {s1 , . . . , xlm {sm q è ϕ1 pxi1 , . . . , xin q
Con lo anterior se puede introducir la siguiente notación. Cuando se escriba,
˝ ˝
ψpx1 , . . . , xn , c1 , . . . , cm q P LτnpSq
se está haciendo explícito el resultado de sustituir en ψ, ψ P Lτn`m , todas las ocurrencias libres de
˝ ˝
algunas de sus varibles, por las constantes c1 , . . . , cn .
En otras palabras, se esta haciendo explícita la forma de la fórmula, la cual se obtiene con el
procedimiento que describimos antes, es decir, encontrando una fórmula con n ` m varibles libres en
Lτ y al hacer la sustitución de algunas de sus variables libres por constantes de CS resulta en la
que se ha tomado.
2.2. EXTENSIONES ELEMENTALES 21
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 inmersión
elemental de B (el reducto de B1 al tipo τ ), así por el ejercicio 8 de la pagina 13 hay C P Vτ que
resulta extensión elemental de A con cardinalidad κ. :
En este trabajo se ha visto que según la forma de una fórmula, ésta tiene propiedades. En
un lenguaje coloquial podríase decir lo siguiente: Dadas dos estructuras que guardan la relación
de subestructura, las fórmulas sin cuantificadores “suben y bajan”; las existenciales “suben” y las
22 CAPÍTULO 2. TÉCNICAS BÁSICAS
universales “bajan”. Lo cual sugiere una relación en la organización 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, más adelante probaremos que estos es gracia de la forma de los axiomas de campo. Así
entonces se clasifican las fórmulas por como se encuentran en ellas organizados los cuantificadores
para después iniciar el análisis de sus propiedades.
Definición 2.13 (Clasificación de fórmulas Πnm Σnm ). Dado un lenguaje Lτ . Se definen por recursión
para ω los siguientes conjuntos de fórmulas.
En las secciones anteriores se definió la equivalencia elemental entre dos estructuras, lo cual es
una condición muy fuerte, pero si se debilita se pueden obtener resultados interesantes.
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 asignación para dichas variables, con las cuales
tiene lugar la satisfacibilidad.
1. A VΠ1 B,
2. B VΣ1 A,
Hasta el momento hemos abordado pocas veces la relación que hay entre la conducta de los
modelos de una teoría y esta, pero a continuación, trabajaremos un poco más en ello.
Definición 2.16.
M odpT q “ M odpΓq
3. Se dice que una teoría 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 relación que hay entre la conducta de los modelos de una teoría
y la forma de los enunciados de ella.
Lema 2.17. Sean T una τ -teoría, Σ Ď Lτ0 consistente con T , y Γ Ď Lτ0 cerrado bajo disyunción5 .
Supongase también 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 CAPÍTULO 2. TÉCNICAS BÁSICAS
Proposición 2.18. Sean Φ una τ -teoría y Γ Ď Lτ0 cerrado bajo disyunción. Supongamos que para
cuales quiera A, B P Vτ tales que A VΓ B, si A |ù Φ, entonces B |ù Φ. Así Φ es Γ-axiomatizable.
Corolario 2.19. Sean T una τ -teoría, ϕ P Lτ0 consistente con T y Γ Ď Lτ0 cerrado bajo conjunción
y disyunción. Supongase también 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 $ ϕ Ø ψ
Corolario 2.20. Sean T Ă Lτ una teoría, Γpx̄q Ď Lτn cerrado bajo conjunción y disyunción y
ϕpxq P Lτn 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 VΓpxq xB, by
y cada vez que A |ù ϕpaq se tiene que B |ù ϕpbq. Luego hay una fórmula ψ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 Σ “ tϕpcqu con lo cual se puede aplicar el lema anterior y por compacidad y
al ser ∆ cerrada bajo conjunciones, hay una fórmula ψ P ∆ tal que M odpT Y tϕpcquq “ M odptψpcquq
con lo cual T $ ψpcq ˘Ø ϕpcq, por el metateorema de generalización sobre constantes se tiene que
T $ @x ψpxq Ø ϕpxq .
`
:
Proposición 2.21. Sea T Ď Lτ0 una teoría. T se preserva bajo subestructuras syss T es Π01 -
axiomatizable.
2. Para cada símbolo 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 ;
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
Definición 2.25.
Se dice que una teoría 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 teoría 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 CAPÍTULO 2. TÉCNICAS BÁSICAS
Proposición 2.26. Sea T Ď Lτ0 una teoría. T se preserva bajo uniones de cadenas syss T es
Π2 -axiomatizable.
Prueba. rðs Aquí se trata de probar que los Π02 se preservan bajo uniones de cadenas. Sea
xAi : i P Iy una cadena de modelos de @xDyϕpx, yq, sea
ď
A“ Ai
iPI
Sea a P An , así hay j P I tal que a P Anj , como Aj |ù @xDyϕpx, yq, entonces Aj |ù Dyϕpa, yq, al
ser Aj Ď A se tiene que A |ù Dyϕpa, yq, como a es arbitrario se tiene que A hace verdad a la
generalización, con lo cual se termina esta parte.
rñs Sea Γ “ tϕ P Π02 : T $ ϕu, veamos que M odpT q “ M odpΓq, claramente se tiene una
contención por el teorema de correctud-completud para el cálculo de predicados, ahora sea B P
M odpΓq, 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@xα1 , . . . , @xαn : αi P Lτ pBq X Π0 u inconsistente, más aun esto es equivalente
a que
n
ľ
T $ @x αi
i“1
por el teorema de generalización sobre constantes, ya que en T no aparecen las constantes que
distinguen los elemento de B, tenemos que
n
ľ
T $ @yDx βi
i“1
Donde βi resulta de sustituir en αi las ocurrencias de dichas contantes por variables, por lo cual
n
ľ
@yDx βi P Γ
i“1
y por lo tanto B es modelo de dicho enunciado, lo cual es una contradicción, brindando la existencia
de A P M odpT q tal que B VΣ02 A, así por la Proposición 2.15 se puede asegurar que hay una
extensión de B, a saber A1 , tal que A ” A1 , de hecho por la misma proposición hay B1 ľ B tal
que A1 Ď B1 .
Nótese que ahora es posible hacer las observaciones de las fórmulas 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 ď ď
Bĺ Bn “ Ai |ù T
nPω iPω
:
Definición 2.27. Sea Σ Ď Lτ0 . Se dice que A es un Modelo Existencialmente Cerrado de Σ syss
para cualquier B P M odpΣq, si A Ď B y B |ù Dxϕpx, aq entonces A |ù Dxϕpx, aq, para toda a P An
con n P ωzt0u y toda ϕ P Lτ X Σ0 .
2.3. CADENAS DE ESTRUCTURAS. 27
Ahora se exhibirán algunos resultados que vinculan varios de los conceptos anteriormente
expuestos.
Prueba. Para esta prueba tendremos que construir dos cadenas, la primera ayudará a cerrar bajo
fórmulas existenciales y la segunda, para construir el modelo directamente.
Sea A P M odpT q y tomamos pψξ , aξ qξPκ una enumeración de los pares ordenados donde la primera
entrada cuenta de una fórmula existencial y la segunda de una n-ada de elementos de A. Se define
por recursión sobre κ la siguiente función:
A0 “ A
"
C para alg ún C P M odpT q tal que Aα Ď C y C |ù ψα paα q, si talC existe
A α` “
Aα en otro caso
Si γ es un ordinal límite. ď
Aγ “ Aξ
ξăγ
Así se define A˚ “ ξăκ Aξ . Nótese que dicha estructura satisface todas las fórmulas existenciales
Ť
con parámetros en A que son consistentes con T , pues estas se encuentran dentro de la enumeración,
y además es modelo de T , pues esta es Π2 -axiomatizable.
Se prosigue a definir una nueva cadena por recursión para ω
B0 “ A ; Bn`1 “ pBn q˚
Sea C la unión 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 fórmula existencial tal que D |ù ϕpcq. Así
hay m P ω tal que c P Bmn
y por la construcción Bm`1 |ù ϕpcq, con lo que C |ù ϕpcq. :
Prueba. Primero nótese que los axiomas de campo son fórmulas Π2 . Luego, se sabe que dado un
polinomio, si no tiene raices en el campo dado se puede hacer la extensión de éste, (lo cual concuerda
con la construcción de la cadena sobre las fórmulas existenciales), así el modelo existencialmente
cerrado, que es extensión del campo dado, es el que se busca. :
En seguida se presentan dos resultados que emplean el teorema de Löwenheim-Skolem, del cual se
exhibe una prueba en la sección siguiente, dicha prueba no depende de los resultados mencionados.
Corolario 2.30. Si T es una τ -teoría Π2 -axiomatizable entonces para cada modelo de T de cardinal
λ ě| Lτ | hay una extensión de éste modelo de T , existencialmente cerrado y de cardinalidad λ.
Prueba. Basta observar la construcción en la prueba de proposición anterior y pedir que cada
estructura que se va tomando tenga cardinalidad λ, lo cual se puede por el teorema de Löwenheim-
Skolem. :
28 CAPÍTULO 2. TÉCNICAS BÁSICAS
Lema 2.31. Sea Γ Ď Lτ0 . 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 odpΓq tal que A no es existencialmente cerrado; por lo tanto hay B expansión
de A, Dxϕpx, yq P Lτ y a P A tales que B |ù Dxϕpx, aq y A |ù Dxϕpx, aq. Si tomamos un cardinal
λ ě| A | por el teorema de Löwenheim-Skolem-Tarski hay C extensión elemental de A de cardinalidad
λ, claramente C ĺ B así hay D extensión de C y donde B es inmersible elementalmente y, A queda
fijo bajo dicha inmersión, por lo cual D |ù Dxϕpx, aq y C |ù Dxϕpx, aq. Para un λ menor la técnica
es similar. :
2.4. Skolemnización
Ha llegado el turno de analizar una parte del trabajo de Skolem, que en pocas palabras consiste
en poder quitar el existencial de una fórmula poniendo un término que al interpretarse sea aquel
que verifica la existencia. Sabemos que en un enunciado en español 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 definición de límite de una función, la delta esta en función de la
epsilon. Esta idea se rescata con las funciones de Skolem.
La expansión 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.
Con este resultado enunciamos en seguida uno de los teoremas más hermosos de la teoría de
modelos.
Definición 2.35.
Se dice que B es Finitamente Generada en A syss hay C Ď A finito tal que xCyA “ B;
Se dice que A Ď Vτ es un Age de A syss para cada B Ď A finitamente generada, hay C P A tal
que
B–C
Prueba. Ejercicio. :
La propiedad que se retrata en el lema es conocida como propiedad hereditaria7 (PH). Mal dicho
podríamos 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 relación univoca entre A y A.
7 También se puede encontrar en más libros como HP por sus siglas en inglés.
30 CAPÍTULO 2. TÉCNICAS BÁSICAS
xtb1 , . . . , bm , c1 , . . . , ck uyA “ D
h1 : tb1 , . . . , bm u ÝÑ tb1 , . . . , bm , c1 , . . . , ck u
como la identidad y a través del B ´ F-Inducivo con el que se construye B, extenderlo a una
h1 : B ÝÑ D encaje, análogamente h2 : C ÝÑ D encaje. Por la isomorfía 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 Común8 (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 más el asunto no haría ganar nada nuevo.
Ahora se verá otra propiedad que tiene un age, en el cual se observa como actúa 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
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 Fraïssè, es aproximar con estructuras
pequeñas otras mas grandes, de hecho Fraïssè brinda otra construcción de Q como el límite de todos
los ordenes totales finitos. Así que se pretende hacer algo similar con ciertas clases de estructuras. A
continuación un primer acercamiento.
Lema 2.40. Sean K Ď Vτ una clase de estructuras finitamente generadas con contables clases de
isomorfía (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 español, esto se conoce como JEP por sus siglas en inglés.
2.5. LÍMITE DE FRAÏSSÈ 31
Ahora se introduce el siguiente concepto que servirá para aglutinar todas las ideas.
Definición 2.43. Sea K Ď Vτ . Decimos que K tiene la Propiedad de Amalgamación (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.
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.
Ahora, con estas herramientas se puede enunciar el teorema de Fraïsse. Sólo se presenta la
prueba de la unicidad, la prueba de la existencia se puede revisar en [Hod93].
Teorema 2.47 (Límite de Fraïssé). 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 isomorfía) 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 común. 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 definición puede ser brindada para otro tipo de funciones, si no es explicito cuales, se asumirá de ahora en
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 Proposición 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 sólo hay que tomar bln`1 P B con el
menor índice de la numeración 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. :
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 fórmulas del
lenguaje, por lo cual el número de relaciones posibles se escapa de una manera exorbitante. Esto es
de gran interés en la teoría de modelos, a continuación se desarrollará teoría que permita abordar el
tema.
Por lo anterior se obtiene que cada fórmula con n variables libres define un subconjunto de An ,
lo que hace natural la siguiente definición:
ϕpx1 , . . . , xn q P Lτn
tal que
Apϕq “ D
34 CAPÍTULO 2. TÉCNICAS BÁSICAS
ϕpx1 , . . . , xn , y1 , . . . , ym q P Lτn`m
tal que
A continuación se exhibe una lista de conjuntos notables para una estructura y se indica como la
definición que se ha brindado los engloba.
D es la grafíca de una función, así se dirá que una función es definible en una estructura si su
grafíca es definible;
D es una n-relación.
Prueba. Como D es definible hay una fórmula del lenguaje ϕpx1 , . . . , xn q con tal que
D “ Apϕq
por lo cual
txhpa1 q, . . . , hpan qy P An : xa1 , . . . , an y P Du “
“ 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. :
2.6. DEFINIBILIDAD EN ESTRUCTURAS 35
Así se puede, desde la contrapositiva del teorema anterior, extraer un método para decir cuando
una relación no es definible. Sin embargo esta solo es una condición suficiente.
1. AzD es definible;
2. C X D es definible;
3. C Y D es definible
es definible.
es definible.
Prueba. Sólo se brindarán las fórmulas para cada caso. Será tarea del lector probar que las
valuaciónes 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 Lτn , tal que sus
valuaciones son C y D, respectivamente. Así las fórmulas buscadas son, para cada inciso.
1. ϕpx1 , . . . xn q;
2. pϕ & ψqpx1 , . . . xn q;
3. pϕ _ ψqpx1 , . . . xn q;
5. Dado el resultado anterior se sabe que es posible cambiar las variables libres cuantificadas,
es decir, al ser las fórmulas sucesiones finitas se símbolos, se pueden encontrar un natural m
tal que xm no ocurre en la fórmula 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 xσpkq . Llamemos αpxσpkq q a la resultante de estas modificaciones, entonces la
fórmula buscada es
ľn
αpxσpkq q
k“1
:
36 CAPÍTULO 2. TÉCNICAS BÁSICAS
Trataremos de ver desde otra perspectiva el concepto de definibilidad. Para lo cual se introduce
la noción de sistema de Tarski, con el cual se puede redefinir el concepto que estamos trabajando,
solo se plasmará la definición y el lector tendrá que desarrollar un poco más de teoría.
Definición 2.52 (Sistema de Tarski). Sea X un conjunto no vació. Un sistema de Tarski D sobre
X es una sucesión 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
Decimos que Z P D syss hay n P ω tal que Z P Dn . Una función está en el sistema syss su
gráfica 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.
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 . Indicación: La prueba de 1 es totalmente artesanal, tomando
las fórmulas necesarias como px1 “ x2 q y la asignación ra, bs para demostrar la inyectividad,
análogamente 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 función.
18. Pruebe que la estructura que se fabrica con la unión de la cadena de estructuras esta bien
definida.
19. Sean A, B P Vτ . Pruebe que si hay una inmersión elemental de A en B, entonces hay una
extensión elemental de A isomorfa a B.
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
a) cA para cada c P τ ;
38 CAPÍTULO 2. TÉCNICAS BÁSICAS
26. ¿Se puede hacer lo mismo que en el ejercicio anterior para conjuntos X-definibles?
27. Se define el conjunto de fórmulas positivas, F RM Pτ , como el conjunto más pequeño de fórmulas
que contiene a las atómicas y es cerrado bajo conjunción, disyunción , cuantificación existencial
y universal. Pruebe que Si T es una τ -teoría 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 aritmética 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.
es un age de A.
Capítulo 3
Teorías Completas y
Modelo-Completud
En este capitulo se estudiará lo más a fondo posible la completud (sintáctica), de una teoría.
Consideremos la definición.
Definición 3.1. Sea T Ď Lτ . Se dice que T es completa o sintácticamente completa syss para todo
ϕ P Lτ se tiene que T $ ϕ o T $ ϕ.
Históricamente la preocupación sobre la completud de una teoría ha sido de gran importancia,
inclusive un ejemplo de esto es la Aritmética de Peano,que se creía era completa, y fue Kurt Gödel,
el que con una técnica innovadora — y para el autor completamente hermosa — probó lo contrario,
por lo cual ya hay un ejemplo de teoría incompleta. Otra puede ser la teoría de los grupos, en la cual
no se puede probar la conmutatividad de la operación. Consideremos el siguiente esquema basado en
el teorema de completud-correctud extendido.
T & α ô T * α ô T Y t αu es satisfacible.
Esta técnica es muy usada para probar la indemostrabilidad de un enunciado desde ciertas
hipótesis o axiomas. Por ejemplo en la teoría de conjuntos, aunque la técnica varia un poco puesto
que no es posible emplear estructuras como modelos debido al segundo teorema de incompletud
de Gödel, así que este planteamiento se tiene que modificar. El tema de modelos de la teoría de
conjuntos es demasiado extenso como para abordarlo en este escrito, sin embargo, algunas de las
técnicas aquí expuestas son muy similares a las empleadas en el area de modelos de la teoría de
conjuntos.
Continuando con el tema de las teorías completas, surgen ciertas dudas, por ejemplo:
39
40 CAPÍTULO 3. TEORÍAS COMPLETAS Y MODELO-COMPLETUD
¿ Cómo saber cuando una lo es? ¿ Que repercusiones semánticas tiene la completud de una
teoría? ¿ Hay algún algoritmo para determinar si una teoría 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 teoría sea completa.
Teorema 3.2. Sea T Ď Lτ0 consistente. T es completa si y solo si para toda Γ Ď Lτ0 consistente,
si T Ď Γ, entonces
T $ “ Γ$
Prueba. [ñ] Sea Γ Ď Lτ0 consistente tal que extiende a T , claramente
T $ Ď Γ$
Luego considérese ϕ P Lτ0 tal que Γ $ ϕ, así T $ ϕ o T $ ϕ, como Γ es consistente, es imposible
que T $ ϕ, de lo cual T $ ϕ.
[ð] Sea Γ la completación de T , cuya existencia es asegurada por el ejercicio uno de este capítulo.
Así T Ď Γ y Γ es consistente, de lo cual
T $ “ Γ$ “ Γ
La última igualdad es por las propiedades de Γ y de la definición de deducción, así T es completa. :
La propiedad anterior se denomina que T es máximo-consistente, en otras palabras se prueba
que: Una teoría completa es máximo-consistente.
Lema 3.3. Sea T Ď Lτ0 y A P M odpT q. Si T es completa entonces para todo ϕ P Lτ0 tenemos que
A |ù ϕ ô T $ ϕ
Prueba. Mostrar la necesidad de la proposición es fácil ya que por el teorema de completud-
correctud la deducción preserva la verdad en una estructura.
Sobre la suficiencia, supóngase que A |ù ϕ y que T & ϕ, al ser T completa se asegura que T $ ϕ,
por el argumento del párrafo anterior se tiene que A |ù ϕ, por lo tanto A |ù ϕ & ϕ, lo cual es
una contradicción. Con lo que queda probado el lema. :
Teorema 3.4. Sea T Ď Lτ0 . T es completa syss para cualesquiera
A, B P M odpT q se tiene que
A”B
Prueba. [ñ] Sea α P Lτ0 . Supóngase 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 análogo.
[ð] Supóngase que T no es completa, por lo que hay un enunciado β P Lτ tal que T & β y
T & β, por lo que T Y tβu y T Y t βu son consistentes. Por el resultado expuesto en el apéndice
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. TEORÍAS COMPLETAS 41
Este resultado brinda una repercusión en la semántica 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
teoría 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
capítulo.
Se tiene ahora una condición suficiente por el teorema y por el lema se sabe que una teoría
completa captura exactamente las verdades sus modelos.
Ahora se abordará uno de los resultados mas famosos en la teoría de modelos, el cual dará
condiciones para saber si una teoría 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 pedagógicas 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 definición.
Definición 3.5 (Categorizidad). Sea T Ď Lτ0 una teoría.
1. Se dice que T es κ-categórica syss para cualesquiera dos A, B P M odpT q, si A „ B „ κ
entonces A – B.
2. Se dice que T es categórica syss T es κ-categórica 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
κ-categórica para algún κ ě |Lτ | entonces T es completa.
Prueba. Es difícil ver de manera directa que, dado un enunciado, se tiene que se puede deducir
dicho enunciado o su negación 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 teoría κ-categórica se tiene que A1 – B1 por el teorema 4 (pag. 10), se tiene que A1 ” B1 .
Como la relación de equivalencia lógica 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 teoría sea κ-categórica en un cardinal mayor al del
lenguaje, ya que sin esto no se podría usar LS o LST para estructuras, ya que el teorema descendente
tiene como límite la cardinalidad del lenguaje.
Se continuara con algunos ejemplos de teorías cuya completud se puede asegurar utilizando el
Test de Łoś-Vaught.
Ejemplo 3.7. Considérese τ “ 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 CAPÍTULO 3. TEORÍAS COMPLETAS Y MODELO-COMPLETUD
@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 teoría completa ya que los reales como campo y los complejos como cam-
po, 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.
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 teoría completa, ya
que un resultado, bastante citado, pero del cual no hemos encontrado prueba es que dos campos
algebraicamente cerrados de característica 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. ELIMINACIÓN 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 teoría es
completa, pues Cantor da una prueba de que dos de estos numerables son isomorfos, de hecho prue-
ba que dado uno es isomorfo con xQ, ăy. En resumen, Cantor probó que dicha teoría es ℵ0 -categórica.
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 -categórica, 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 eopηs q es κ-categórica para todo κ ą ℵ0 .
Ejemplo 3.11. La teoría de las álgebras de Boole sin átomos es ℵ0 -categórica.
Proposición 3.12. Sea T una τ -teoría Π2 -axiomatizable cuyos modelos son solamente infinitos y
κ-categórica para algún cardinal κ ě| Lτ | entonces todo modelo de T es existencialmente cerrado.
Prueba. Como T sólo tiene modelos infinitos por LST o LS hay un modelo de cardinalidad κ, así
sabemos por lo últimos teoremas que se encuentran en la seción de cadenas de estructuras que
hay un modelo existencialmente cerrado de cardinalidad κ, a saber A. Supóngase 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 tamaño κ, que no es existencialmente cerrado, por la κ-categoricidad resulta que
A – B. Se probará que esto es una contradicción. Sea C Ě B tal que C |ù Dx̄ϕpx̄, b̄q, por la isomorfía
hay D P M odpT q extensión de A, isomorfa a C de lo cual se puede ver que B |ù Dx̄ϕpx̄, b̄q, lo cual es
una contradicción ya que no era existencialmente cerrado. :
Enseguida se presenta un resultado que ayudará a resolver el problema de cuando una teoría
acepta eliminación de cuantificadores.
Proposición 3.14. Sea T Ď Lτ0 . Si dada
n
ľ
φ è Dx α1
i“1
con αi P LITτ hay ψ P Lτ XΠ0 tal que T $ φ Ø ψ entonces T admite eliminación de cuantificadores.
Prueba. La prueba se realiza por inducción sobre la formación de fórmulas. Claramente las
combinaciones booleanas y las atómicas no tienen problemas. Se tratará directamente el caso de la
cuantificación. Considérese Dxϕ, la hipótesis de inducción 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
m
ł
con αrs P LITτ
` ˘
βè α1i ^ . . . ^ αni i
i“1
Žm `
por lo que T $ Dxϕ Ø Dx` i“1 α1i ^ . . .˘^ αni i y por los resultados de teoría de la prueba, se tiene
˘
Žm
que T $ Dxϕ Ø i“1 Dx α1i ^ . . . ^ αni i , por hipótesis cada disjunto es equivalente a una fórmula
sin cuantificadores, con lo que T admite eliminación de cuantificadores. :
Ejemplo 3.15. Toda teoría completa acepta eliminación 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 eliminación de cuantificadores.
Ejemplo 3.17. La teoría AL conformada por las siguientes fórmulas, admite EDC:
Ahora se enlistan algunos resultados donde se mezclan propiedades modelo teóricas con la EDC.
Definición 3.18. Sean τ y τ 1 tipos de semejanza tales que τ Ď τ 1 y T Ď Lτ0 y T 1 una τ 1 -teoría. Se
dice que T 1 es una extensión conservativa de T syss T Ď T 1 y para todo ϕ P Lτ0 se tiene que T $ ϕ
syss T 1 $ ϕ.
Proposición 3.19. Cualquier teoría T Ď Lτ0 tiene una extensión conservativa T 1 Ď Lτ01 tal que T 1
es Π2 -axiomatizable y admite eliminación de cuantificadores.
Más adelante se verán algunas repercusiones de que una teoría admita EDC, pero la forma que se
tiene para verificar si un conjunto de enunciados tiene dicha propiedad es un poco arcaica. Además
no se ha abordado desde el punto de vista del comportamiento de sus modelos.
Sabemos que las fórmulas 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
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 fórmula ϕpa1 , . . . , an q P
Lτ0pAq tal que
˝ ˝
xC, Cy |ù ϕ1 syss xC, Cy |ù ϕpa1 , . . . , an q
46 CAPÍTULO 3. TEORÍAS COMPLETAS Y MODELO-COMPLETUD
por la observación sobre las fórmulas del diagrama de C podemos concluir que una expansión 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 . :
Proposición 3.21. Sea T una τ -teoría. Las siguientes proposiciones son equivalentes:
2. Si para cualesquiera B, C P M odpT q, ϕpx1 , . . . , xn q P Lτn , se tiene que para cualquier subes-
tructura común A y para cualesquiera a1 , . . . , an P A se tiene que
Prueba. r1 ñ 2s Esta es la parte fácil, pues se toman B, C P M odpT q y ϕpx1 , . . . , xn q P Lτn . Sean
A Ď B, C y a1 , . . . , an P A y supóngase que B |ù ϕpa1 , . . . , an q, como T admite EDC, se tiene que
hay αpx1 , . . . , xn q P Lτn X Π0 , tal que
por lo que B |ù αpa1 , . . . , an q syss (por que α es libre de cuantificadores), A |ù αpa1 , . . . , an q syss
(razón análoga), 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 sintáctica,y aunque no es equivalente
a ella, si tiene cierta relación.
A lo largo de este texto se han encontrado resultados de como el comportamiento de los modelos
de una teoría repercute en la forma de enunciados que se pueden emplear para clasificarla. Otro
resultado importante es que los modelos de una teoría completa son elementalmente equivalentes.
Ahora se estudiará una propiedad bastante fuerte, pues obligara a dos estructuras que tienen la
relación de subestructura a ser de subestructura elemental, también se plasmaran resultados de
equivalencia ante este hecho.
Definición 3.22. Sea T Ď Lτ0 . Se dice que T es modelo-completa syss para cualquier A P M odpT q,
T Y diagpAq es completa.
1. T es modelo-completa
2. Si A, B P M odpT q y A Ď B entonces A ĺ B
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
. :
sea modelo-completa.
2 Estamos negando ser extensión elemental, por lo que habría que negar un bicondicional, nosotros negaremos un
sentido,el lector podrá percatarse que el sentido que no estamos probando es completamente análogo a la prueba que
se esta brindando
48 CAPÍTULO 3. TEORÍAS COMPLETAS Y MODELO-COMPLETUD
Ejemplo 3.26. Más adelante se prueba que las teorías modelo-completas solo tienen modelos
existencialmente cerrados. La teoría de campos es Π-axiomatizable y Si tomamos un campo sus
extensiones no son necesariamente elementales.
Proposición 3.27. Sea T una τ -teoría. T es modelo-completa syss todo modelo de ella es existen-
cialmente cerrado.
Como A es existencialmente cerrado, por hipótesis B VΣ1 A por lo que hay A1 Ě B tal que
A ĺ A1 , análogamente 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 inducción, 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ω
Con el resultado anterior se tiene que todos los ejemplos de teorías que aceptan eliminación de
cuantificadores son modelo-completas.
K “ M odpT q Y tA P Vτ : A Ď B y B P M odpT qu
Proposición 3.30. T Ď Lτ0‰ es modelo-completa syss para cada fórmula ϕpx̄q P Lτm hay ψpx̄q P Σm
1
tal que T $ @x̄ ϕpx̄q Ø ψpx̄q
“
y A |ù ϕpāq. Por el lema 2.17 basta probar que B |ù ϕpb̄q. En efecto, como xA, āy VΣm 1
xB, b̄y
entonces hay xB1 , By extensión elemental de xB, b̄y donde xA, āy se encaja, por la modelo-completud
el encaje es elemental, por lo tanto xB1 , By |ù ϕpb̄q así xB, By |ù ϕpb̄q.
rðs Como todas las fórmulas son equivalentes a una existencial desde T , también se tiene que lo
son a una universal, en efecto, sea ϕpx̄q P Lτm por hipótesis hay ψpx̄q P Σm
1 tal que
Definición 3.31. Sea T Ď Lτ0 . 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 teoría modelo-completa y tiene modelo primo, entonces T es completa3 .
Ahora claramente no todas las teorías son modelo-completas, pero podemos asociar a cada teoría
Γ una teoría Γ1 la cual sea modelo-completa, y aunque claramente M odpΓq ‰ M odpΓ1 q sus modelos
si tienes una relación.
1. T 1 es modelo-completa;
Prueba. Sea A0 P M odpT 1 q. Así hay A1 P M odpT q tal que A0 Ď A1 , por la misma definición hay
B0 modelo de T 2 tal que B0 Ě A1 Ě A0 ; por el argumento en otra dirección 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
además Bi Ď Ai`1 . Así se tiene que la unión de las cadenas es el mismo modelo y por ser T 1 y T 2
modelo-completas, dicha unión es modelo de ambas y no sólo eso, sino que las cadenas son cadenas
elementales por lo cual
ď ď
A0 ĺ Ai “ Bj
iPω jPω
Por lo que A0 |ù T 2 .
Ejemplo 3.35. La teoría de los órdenes lineales densos sin extremos es una modelo-compañia de la
de los discretos.
Para unir unir los conceptos de modelo compañia y de modelo existencialmente cerrado se plasma
la siguiente proposición.
Prueba. Se toma un modelo de T 1 y se verá que hace verdad a T y que además este es existencial-
mente 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 definición de modelo-compañia.
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 extensión 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. EJERCICIOS DEL CAPÍTULO 51
2. Pruebe que si una teoría tiene un modelo finito y uno infinito entonces no es completa.
7. Tome τ “ tR2 u. Escriba los enunciados para que esta se interprete, en un modelo de ellos,
como una relación de equivalencia y después agregue los necesarios para que:
Haga T el conjunto de enunciados del ultimo inciso y pruebe que: T es ℵ0 -categórica, pero no
es ℵ1 -categórica. Indicación: Use la cofinalidad de ℵ1 .
9. Escriba los axiomas para la teoría de ordenes densos con extremos, pruebe que es ℵ0 -categórica.
10. Pruebe que la teoría de los órdenes lineales densos sin extremos es la modelo-compañía de la
teoría de los ordenes lineales discretos.
11. Sean τ “ tRu, con R de aridad dos. Si T es la τ -teoría 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 eliminación de cuantificado-
res.
12. Pruebe que la teoría de los ordenes discretos lineales sin extremos admite eliminación de
cuantificadores.
13. Pruebe que si T es una τ -teoría modelo-completa y M odpT q tiene la propiedad del encaje
común, entonces T es completa.
52 CAPÍTULO 3. TEORÍAS COMPLETAS Y MODELO-COMPLETUD
14. Encuentre una teoría cerrada bajo uniones de cadenas que no sea modelo-completa.
15. Pruebe que si T es una τ -teoría con modelos infinitos, cerrada bajo uniones de cadenas y
κ-categórica para algún κ ě| Lτ |, entonces T es modelo completa. Indicación: Recuerde los
teoremas de categoricidad para modelos existencialmente cerrados.
Capítulo 4
Álgebras de Boole
Las álgebras de Boole son de capital importancia en el estudio de la lógica matemática, ya que
con ellas se puede caracterizar la lógica clásica y se pueden usar como herramientas para desarrollar
técnicas en la teoría de los conjuntos para abordar la indecibilidad de enunciados como la Hipótesis
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 teoría de modelos, ya que se
emplearán para construir objetos sumamente interesantes, como los ultrafiltros, para poder llegar
al ultraproducto (en el siguiente capítulo). Más adelante se dará una prueba de los teoremas de
omisión de tipos y se caracterizara la existencoa de los modelos atómicos para algunas teorías.
Definición 4.1. Consideremos τ “ t`, ˚,¯, 0, 1u, donde ` y ˚ son símbolos funcionales binarios,¯es
un símbolo funcional unitario y 0 y 1 son constantes. Un álgebra de Boole sera una interpretación
A P Vτ , que hace verdaderos los siguientes enunciados:1
1. @x@y x ` y “ y ` x & x ˚ y “ y ˚ x Conmutatividad;
“ ‰
5. @x x ` x “ 1 & x ˚ x “ 0 Complementación.
“ ‰
53
54 CAPÍTULO 4. ÁLGEBRAS DE BOOLE
1. x ` x “ x
Prueba: x “ x ` px ˚ xq “ px ` xq ˚ px ` xqAbsorción y distributividad
“ ppx ` xq ˚ xq ` ppx ` xq ˚ xq “ x ` x Distributividad y absorción.
2. x ˚ x “ x
Prueba: x “ x ˚ px ` xq absorción
“ px ˚ xq ` px ˚ xq “ ppx ˚ xq ` xq ˚ ppx ˚ xq ` xq distributividades
“ x ˚ x absorción.
3. x ď x
Prueba: Es directo, del primer resultado.
4. @x@y x ď y & y ď x Ñ x “ y
“ ‰
5. @x@y@z x ď y & y ď z Ñ x ď z
“ ‰
6. x ď y Ø x ˚ y “ x
Prueba: rñs Si x ď y se tiene que x ` y “ y, así x ˚ y “ x ˚ px ` yq “ x empleando la
absorción.
rðs x ` y “ px ˚ yq ` y “ y. Nótese que la sustitución de x tiene lugar por la hipótesis y
después, la igualdad se obtiene por absorción.
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 quería.
8. x ˚ 1 “ x
Prueba: x ˚ 1 “ x ˚ px ` xq “ x por absorción.
4.1. ÁLGEBRAS DE BOOLE 55
9. x ` 0 “ x
Prueba: x ` 0 “ x ` px ˚ xq “ x empleando absorción.
10. x ` 1 “ 1
Prueba: x ` 1 “ x ` px ` xq “ px ` xq ` x “ x ` x “ 1
11. x ď y syss x ˚ y “ 0
Prueba: rñs Por hipótesis x ` y “ y
Así x ˚ y “ px ˚ yq ˚ y “ x ˚ py ˚ yq “ x ˚ 0 “ 0.
rðs veamos cuanto vale x ˚ y, de hipótesis 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. Supóngase 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. Análogamente 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, análogamente x ˚ x “ x ˚ x “ 0. Por el resultado anterior se tiene que
x “ x.
14. px ` yq “ x ˚ y.
Prueba: Basta observar que el término 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 cálculo 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 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 CAPÍTULO 4. ÁLGEBRAS DE BOOLE
Las propiedades anteriores son de carácter interno en las álgebras de Boole. De manera análoga
al estudio de las estructuras que se ha venido realizando a lo largo de este trabajo. Se presentan
a continuación algunas definiciones y resultados básicos de la teoría, para en la sección posterior,
pasar al tema de filtros e iniciar el trabajo con la técnica de ultraproductos.
Definición 4.3. Sean A1 , A P B. se dice que A1 es subálgebra de A, en símbolos A1 ď A syss A1 Ď A,
es decir, guardan entre ellas la relación 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 capítulo. Se sabe que lo anterior tiene lugar ya que los axiomas de
álgebra de Boole son enunciados universales. En capítulos anteriores se dio un análisis 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 aclaración.
Enseguida una serie de ejemplos de álgebras de Boole.
Ejemplo 4.4. Sea L, conjunto de letras proposicionales, L el conjunto de fórmulas del lenguaje
proposicional y ” la relación de equivalencia lógica para proposiciones. Denotamos para cada α P L,
rαs “ tβ P L : α ” βu
Sea A el cociente de L con ”. Así, con las operaciones y elementos definidos como sigue:
rαs ˚ rβs “ rα & βs
rαs ` rβs “ rα _ βs
rαs “ r αs
0 “ rα & αs
1 “ rα _ αs
4.2. FILTROS Y ULTRAFILTROS 57
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 Fréchet.
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 definición.
3 En algunos textos en lugar de pedir esta condición se pide que F ‰ H, lo cual a la luz de 2 son equivalentes.
4
Definición : 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 CAPÍTULO 4. ÁLGEBRAS DE BOOLE
Prueba. Tomemos ź
C˚ “ t y : F P rCsăω ztHuu
yPF
y
S “ tx P A : hay c P C ˚ tal que c ď xu
Se afirma que S es un filtro.
Primero obsérvese que z P S syss hay K P rCsăω ztHu tal que
ΠK “ ΠkPK k ď z
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 proposición 4.2.20 se tiene que ΠU ˚ ΠV ď u ˚ v por
lo cual v ˚ u P S. Claramente 1 P S, por la proposición 4.2.15. Por la misma referencia que en la
oración anterior, 0 R S, ya que si 0 P S, entonces hay X Ď C finito tal que
ź
Xď0
lo cual no es posible, ya que por hipótesis 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 sólo eso, es el más pequeño como lo establece el
siguiente resultado.
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 fácil
probar que, debido a que se ha definido la relación de orden en función de las operaciones, h resulta
un morfismo débil 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 máximo y mínimo. De manera curiosa, para el estudio global no es equivalente
y el comentario anterior nos deja ver por que.
60 CAPÍTULO 4. ÁLGEBRAS DE BOOLE
Prueba. Sean x, y P h´1 p1B q. Así hpx ˚A yq “ hpxq ˚B hpyq “ 1B ˚B 1B “ 1B por lo que
x ˚A y P h´1 p1B q. Como hp1A q “ 1B de inmediato se tiene que 1A P h´1 p1B q.
Sea z P h´1 p1B q y w P A tal que z ďA w, como h es un morfismo débil para el orden se tiene
que hpzq ďB hpwq. Como hpzq “ 1B por la anti-simetría del orden, se tiene que hpwq “ 1B y por
tanto w P h´1 p1B q. Probando todo esto que h´1 p1B q es un filtro en A. :
Como el nombre de la sección lo dice, otros objetos que son de interés, de hecho son de suma
importancia para este capítulo y en el último, son los ultrafiltros. A continuación se presentará al
lector como cualquier texto sobre matemáticas que se respete, lo harí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 sección, para lo cual se necesita el siguiente lema.
Prueba. Supóngase 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
Por lo cual ΠS2 ď y y de manera análoga ΠS1 ď y, por lo tanto ΠpS1 Y S2 q “ 0 y como
S1 , S2 P rCsăω ztHu concluimos que C R P IF . :
1. U es un ultrafiltro en A;
2. Para todo x P A, x P U o x P U y
Ahora se vera el resultado estrella que tanto se ha anunciando: la prueba que se brinda es
totalmente análoga 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
lógica. Enseguida el resultado.
Teorema 4.19 (Teorema del Ultrafiltro de Tarski.). En un álgebra de Boole, todo filtro se puede
extender a un ultrafiltro.
ď
Para todo γ P LIM, Uγ “ Uξ
ξăγ
Se hace ď
U “ Uξ
ξăκ
.
Sobre la construcción, las siguientes observaciones:
1. ď
F “ U0 Ď Uξ “ U
ξăκ
“ b ˚ pa ˚ bq “ 0
Por la última observación, 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 construcción no es efectiva y el ultrafiltro así producido no es
único. Del teorema anterior y de la Proposición 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 .
Podría abundarse muchísimo en el tema de los ultrafiltros, sin embargo con esta labor basta.
Al igual que con las álgebras de Boole este tema pordría 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.
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.
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 sólo a uno de ellos, con lo
que spaq “ U ltpAqzspaq.
Así solo falta verificar la inyectividad: si a ‰ b, por la antisimetría 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 desvía un poco el hilo que se ha llevado y se irá en dirección a probar el teorema
de Rasiowa-Sikorski y también se caracterizarán algunos modelos de teorías completas.
Definición 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 atómica, 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 recursión 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 construcción anterior, se emplea el axioma de elección y el hecho de que cada Dj es denso
en el álgebra. Por construcción, si m ď n, an ď am y de la definición 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
construcción aj P Dj X U . :
Definición 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 definición anterior se tienen resultados inmediatos como:
64 CAPÍTULO 4. ÁLGEBRAS DE BOOLE
1. Inf ta, bu “ a ˚ b;
2. Si X tiene supremo y para algún 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. Supóngase 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. Defínase una sucesión xai : i P ωy por recursión sobre los números naturales. Sea a0 “ b.
Ahora, supóngase 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 elíge un x P Xn tal que an ˚ x ‰ 0, y se pone an`1 “ x ˚ an . De la construcción, 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 supóngase que
SupXn P U , así an ˚ SupXn ‰ 0 por lo que an`1 “ x ˚ an para algún 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. :
Definición 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 .
Obsérvese que en él caso que tuviéramos 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. Supóngase 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 ;
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. :
Se sabe que una teoría de Henkin9 determina un modelo canónico, entonces se verá que tipo de
ultrafiltros determinan teorías de Henkin.
Definición 4.31. Sea T Ď Lτ0 . A es un modelo canónico 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 interpretación de una constante de τ 1 .
Ahora queda más claro que la prueba del teorema de compacidad brinda un modelo canónico de
la teoría en una expansión del lenguaje.
Definición 4.32. Sean T Ď Lτ0 . Se define la relación ϕ „T ψ entre fórmulas con exactamente
x1 , . . . , xn como variables libres como sigue, para ϕpx1 , . . . , xn q, ψpx1 , . . . , xn q P Lτn , ϕ „T ψ syss
ser cerrada bajo deducción, tener testigos existenciales y ser completa y consistente.
66 CAPÍTULO 4. ÁLGEBRAS DE BOOLE
Trivialmente ésta es una relación de equivalencia. Así, de tener que ϕ „T ψ se dirá que ϕ y ψ
son equivalentes modulo T . Se denotara por tϕuT la clase de equivalencia de ϕ modulo T y se hace
Definición 4.33. Sea T una τ -teoría. Se definen las siguientes operaciones y elementos distinguidos
en Bτn pT q:
3. tϕuT “ t ϕuT
Queda como ejercicio al lector probar que dichas operaciones no dependen del representante de
la clase. Surge naturalmente la siguiente proposición, cuya prueba se deja como ejercicio al lector.
xBτn pT q, ˚, `,¯, 0, 1y
es un álgebra de Boole.
Obsérvese que con T Ď Lτ0 , Bτ0 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
deducción y completa entonces
UΓ “ ttϕuT P Bτ0 pT q : ϕ P Γu
es un ultrafiltro en Bτ0 pT q.
La inversa también es cierta, dado un ultrafiltro U que extienda a T , módulo la relación de
equivalencia, es decir,
ttϕuT : ϕ P T u Ď U
éste inducirá una teoría completa, cerrada bajo deducción y consistente, a saber, el conjunto de
todos los enunciados cuyas clases pertenecen a U , es decir, tψ P Lτ0 : tψuT P U u.
Ahora se continúa con la búsqueda de los ultrafiltros que determinan la existencia de modelos
canónicos.
Lema 4.35. Sean T Ď Lτ0 consistente, ψ P Lτ0 , ϕpxq P Lτ1 y c es una constante que no aparece ni
en T , ni en ψ o ϕ. Si T $ ϕpcq Ñ ψ, entonces T $ Dxϕpxq Ñ ψ.
4.4. ÁLGEBRAS DE BOOLE Y MODELOS 67
T Y t ψu $ @x ϕpxq
Lema 4.36. Sean C un conjunto infinito de constantes disjunto con τ , T Ď Lτ0 consistente y
1
denotemos por τ 1 “ τ Y C. En el álgebra de Boole Bτ0 pT q, para toda ϕpxq P Lτ11 se tiene que
tDxϕpxquT “ SupttϕpcquT : c P Cu
Prueba. Como las fórmulas ϕpcq Ñ Dxϕpxq son universalmente validas, se tiene que tDxϕpxquT es
una cota superior de ttϕpcquT : c P Cu, se verificará que es la mínima.
Sea ψ P Lτ01 tal que tψuT es una cota superior de
ttϕpcquT : c P Cu
Proposición 4.37. Sean τ 1 como en el resultado anterior, T una τ -teoría consistente y Γ una
1
τ 1 -teoría P-completa y consistente que extiende a T . Si U “ ttψuT : ψ P Γu es un ultrafiltro en Bτ0
entonces las siguientes condiciones son equivalentes:
Prueba. Esta prueba se deja como ejercicio al lector, y se sugiere basarse en el lema 6.2 :
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 operación 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 después hacer
algunas modificaciones.
La estructura anterior se llama producto directo de la familia de grupos así, se presenta la
siguiente definición.
Definición 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:
ś
69
70 CAPÍTULO 5. ULTRAPRODUCTOS Y CLASES ELEMENTALES
Al definir las interpretaciones como no vacías con el axioma de elección, se asegura que esta
nueva no lo es.
Ahora, estamos interesados en la satistacibilidad de las fórmulas. Se plantea que si por lo menos
todas las estructuras que se multiplican son modelos de algo, el producto directo de ellas también
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
Ahoraśse verá que condiciones se deberían 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 fórmula ϕ 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 definición de satisfacibilidad de Tarski, así que si dos fórmulas son
verdad en el nuevo objeto, la conjunción tendrá que serlo y así con cada uno de los conectivos lógicos.
Esto tendría que repercutir en los conjuntos que se estan considerando. Este hecho de manera formal
se define de la siguiente forma:
Como ocurrió con la definibilidad, hay una relación entre los conectivos lógicos y las operaciones
en el álgebra potencia, como lo establece el siguiente resultado. Además formaliza las consideraciones
que se estaban tomando en cuenta hace unas líneas.
3. k ϕpa1 , . . . , an q k“ Iz k ϕpa1 , . . . , an q k
Prueba. Solo se abordarán dos incisos y el lector deberá terminar los otros.
5.1. ULTRAPRODUCTOS 71
r1s Tómese 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
j Pk Dxϕpx, a1 , . . . , an q k
:
Con lo anterior se puede ir avanzando en la construcción buscada, pero se necesita más.
Definición 5.4. Sean tAi : i P Iu Ď Vτ , F Ă ℘pIq un filtro y a, b P iPI Ai . Se dice que a y b están
ś
relacionados modulo F en símbolos, a „F b , syss
ti P I : apiq “ bpiqu P F
Prueba. La reflexividad es clara, ya que una función es igual a si misma entrada por entrada a „F a.
Donde el universo de la estructura es iPI Ai {F, es decir, las clases de equivalencia del universo
ś
del producto directo con la relación „F , donde la interpretación es como sigue:
Entonces
f A pa1 . . . , an q “ rf Ai pa1 piq . . . , an piqqiPI s„F
Se define
xa1 , . . . , an y P RA ôk Rpa1 , . . . , an q kP F
A |ù ϕpa1 {U , . . . , an {U q ôk ϕpa1 , . . . , an q kP U
1. Paso Base: Para las fórmulas atómicas, se tiene que la relación de equivalencia y la definición
de la interpretación de los símbolos relacionales han hecho el trabajo.
k ψpa1 , . . . , an q kR U
A |ù ϕpa1 {U , . . . , an {U q
y
A |ù βpa1 {U , . . . , an {U q
syss (Hipótesis 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 cuantificación, Dxψpx, x1 , . . . , xn q, la prueba se presenta en dos direcciones:
rñs Si A |ù Dxψpx, a1 {U , . . . , an {U q entonces hay a{U P A tal que
A |ù ψpa{U , a1 {U , . . . , an {U q
entonces k Dxψpx, a1 , . . . , an q kP U .
rðs Si k Dxψpx, a1 , . . . , an q kP U syss
A |ù ψpf {U , a1 {U , . . . , an {U q
El siguiente resultado nos dice que puede haber “dictaduras” en los ultraproductos.
Proposición 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 s∼U 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 función esta bien definida y es fácil observar
que es biyectiva.
Ahora se probará que preserva la estructura. Sean f P τ y a1 , . . . , an P iPI Ai {U , así
ś
d : B ÝÑ| ˚ B |
tal que a cada b P B le asocia la clase de la función 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 satisfación considerese
ϕpx1 , . . . , xn q P Lτ
y
b1 , . . . bn P B
5.2. CLASES ELEMENTALES 75
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
ti P I : B |ù ϕpb1 , . . . , bn qu ‰ H
Definición 5.12. Sea K Ď Vτ . Se dice que K es una clase elemental syss hay ϕ P Lτ0 tal que
K “ M odpϕq
Definición 5.13. Sea K Ď Vτ . Se dice que K es ∆-elemental syss hay Γ Ď Lτ0 tal que
M odpΓq “ K
El último resultado dice como saber si una clase no es ∆-elemental, pues más adelante se mostrará
que el regreso también se tiene, inclusive con el ejercicio 8j de este capítulo se tendrá como saber si
se puede con una fórmula 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.16. COBO no es una clase elemental. Sea N “ xN, ăy y considérese ˚ N usando I “ ω y
U un ultrafiltro que extiende los cofinitos, la cual no es un COBO. Tómense las siguientes funciones
de elección: 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
˚
además an`1 {U ă N an {U y solo son iguales a lo más en una cantidad finta de entradas, por lo
tanto tai {U : i P ωu no tiene elemento mínimo. Con lo que COBO no es cerrada bajo ultraproductos.
Ejemplo 5.17. La clase de los campos algebraicamente cerrados de característica fija es ∆-elemental,
pero no elemental.
Ejemplo 5.18. La clase de los conjuntos con una relación de equivalencia es elemental.
Nuestro objetivo ahora es dar la caracterización de que una clase sea ∆-elemental, para lo cual
se necesita la siguiente definición y algunos lemas.
ľn
p γi q P T eopKq
i“1
Źn Źn
y como B |ù T eopKq se tiene que B |ù p i“1 γi q & p i“1 γi q, lo cual es un absurdo.
Denomínese AΓ a la estructura en K la cual satisface a Γ P rT eopBqsăω . Para hacer el ultrapro-
ducto se toma a rT eopBqsăω como conjunto de indices y se hace
(
H “ tΣ P rT eopBqsăω : AΣ |ù ψu : ψ P T eopBq
5.2. CLASES ELEMENTALES 77
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. Propóngase 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 contención. 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 caracterización que se ha brindado de las clases elementales es tan fuerte que algunos autores
la usan como definición, 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 equiva-
lencia elemental entonces K es Π2 -axiomatizable.
Ahora se ilustrará con algunos ejemplos la teoría estudiada.
Ejemplo 5.25. La clase de los grupos libres de torsión es ∆-elemental pero no elemental. Tomemos
: i P ωu una enumeración de los primos. yś
tpi ś U un ultrafiltro que extienda al filtro de los cofinitos;
así nPω Zpn {U es libre de torsión. Sea a P nPω Zpn {U distinto del neutro, por lo cual se puede
suponer que apiq no es el neutro para ningún i P ω. Si m ą 0 entonces am “ rpapiqm qiPω s∼U , de lo
cual si para algún 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ω s∼U no es
el neutro del ultraproducto y por lo cual, este es libre de torsión.
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. Considerése
ź
F“ Fp {U
pPI
78 CAPÍTULO 5. ULTRAPRODUCTOS Y CLASES ELEMENTALES
Se denota con n ˚ c1 “ c0 la expresión que dice que sumar n-veces la constante c1 , resulta en la
constante c0 , así dicha expresión es verdadera a lo más en un número finito de factores y como los
ultrafiltros libres no contienen subconjuntos finitos, entonces para cada n P ω la fórmula es falsa, por
lo que F tiene característica 0.
ti P I : apiq “ bpiqu P S
2. Pruebe que no hay un enunciado de primer orden cuyos modelos sean exactamente estructuras
relacionales bien ordenadas.
Xϕ “ t∆ P rΓsăω : ϕ P ∆u
vea que tiene la P IF y luego tome las estructuras que son aquellas que modelan los subconjuntos
finitos de Γ.
5. Sea Fp la cerradura algebraica de Fp (la construcción 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
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 torsión 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 ) Defínase 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. Indicación: Use el teorema de compacidad.
Capítulo 6
81
82 CAPÍTULO 6. REALIZACIÓN Y OMISIÓN DE TIPOS
es un n-tipo completo.
Prueba. Se deja como ejercicio para el lector. :
Ahora se define la situación inversa, es decir dado un n-tipo, qué sucede si existen estos elementos.
Definición 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 omisión de tipos seria tomar D “ xQ, ăy y tomar
˝ ˝
Γ3 “ t0 ă x0 & x0 ă q : q P Q y q ą 0u Ď Lτ1pQq
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 proposición, la cual
es generalización de esté razonamiento.
Proposición 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 supóngase 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.
6.1. TIPOS DE UNA ESTRUCTURA 83
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 explicación con la que se inicio, la proposición probada. :
Es necesario hacer énfasis en que se esta empleando el teorema de compacidad semántico para
fórmulas y no para enunciados, el cual rara vez se haya en la literatura, pero que se puede encontrar
en el Apéndice A. Por otro lado, nótese 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
Además se pueden empezar a mezclar ramas de la matemática y topologizar SnA pXq, de la
siguiente manera: para cada ϕpx1 , . . . , xn q P LτnpXq se define
Se pide al lector recordar las técnicas empleadas en su clase de lógica cuando se probó el teorema
de compacidad semántico o lo que se hace en este documento en su apéndice y probar lo siguiente:
1. rα & βs “ rαs X rβs
2. rα _ βs “ rαs Y rβs
3. r αs “ SnA pXqzrαs
4. rαs “ SnA pXq syss xA, Xy |ù @x1 . . . @xn αpx1 , . . . , xn q
5. rαs Ď rβs syss xA, Xy |ù @x1 . . . @xn pα Ñ βq
6. rαs “ rβs syss xA, Xy |ù @x1 . . . @xn pα Ø βq
Así, se tiene que B “ trϕs : ϕpx1 , . . . , xn q P LτnpXq u es base para una topología de SnA pXq, ya que
dado un n-tipo Γ P SnA pXq al ser completo, no es vacío, por lo cual hay αpx1 , . . . , xn q P Γ, por lo que
Γ P rαs, con lo cual B cubre a SnA pXq y dado que rαs X rβs “ rα & βs se tiene lo necesario. Con
esto SnA pXq tiene estructura de espacio topológico, el cual además tiene propiedades sumamente
interesantes.
84 CAPÍTULO 6. REALIZACIÓN Y OMISIÓN DE TIPOS
∆px1 , . . . , xn q “ t ϕi : i P Iu
∆α px1 , . . . , xn q Ď LτnpXq
tal que ∆α px1 , . . . , xn q es el respectivo a Fα . Así para ver que la intersección deŤtoda la familia de
cerrados es no vacía, basta ver por las observaciones del párrafo pasado, que ∆ “ ∆α es consistente
3 Un espacio topoógico que cumple estas propiedades lleva el nombre de espacio booleano. Esto se analiza más a
forma de probar la existencia de este conjunto sería empleando el lema de Zorn, se considera
tΣpx1 , . . . , xn q Ď LτnpXq : ∆px1 , . . . , xn q Ď Σpx1 , . . . , xn q y es consistente con T eopxA, Xyqu
que claramente es no vacío y al unir una cadena brinda una cota para esta.
6.1. TIPOS DE UNA ESTRUCTURA 85
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
Ť
también lo es, así se puede concluir la compacidad buscada. :
Definición 6.10. Sea Γpx1 , . . . , xn q P SnA pXq. Γpx1 , . . . , xn q es Aislado syss hay ϕpx1 , . . . , xn q P
LτnpXq tal que tϕpx1 , . . . , 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 ϕ aísla Γpx1 , . . . , xn q.
De la definición es inmediato que rϕs ‰ H, lo cual es muy importante, ya que si se permite la
definición para cualquier fórmula se tendría que cualquier n-tipo es aislado.
Lema 6.11. Si Γpx1 , . . . , xn q P SnA pXq entonces
č
rϕs “ tΓpx1 , . . . , xn qu
ϕPΓ
Prueba. Una contención es obvia, veamos que la otra se cumple. Sea Γ1 P ϕPΓ rϕs, por lo cual
Ş
se tiene que Γpx1 , . . . , xn q Ď Γ1 ; así se toma α P Γ1 y supóngase que α R Γpx1 , . . . , xn q, de lo
cual α P Γpx1 , . . . , xn q y por lo tanto, α, α P Γ1 , lo cual es una contradicción, por lo que
Γ1 “ Γpx1 , . . . , xn q. :
Lema 6.12. Si Γpx1 , . . . , xn q P SnA pXq entonces Γpx1 , . . . , xn q es aislado syss tΓpx1 , . . . , xn qu es
abierto.
Prueba. rñs Para ver que tΓpx1 , . . . , 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
` ˘
xA, Xy |ù @x1 . . . @xn ϕpx1 , . . . , xn q Ñ γpx1 , . . . , xn q
por lo que rϕs Ď rγs, para toda γpx1 , . . . , xn q P Γpx1 , . . . , xn q.
Así rϕs Ď γPΓ rγs , pero del lema anterior se sabe que γPΓ rγs “ tΓpx1 , . . . , xn qu por lo que
Ş Ş
rϕs Ď tΓpx1 , . . . , xn qu y además se sabe que rϕs ‰ H por lo cual rϕs “ tΓpx1 , . . . , xn qu teniendo así
que tΓpx1 , . . . , xn qu es abierto.
rðs Si tΓpx1 , . . . , xn qu es abierto se tiene que hay tψi : i P Iu tal que
ď
tΓpx1 , . . . , xn qu “ rψi s
iPI
al ser SnA pXq Hausdorff y compacto se tiene Ťn que tΓpx1 , . . . , xn qu es cerrado y compacto, por lo que
hay tψi1 , . . . ψin u Ď tψi : i P Iu tal que j“1 rψij s “ tΓpx1 , . . . , xn qu. Se afirma que ψi1 _ . . . _ ψin
aísla a Γpx1 , . . . , xn q. En efecto, si se hace
α è ψ i1 _ . . . _ ψ in
86 CAPÍTULO 6. REALIZACIÓN Y OMISIÓN DE TIPOS
se tiene que rαs “ tΓpx1 , . . . , xn qu, lo que dice que rαs ‰ H; por las observaciones que se tienen
sobre el comportamiento de los abiertos, esto es que T eopxA, Xyq Y tαu es satisfacible. Por otro lado
se sabe que č
rγs “ tΓpx1 , . . . , xn qu
γPΓ
de lo cual č
rαs Ď rγs
γPΓ
Así para toda γ P Γ se tiene que rαs Ď rγs, y de nuevo por el argumento sobre los abiertos, se tiene
que para toda γ P Γ se cumple que
“ ‰
xA, Xy |ù @x1 . . . @xn αpx1 , . . . , xn q Ñ γpx1 , . . . , xn q
Por otro lado se puede definir análogamente Sn pT q el conjunto de los n-tipos completos de T .
Si T es una teoría completa y A |ù T entonces SnA pHq “ Sn pT q. También se puede dotar al nuevo
conjunto de una topología, para cada ϕpx1 , . . . , xn q P Lτn , se define rϕs “ tΓpx1 , . . . , 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. rϕs “ Sn pT q syss T $ ϕ
De nuevo han salido a flote propiedades que se heredan desde la teoría de la demostración y el gran
vínculo que establece el teorema de completud-correctud.
En el cápitulo de álgebras de Boole se definío Bτn pT q y se vio que se le podía dar estructura de
álgebra de Boole, resulta que esta es isomorfa al álgebra de los abierto-cerrados que se usaron para
dotar de topología el conjunto de los tipos. En el álgebra de Boole un n-tipo de una teoría no es
aislado syss el ínfimo del n-tipo es cero.
para cada γ P Γ.
Por otro lado en Dz1 . . . Dzr ψ 1 aparecen a lo más 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
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 generalización sobre constantes se tiene que
En la sección anterior una preocupación fue saber cuándo un tipo era realizable. se vio que la
condición de que Γpx1 , . . . , xn q Y T eopxA, Xyq garantizaba la existencia de una extensión elemental
donde el tipo se realizaba. Ahora con la teoría es posible cambiar.
Lema 6.15. Sea T una τ -teoría. 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 $ ϕpx1 , . . . , xn q Ñ γpx1 , . . . , xn q
A |ù ϕpa1 , . . . , an q Ñ γpa1 , . . . , an q
U “ ttψuT : ψ P Lτ01 y A |ù ψu
γa px1 , . . . , xn q P Γpx1 , . . . , xn q
tal que A |ù γa pa1 , . . . , an q, pero como A es canónico respecto a C se tiene que hay c1 , . . . , cn P C
tales que cA
i “ ai , de lo cual A |ù γa pc1 , . . . , cn q y por lo cual tγa pc1 , . . . , cn quT R U , con lo que U
respeta el ínfimo de
ttγpc1 , . . . , cn quT : γ P Γpx1 , . . . , xn qu
ya que (
Inf tγpc1 , . . . , cn quT : γ P Γ “ 0
rðs Se verificará que A omite a Γpx1 , . . . , xn q. Sean c1 , . . . , cn P C, como U respeta los ínfimos
de (
tγpc1 , . . . , cn quT : γ P Γpx1 , . . . , xn q
entonces hay γ1 pc1 , . . . , cn q tal que tγ1 pc1 , . . . , cn quT R U , por lo cual A |ù γ1 pc1 , . . . , cn q, con lo
cual A omite a Γpx1 , . . . , xn q. :
6.2. TIPOS DE UNA TEORÍA 89
tDxψpxquT “ SupttψpcquT : c P Cu
ttψpcquT : c P Cu
Además es fácil verificar5 que T Ď 1. Así por el corolario al teorema de Rasiowa-Sikorski hay un
1
ultrafiltro U en el álgebra Bτ0 que respeta los supremos e ínfimos de los conjuntos anteriores, por
respetar los supremos, por la proposición 4.37 , se tiene que U corresponde a un modelo canónico
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 τ -teoría y Σpx1 , . . . , xn q Ď Lτn 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 (Omisión de tipos.). Dada una τ -teoría 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 τ -teoría 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 ttγpx1 , . . . , xn quT : γpx1 , . . . , xn q P Γpx1 , . . . , xn qu es un ultrafiltro
en Bτn pT q.
2. Un n-tipo es aislado syss el ultrafiltro que induce en el álgebra Bτn es principal.
3. Un n-tipo es ailsado por αpx1 , . . . , xn q syss tαpx1 , . . . , xn quT es un atómo en Bτn pT q y
Definición 6.21 (Modelo e-primo.). Sea T una τ -teoría. 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 teoría de modelos se encontrará la definición 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 teoría tiene modelo e-primo entonces la teoría es completa, sintácti-
camente.
Definición 6.22. Sean T Ď Lτ0 y A P M odpT q. Se dice que A es un modelo atómico de T —si
se tiene claro de qué teoría se está hablando solo se escribirá “modelo atómico”— syss para toda
a1 , . . . , an P A, el n-tipo tpA pa1 , . . . , an q es aislado.
es un ultrafiltro, pero al ser aislado, hay αpx1 , . . . , xn q P Lτn tal que para toda γ P tpA pa1 , . . . , an q
“ ‰
T $ @x1 . . . @xn αpx1 , . . . , xn q Ñ γpx1 , . . . , xn q
y
T Y tαpx1 , . . . , xn qu
es satisfacible, por lo que αpx1 , . . . , xn q P tpA pa1 , . . . , an q. Así A satisface un átomo de Bτn pT q, es
decir, en un modelo atómico todos los UtpA pa1 ,...,an q son principales.
Teorema 6.23. Sea T una τ -teoría en un lenguaje numerable. Si T es ℵ0 -categórica, entonces para
todo n P ωzt0u, Sn pT q es finito.
6.3. MODELOS ATÓMICOS 91
Prueba. Supóngase lo contrario, así hay una cantidad infinita de n-tipos de T , por lo cual hay una
cantidad infinita de ultrafiltros en Bτn pT q. Así Bτn 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
omisión de un tipo, se tiene que hay un modelo numerable, A de T que omite a Γpx1 , . . . , xn q.
Como T es ℵ0 -categórica, 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 -categórica se tiene que A – B, pero por los teoremas de isomorfismo esto es una contradicción. :
Para el siguiente resultado se necesita una definición previa.
Definición 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 τ -teoría en un lenguaje numerable. Si T es completa y A |ù T , entonces
A es un modelo atómico y numerable syss A es un modelo e-primo.
Prueba. rðs Supóngase que A es un modelo e-primo, al ser numerable el lenguaje de la teoría se
tiene que A es numerable, pues ésta tiene modelos de ese cardinal. Supóngase que no es atómico, por
lo que hay a1 , . . . , an P A, tal que tpA pa1 , . . . , an q es no alisado. Así, por el teorema de omisión 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 contradicción.
rñs Sea A un modelo atómico y numerable de T , y sea xam : m P ωzt0uy una enumeración de A
y xαi px1 , . . . , xi q : i P ωzt0uy una lista de fórmulas que aíslan al tpA pa1 , . . . , ai q.
Se va a construir por recursión 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. Supóngase 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ω
Prueba. Basta hacer lo mismo que en la prueba pasada, argumentando sobre la formula
αpx1 , . . . , xn , xn`1 q que aísla a tpA pa1 , . . . , an , aq y tomar que
Teorema 6.27. Sea T Ď Lτ0 completa. Si A, B P M odpT q son numerables y atómicos entonces
A – B.
Prueba. Se construye una sucesión 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 aísla, por lo cual
B |ù Dx1 αpx1 q, lo que arroja a quién 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 recursión, sea k P ωzt0, 1u supóngase 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 enumeración 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 enumeración 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 función buscada es F : A ÝÑ B, tal que F pai q “ bi para todo i P ωzt0u. :
Del resultado anterior se tiene una condición suficiente para que una teoría sea ℵ0 ´ categórica.
7 El lector debería de preocuparse en este momento por la inyectividad de la función que se esta construyendo, pero
en la sección de ejercicios de este capitulo, uno de ellos es justo el que justifica que todo esta bien hecho.
6.3. MODELOS ATÓMICOS 93
Proposición 6.28. Sean τ un tipo de semejanza contable y T una τ -teoría completa. Si para cada
n P ωzt0u se cumple que Sn pT q es finito, entonces T es ℵ0 -categórica.
Prueba. Como para cada n P ωzt0u se sabe que Sn pT q es finito, entonces Bτn pT q es atómica8 , 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, sólo realizan n-tipos aislados. Por lo tanto son atómicos y por
el resultado anterior, estos son isomorfos. :
Ahora la existencia de los modelos atómicos ha sido muy importante, pero no se ha establecido
una condición 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 atómico no será el caso, aunque
antes se plantearán algunos lemas.
Lema 6.29. Sean T una τ -teoría 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 aísla a Γpx1 , . . . , xn q
1
en T , entonces para cualesquiera c1 , . . . , cn elementos de C se tiene que en Bτ0 pT q
con lo que la prueba de este lema es completamente análoga a la del lema 6.14. :
Lema 6.30. Sea T una τ -teoría completa, B P M odpT q y
a1 , . . . , an , b1 , . . . , bm P B
tpB pa1 , . . . , an , b1 , . . . , bm q
Se afirma que
Dxm`1 . . . Dxm`n αpx1 , . . . , xn , xn`1 , . . . , xn`m q
aísla a tp pa1 , . . . , an q. Para esto supongamos lo contrario, por lo que hay
B
tal que
T & Dxm`1 . . . Dxm`n αpx1 , . . . , xn , xn`1 , . . . , xn`m q ÝÑ γpx1 , . . . , xn q
como T es completa, se tiene que
[JAN89] .
94 CAPÍTULO 6. REALIZACIÓN Y OMISIÓN DE TIPOS
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
tpB pa1 , . . . , an , b1 , . . . , bm q
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 atómico
entonces hay αpx1 , . . . , xn q que aísla a tpA pa1 , . . . , an q en T , por lo que el conjunto de las clases de
estas fórmulas forman un ultrafiltro principal en Bτn pT q, por lo cual tαpx1 , . . . , xn quT es un atómo
resulta que esta álgebra es atómica.
r1 ñ 2s Sea C “ tcj : j ă ωzt0uu un conjunto de constantes ajeno a τ y hacemos τ 1 “ τ Y C. Se
tienen dos casos:
6.3. MODELOS ATÓMICOS 95
Caso I: Para toda n P ωzt0u, se tiene que Bτn pT q es finita. Por lo anterior se tiene que todas las
son algebras de ultrafiltros principales, con lo que hemos terminado.
Bτn pT q
Caso II: Para algún n P ωzt0u, Bτn pT q es infinita. En este caso se toma
! )
Y “ ta P Bτn pT q : a es un átomou : Bτn pT q es infinita
También se considera ! )
Xϕ “ tϕpcquT : 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 atómico 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
1 1
ttγpx1 , . . . , xn quT : γ P tpA pcA A
1 , . . . , cn q
es un ulrafiltro en Bτn pT q y por lo tanto, basta ver que es principal, por lo que, si Bτn pT q es finita se
termina.
Si Bτn pT q es infinita, es suficiente probar que hay un átomo de ella en
1 1
ttγpx1 , . . . , xn quT : γ P tpA pcA A
1 , . . . , cn qu
por lo que
1 1
ta P Bτn pT q : a es un atomou Ď ttγpx1 , . . . , xn quT : γ P tpA pcA A
1 , . . . , cn qu
Por lo anterior, A realiza a ta P Bτn pT q : a es un atomou, lo cual es una contradicción pues A1 omitia
los elementos de Y . :
Teorema 6.32. Si T es una τ -teoría completa entonces las siguientes condiciones son equivalentes:
Paf y se acabo. . .
96 CAPÍTULO 6. REALIZACIÓN Y OMISIÓN DE TIPOS
En este capítulo se abordarán las técnicas básicas de la teoría de modelos que nacen a partir
del cálculo de predicados, el cual se introduce para encontrar un aspecto formal para llegar a las
fórmulas universalmente validas, no solo eso, si no que tendrá repercusiones en la semántica mucho
más fuertes que son de amplio interés para este texto, así como el siguiente resultado que se probará
más adelante:
Si un conjunto de enunciados es sintácticamente consistente, entonces tiene modelo.
97
98 APÉNDICE A. EL CÁLCULO 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ϕ Ñ @xψq
Será cálculo de predicados con igualdad, si se agregan a Λ el axioma y el esquema axiomático
siguientes:
Ax6 é @x0 px0 “ x0 q
“ ‰
Ax7 é @x@y x « y Ñ pϕrx, xs Ñ ϕrx, ysq
En cuanto a las reglas de inferencia, M P y Gen se tiene lo siguiente:
ψ, ψ Ñ ϕ
MP
ϕ
ϕpxq
Gen
@xϕpxq
Definición A.3. Una demostración (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 lógico”, retratando de manera formal lo que pasa
en la matemática. Más adelante se probará que todas las fórmulas que se demuestran en el sistema
son fórmulas 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.
Definición A.4. Sea Γ Ď Lτ . Se dice que ϕ se deduce de Γ (en el CP ), en símbolos Γ $ ϕ syss hay
una lista finita de fórmulas ϕ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. CARACTERIZACIÓN SEMÁNTICA 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 matemática, los cuales no tienen por que ser
necesariamente lógicamente válidos, pero si serán verdad donde se necesite; por ejemplo, Γ pueden
ser los axiomas de campo, o de anillos, escritos en primer orden.
Así se ha formalizado la noción de prueba como un objeto matemático, por lo que se puede
hablar de consistencia y completud.
Definición 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 teoría de la
prueba.
Lema A.8. Sean Γ Y tψu Ď Lτ , ϕpxq P Lτ1 y c una constante que no figura ni en Γ ni en ϕpxq. Si
Γ $ Dxϕpxq y Γ Y tϕpcqu $ ψ entonces Γ $ ψ
Lema A.9 (Generalización sobre constantes). Sean Γ Ď Lτ , ϕpxq P Lτ1 y c una constante que no
figura ni en Γ ni en ϕpxq. Si Γ $ ϕpcq, entonces Γ $ @xϕpxq
Teorema A.10 (Compacidad sintáctica o de finitud). Sean Γ Ď Lτ0 y ϕ P Lτ0 . Γ $ ϕ syss hay
Γ0 P rΓsăω tal que Γ0 $ ϕ
Teorema A.11. Sea Σ Ď Lτ0 . Σ es sintácticamente consistente, entonces hay A P Vτ tal que A |ù Σ.
Prueba. rñs Si el lenguaje es numerable no se necesita emplear el axioma de elección ya que con
la técnica de “Gödelización” se puede dar la regla explicita para enumerar las fórmulas del lenguaje.
Si el lenguaje no es numerable usando el axioma de elección se puede encontrar el cardinal de
fórmulas del lenguaje. Supóngase que κ es el cardinal y sea
C “ tc0ζ : ζ ă κu
Φp0q “ Σ0 “ Σ
100 APÉNDICE A. EL CÁLCULO DE PREDICADOS
$
’
’ Σα Y tϕα u Si Σα Y tϕα u es consistente
’
’
’
’
Σα Y t ϕα u Si Σα Y tϕα u es inconsistente
’
’
&
Φpα` q “ y ϕα no es de la f orma @xβpxq p. a. β
’
’
’
’
Σ Y t ϕα , βpc0ζ qu Si Σα Y tϕα u es inconsistente
’
’
% α
’
’
y ϕα es de la f orma @xβpxq p. a. β
ď
ΦpγqγPLIM “ Σξ
ξăγ
Donde c0ζ es la primer constante de C que no figura en las formulas de los conjuntos indicados en los
pasos recursivos.
Sea ď
∆“ Σξ
ξăκ
1. Σ Ă ∆
La primera y segunda afirmación son triviales ya que así se ha construido ∆. Por abundar más en
el segundo punto, como todas las fórmulas están en correspondencía 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 construcción preserva la τ 1 -
consistencia, los cual se verificará por inducción sobre κ.
Sea γ ă κ, si γ “ 0 se cumple por hipótesis, Σ se supone consistente.
Supóngase que hay α P OR tal que γ “ α` y supóngase que Σα es consistente y se verá que Σγ
también lo es. Por la construcción de la función Φ se tienen dos casos fáciles debido a los lemas se
mencionaron anteriormente: Supóngase 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 deducción se tiene que
Σ Y t ϕγ u $ βpc0ξ q Ñ ψ
A.2. CARACTERIZACIÓN SEMÁNTICA DE LA CONSISTENCIA 101
y
Σ Y t ϕγ u $ βpc0ξ q Ñ ψ
con lo que usando el axioma 3 del cálculo de predicados,
Σ Y t ϕγ u $ βpc0ξ q
por la elección de la constante y por el lema de generalización sobre constantes, se tiene que
Σ Y t ϕγ u
es sintácticamente inconsistente, lo cual contradice el que se haya construido al nuevo conjunto con
la tercera opción.
Si γ P LIM , supóngase que Σγ es sintácticamente inconsistente, entonces hay una fórmula ψ
tal que Σγ $ ψ y Σγ $ ψ por el teorema de finitud se tiene que hay γ0 , γ1 ă γ tal que Σγ0 $ ψ
y Σγ1 $ ψ. Por construcción Σγ0 Ď Σγ1 o Σγ1 Ď Σγ0 , sin perdida de generalidad supóngase el
primer caso, por lo tanto Σγ1 $ ψ & ψ, llegando así a que hay ξ ă γ tal que Σξ es sintácticante
inconsistente. Por lo que se concluye que cada estrato es consistente. Más 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, supóngase que hay Γ Ď Lτ 1 tal que ∆ Ă Γ, por lo
tanto hay ψ P Γz∆. Como se tiene una lista de todas las fórmulas, hay ξ ă κ tal que ψ “ ϕξ , así
ϕξ P ∆ Ď Γ por lo tanto ϕξ , ϕξ P Γ así Γ es sintácticamente inconsistente, lo cual conlleva a una
contradicción. Por lo anterior ∆ es Ď-maximal en ℘pLτ01 q.
Para verificar que ∆ es τ 1 -universal, supóngase que
@xςpxq P ∆
y que hay c P C tal que ςpcq R ∆, como ∆ es P-completo en Lτ 1 se tiene que ςpcq P ∆ por lo cual
∆ es incosistente, ya que ` ˘ ` ˘
∆ $ Dy ςpyq & @xςpxq
Este delta sera el “procurador de la verdad”, pues se usara para definir la verdad en una estructura,
que se presenta a continuación:
Se define una relación de equivalencia en T RMτ01 de la siguiente manera. Dados t0 , t1 P T RMτ01
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 tómese como universo
A “ T RMτ01 { „
—los términos cerrados del lenguaje con tipo de semejanza τ 1 modulo la relación de equivalencia
„)—, claramente A ‰ H.
Enseguida se define la interpretación A de cada símbolo de τ 1 .
102 APÉNDICE A. EL CÁLCULO DE PREDICADOS
Para cada símbolo 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 símbolo 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 símbolo c de constante cA “ rcs„ .
Queda como ejercicio al lector probar que las funciones están bien definidas, es decir que si
t1 , . . . , tn , t11 , . . . , t1n P T RMτ01 son tales que ti „ t1i para cada 1 ď i ď n entonces f A pt1 , . . . , tn q „
f A pt11 , . . . , t1n q. También se deja al lector probar lo respectivo para el caso de las relaciones.
Por otra parte, dado t P T RMτ01 , de la definición de la interpretación se tiene que tA “ rts„ . La
prueba de este hecho se realiza por inducción sobre la construcción de términos, la cual también se
suma a los deberes del lector.
Se afirma que para cada α P Lτ01 se cumple que
A |ù α ô α P ∆
Prueba. rñs Supóngase que Σ & α, así se tiene que Σ Y t αu es consistente, por el teorema
anterior, tiene un modelo tómese A P Vτ que cumple con lo que se desea, así A |ù Σ y A |ù α de lo
cual se obtiene que Σ * α.
rðs Se verifica sobre la longitud de la deducción, es decir, se toma A P M odpΣq y si ϕ1 , . . . , ϕn
es la deducción 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.
:
Teorema A.13. Sean Σ Ă Lτ0 y ϕ P Lτ0 . Así las siguientes afirmaciones son equivalentes:
pero Σ0 no tiene modelos, ya que de lo contrario @xpx « xq ^ @xpx « xq tendria modelo, lo cual
seria una contradicción.
:
Ahora se puede proceder a dar la prueba del teorema de compacidad. A pesar de que la forma
más usada en la teoría de modelos es la enunciada en b, se probará a.
Teorema A.14. Sea Σ Y tϕu Ď Lτ0 . Σ ( ϕ syss hay Σ0 Ď Σ finito, tal que Σ0 ( ϕ
1Σ es insatisfacible syss hay Σ0 Ď Σ finito, tal que Σ0 es insatisfacible.
104 APÉNDICE A. EL CÁLCULO DE PREDICADOS
Prueba. Σ ( ϕ
syss por el teorema de completud-correctud extendido, Σ $ ϕ
syss por el teorema de compacidad sintáctica 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 fórmulas
con variables libres. Se dará una prueba de esto más adelante. Para lo cual se debe encontrar
una asignación 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 asignación, ya que dada la estructura,
modelo de los enunciados que resulten de sustituir las variables libres por dichas constantes se tendrá
n : n P Ny y se hará s : N ÝÑ A, con la regla de correspondencia spiq “ ci , como asignación.
xcA A
cuadrados indican que las variables pueden o no aparecer en la fórmula, pero por la definición 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 N
B tal que B |ù Σ0 rss
entonces hay A P Vτ y s1 P N A tal que A |ù Σrs1 s.
Prueba. Sea Γ el conjunto que se describe en el lema anterior, al ser Σ finitamente satisfacible, Γ
lo es, por el metateorema de compacidad Γ tiene modelo, tómese 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
asignación tal que s1 piq “ cC
i.
Se afirma que A |ù Σrs1 s, tómese α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.
:
A.4. EJERCICIOS 105
Ahora se tiene un metateorema de compacidad más fuerte, ya que funciona para conjuntos de
fórmulas 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. Más aun, cuando se mejoró el resultado solo se agrego una cantidad numerable de
constantes, por lo que incluso en esa prueba se mantiene la observación 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 fórmulas.). Sea Γ Ď Lτ0 . Si hay A P M odpΓq X IN F ,
entonces para cada λ P CAR, si | Lτ |ď λ ď| A | entonces hay C P Vτ tal que C |ù Γ y | C |“ λ.
Φ “ t pcξ « cζ q : cξ , cζ P Z y ξ, ζ ă λu
Teorema A.18 (LST para conjuntos de fórmulas.). Sea Σ Ď Lτ0 . Si Σ tiene un modelo infinito, A,
entonces para todo κ P CAR si κ ě| Lτ | ` | A | entonces hay B P Vτ tal que B |ù Σ y B ∼ κ.
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 apéndice.
2. Sea T una τ -teoría en un lenguaje numerable. Pruebe que si T tiene modelos finitos arbitraria-
mente grandes entonces T tiene un modelo infinito.
106 APÉNDICE A. EL CÁLCULO DE PREDICADOS
El objetivo de este apéndice 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, además de que se le pueden encontrar aplicaciones en otras ramas de la matemática.
Como en otras secciones, se plasma una lista de teoremas y definiciones sin prueba alguna, ya
que estas exceden los objetivos principales del texto.
Definición B.1. Sea a P V . Dada una función f de aridad n P Z` , se dice que f es una operación
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.
Por la definición anterior se tiene que U es cerrado bajo F , pero se busca bajo ciertas condiciones
generalizar el principio de inducción, es decir, se sabe que para ω se tiene la siguiente propiedad, la
cual se exhibe en primer orden desde el lenguaje de la teoría de conjuntos:
“ ` ˘‰
@c Ď ω c ‰ H ÝÑ p0 P c & @x P ωpx P c ÝÑ x` P cqq ÝÑ c “ ω
Obsérvese que el nervio de la inducción está en que todo natural es alcanzable desde el cero
empleando un número finito de veces la función sucesor; ahora se da paso a la generalización, para
la cual se necesita un lugar de donde partir y como llegar a los elementos restantes. La siguiente
definición rescata algunas de estas ideas.
1. B Ď C y
107
108 APÉNDICE B. CONJUNTOS B-F -INDUCTIVOS
Se afirma que B ˚ es el conjunto B-F -inductivo más pequeño que contiene a B, lo cual es
inmediato por las propiedades de la intersección.
2. A la Cantor: se define por recursión para ω
B0 “ B
rBsF “ B˚
La construcción tipo Dedekind permite tener inducción 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 básicos, tienen la propiedad y
2. Para cada función f P F , si b1 , . . . , bm tienen la propiedad, entonces f pb1 , . . . , bm q también
tiene la propiedad, siendo m la aridad de f .
La justificación intuitiva de la inducción es por la siguiente razón. Para la cual se considera Ppzq
para decir que z tiene la propiedad, considérese también
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 construcción tipo Cantor brinda otro tipo de herramienta, como lo es la inducción sobre ω
para verificar propiedades de rBsF . Ya en estos terrenos el lector que ha llevado un curso de teoría
de los conjuntos, como se le recomienda en la introducción, debe preguntarse: ¿Si hay inducción
habrá recursión? La respuesta es que no necesariamente, en este apéndice se aborda la discusión, y
como ya se ha dicho, solo se presenta la definición necesaria para enunciar el teorema de recursión
para este tipo de objetos.
1. G “ rBsF
f rGm s X B “ H
3. Cada elemento de G es generado de manera única, lo cual queda expresado en los siguientes
enunciados:
Como el lector esperaría, los B-F -inductivos libremente generados son aquellos que tienen
recursión.
Teorema B.6 (De recursión para B-F -inductivos libremente generados). Sean U, W P V , F una
familia de operaciones sobre U y B Ď U . Supóngase 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
función
H : B ÝÑ W
hay una única
H : rBsF ÝÑ W
que goza de las siguientes propiedades:
1. H æB “ H y
Como hemos mencionado al inicio, los resultados de este apéndice serán un “caballito de batalla”
para este trabajo, de hecho a veces sólo 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 APÉNDICE B. CONJUNTOS B-F -INDUCTIVOS
B.1. Aplicaciones
Ahora se procede a dar algunas aplicaciones de esta técnica y para tener mas precisión, se
justifican algunas inducciones que se hacen en el conjunto de las τ -fórmulas, en las cuales intervienen
los τ -terminos.
Primero obsérvese que al ser T RMτ y F RMτ libremente generados, tienen lugar las siguientes
proposiciones, dejando sus pruebas como ejercicio al lector.
Proposición 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 τ símbolo funcional de aridad n tal que
t “ f pt1 , . . . , tn q
α “ Rpt1 , . . . , tn q
α “ @xϕ
cc : Lτ ÝÑ ω
ccpαq “ 0
a) ccp ϕq “ ccpϕq ` 1
b) ccpϕ Ñ ψq “ maxtccpϕq, ccpψqu ` 1
c) ccp@xϕq “ ccpϕq ` 1
Proposición B.10. Sea P Ď Lτ . Si para cada α P Lτ se tiene que para toda ψ P Lτ si ccpψq ă
ccpαq entonces ψ P P, entonces α P P. Así Lτ Ď P
Prueba. (Por inducción sobre Lτ ) Para el paso base, las τ -fórmulas atómicas, se cumple por
vacuidad.
Para los pasos inductivos habría que tomar dos τ -fórmulas ver, que si estas tienen P entonces la
negación de una, la implicación de ellas y la cuantificación sobre una de ellas, también tienen la
propiedad. Al suponer que alguna de estas no se tiene, por hipótesis de inducción se tendría que hay
una fórmula con complejidad menor que no tiene la propiedad, pero ello llevaría a que alguna de las
dos τ -fórmulas que se han tomado no la tienen, lo cual es una contradicción.
:
Otra técnica que se puede emplear es la basada en la inducción para relaciones bien fundadas,
para lo cual necesitamos una relación que bien funde a Lτ .
Como sigue
un R-minimal.
112 APÉNDICE B. CONJUNTOS B-F -INDUCTIVOS
Prueba. Supóngase que Ł no bien funda a Lτ , por lo tanto hay xϕi : 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 definición de subfórmula estricta, se tiene que si α Ł β, entonces por lo menos hay un símbolo
del lenguaje que aparece en β y no en α. De los dos argumentos anteriores, ϕ0 no tiene un número
finito de símbolos. Lo cual es una contradicción. :
Ahora se tienen condiciones para enunciar formalmente una nueva inducción.
Proposición 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τ
Proposición B.14. La prueba es un caso particular de los teoremas de inducción para relacionales
bien fundadas.
La proposición anterior se puede resumir en las siguientes palabras: Para verificar que todas las
τ -fórmulas tienen una propiedad3 , basta que al suponer que todas las subfórmulas estrictas de una
dada tienen la propiedad, se obtenga que la dada la tiene.
También se podría rescatar el teorema de recursión para relacionales bien fundadas, en cual el
palabras llanas diría que para definir una función en Lτ basta definirla para una fórmula en términos
de sus Ł-predecesores.
Solo por ociosidad defínase las siguiente función:
ρ : Lτ ÝÑ ω
tal que (
ρpϕq “ max ρpβq : β Ł ϕ
A ρ se le llama rango, así al considerar la τ -fórmula ϕ, se tiene que ρpf iiq es el rango de ϕ. Queda
como ejercicio al lector probar que para toda ϕ P Lτ se tiene que
ccpϕq “ ρpϕq
Lo cual justificaría realizar inducciones sobre el rango y con ello se tienen, en total, más de una
forma para verificar propiedades de Lτ .
[BS06] J. L. Bell and A. B. Slomson. Models and Ultraproducts. Dover Publications, 2006.
[Cas99] Enrique Casanovas. Teoría 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 introducción matemática a la lógica. 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 Lógica. Number 5 in Materials Docents. Universi-
tata 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 Nuñez Rosales. Teoría de modelos. la revancha de la semántica.
Reporte de actividad docente, 2015.
115