Teora de conjuntos, lgica y

temas afines I

Universidad Autnoma Metropolitana

Iztapalapa

Universidad Autnoma Metropolitana

Rector General
Dr. Salvador Vega y Len
Secretario General
Dr. Norberto Manjarrez lvarez

Unidad Iztapalapa
Rector
Dr. Javier Velzquez Moctezuma
Secretario
Dr. Miguel ngel Gmez Fonseca

Divisin de Ciencias Sociales y Humanidades

Director
Dr. Jos Octavio Nateras Domnguez
Divisin de Ciencias Bsicas e Ingeniera
Director
Dr. Jos Antonio de los Reyes Heredia

Coordinadora de Extensin Universitaria

Dra. Milagros Huerta Coria

Jefe de la Seccin de Produccin Editorial

Adrin Felipe Valencia Llamas

Teora de conjuntos, lgica y

temas afines I

Max Fernndez de Castro

Luis Miguel Villegas Silva

Primera Edicin, 2013

Los derechos de reproduccin de esta obra pertenecen al autor
Universidad Autnoma Metropolitana
Prolongacin Canal de Miramontes No. 3855,
Col. Ex Hacienda San Juan de Dios.
Delegacin Tlalpan C. P. 14387 Mxico D.F.

Universidad Autnoma Metropolitana Unidad Iztapalapa

Divisin de Ciencias Sociales y Humanidades
Divisin de Ciencias Bsicas e Ingeniera
ISBN 978-607-477-975-2

Se prohbe la reproduccin por cualquier medio, sin el consentimiento de los

titulares de los derechos de la obra
Impreso en Mxico/ Printed in Mexico

Teora de conjuntos, lgica y

temas anes I

Max Fernndez de Castro

Departamento de Filosofa

Luis Miguel Villegas Silva

Departamento de Matemticas y mathematische Logik Abteilung

Universidad Autnoma Metropolitana Iztapalapa,

Mathematisches Institut, Universitt Freiburg

Zur Ehre unseren Eltern

und zulssiger Ergtzung
des Geistes

A Vera y Martha

A Enriqueta, Emilio y
Nicols

~raefato

Prefacio
El proyecto TECOLOTE (Teora de conjuntos, Lgica y Temas Anes) se propone presentar dos
volmenes que cubrirn diversos aspectos de la lgica matemtica (teora de modelos clsica,
lgica modal, lgicas no clsicas, incompletud de la lgica de primer orden), de la teora de
conjuntos (teora de modelos en teora de conjuntos, grandes cardinales y la interaccin de
stas), as como algunas aplicaciones al lgebra, tanto de la lgica como de la teora de conjuntos.
Ambos volmenes son, hasta cierto punto, continuacin de [FerVill11] y [FerVill11b], pero su
losofa es completamente distinta pues el proyecto Tecolote est pensado para estudiantes de
licenciatura avanzados, estudiantes de posgrado e investigadores de estas reas. Los temas
que discutimos requieren una madurez matemtica considerable y una mayor dedicacin a su
estudio.
En este primer volumen consideramos la teora de modelos clsica y sus aplicaciones (privilegiando el lgebra), los teoremas de incompletud de Gdel y sus extensiones mediante lgica
modal, y ser un antecedente importante para el segundo volumen.
El ttulo del libro puede resultar un tanto equvoco ya que aparentemente es poca la presencia
de la teora de conjuntos en este volumen; pero, como ya se mencion, ste es parte de una serie
mltiple. Adems, tal ausencia es engaosa pues es considerable su uso en teora de modelos.
Existen numerosos libros sobre teora de modelos accesibles y que cubren la materia desde
varios puntos de vista, desde el libro clsico de Chang y Keisler [CK93] hasta textos modernos
con diversas tendencias, como lo son [Roth00] y [Mar02], que tratan aspectos de la teora usual
de modelos pero tambin asuntos no del todo estndar. Algunos de ellos tienen predileccin
por las aplicaciones al lgebra u otras disciplinas. Por otro lado, los teoremas de incompletud
de la aritmtica han sido explicados con detalle en algunos textos, entre los cuales destaca el
de Smullyan, que presenta diversas demostraciones del mismo. En cuanto a sus extensiones a
travs de la lgica modal, hay dos libros que desarrollan el tema de manera accesible: son los
de Boolos y Smorynski.
Estos volmenes cumplen -al menos as lo esperamos- diversas expectativas. Quiz la ms
importante sea presentar el material en forma ms accesible para los lectores, sin afectar el nivel
acadmico. Con ellos queremos cubrir una deciencia en la literatura disponible actualmente,
aunque esto no implica que hayamos renunciado a llevar al lector los resultados ms recientes
en algunos temas. Hemos procurado asimismo presentar el material de forma tal que cualquier
lector dispuesto a dedicar el tiempo suciente tanto a la lectura como a la resolucin de ejercicios
pueda salir adelante por s mismo e incorporarse a la investigacin de alto nivel y de frontera.
Otro de los objetivos que nos planteamos es poner en contacto al estudioso con diversas ramas
que no son fciles de encontrar en otros textos; tal es el caso de, por ejemplo, la teora de
xi

Prefacio

Universidad Autnoma Metropolitana

xii

juegos, la teora de Ehrenfeucht-Frasse, la lgica de la demostrabilidad y el forcing en teora

de modelos.
En la exposicin de los resultados de Gdel, hemos hecho nfasis en la lnea que va de los
problemas para los que existen algoritmos de solucin hasta los sistemas axiomticos con enunciados indecidibles pasando por los conjuntos no decidibles pero cuyos elementos pueden ser
algortmicamente enumerados. El objetivo es doble: por una parte, la calculabilidad parece
ser un concepto clave en las matemticas, profundamente vinculado con la naturaleza de cierto
tipo de pruebas y con cuestiones loscas relativas a la naturaleza de la mente. De la misma
forma, el que los sistemas axiomticos que formalizan la aritmtica y cumplen ciertas condiciones mnimas de adecuacin sean fatalmente incompletos arroja una sombra de misterio sobre
la naturaleza de la verdad matemtica y es, sin duda, uno de los resultados lgicos que ha generado mayor cantidad de literatura losca. De l se sigue que las dicultades que haban
encontrado en su desarrollo dos de los grandes programas de fundamentacin de la matemtica, el logicismo de Dedekind, Frege y Russell y el programa formalista de Hilbert, no eran
accidentales. Cualquier intento de revivir las ideas de estos pensadores en torno a la naturaleza
de las matemticas debe adaptarlas a la nueva situacin revelada por los teoremas de Gdel.
Es por ello que estos resultados representan un parteaguas en la losofa de las matemticas, y
su comprensin cabal es obligatoria para cualquier estudiante de esta discilpina y otras anes,
como la losofa de la mente. Por otro lado, es interesante, desde un punto de vista matemtico,
cmo una serie de teoremas importantes (tal vez no tan inmediatamente relacionados entre s)
dependen de ciertos mtodos de demostracin. Tanto la solucin del problema de la parada y
cuestiones relacionadas (la insolubilidad del dcimo problema de Hilbert, por ejemplo), como
los teoremas de Tarski y Gdel, dependen en ltima instancia de la capacidad para producir
enunciados o procesos autorreferenciales. La clave para la produccin de estos enunciados de
manera consistente y seria depende a su vez de dos recursos: la aritmetizacin y el mtodo
diagonal. A travs del orden que hemos dado en el texto, queremos que el lector perciba estas
relaciones. Ms adelante, hemos expuesto una introduccin a la lgica de la demostrabilidad
para que el lector aprecie cmo esta herramienta desentraa el fenmeno de la autorreferencia,
un tema de especial importancia para la lingustica y la losofa del lenguaje.
De una u otra forma prevalece cierta divisin entre los profesionales de la teora de modelos:
aquellos que recurren muy a su pesar a la teora de conjuntos (manteniendo su presencia en
el mnimo indispensable), y los que la incorporan sin reparos, apelando incluso a los mtodos
ms sosticados para desarrollar su investigacin. En los textos ms recientes prevalece el
primer punto de vista, por lo que nosotros hemos tratado de recuperar el espritu innovador de
[CK93] y no slo aprovechar las enormes posibilidades de la teora de conjuntos, sino estudiar
y desarrollar sta mediante la teora de modelos, meta que se logra en el segundo volumen. Sin
embargo, ya en ste el lector podr apreciar numerosas incursiones de la combinatoria innita
en la solucin de diversos problemas de la teora de modelos y el lgebra, an cuando ser hasta
el volumen II que daremos rienda suelta a nuestra fascinacin por la maravillosa teora creada
por G. Cantor.
Otra meta que perseguimos es despertar en el lector el deseo de dedicarse a la investigacin
en estas reas. Con este n, hemos dedicado numerosas pginas a los ejercicios propuestos; el

xiii

Teora de conjuntos y temas anes I

Prefacio

nivel de stos vara enormemente, desde aquellos que requieren una simple vericacin hasta los
que pueden servir como punto de partida de una investigacin suceptible de publicarse en una
revista de alto nivel. No obstante, ninguno de los ejercicios encierra un problema abierto, si
bien el debilitamiento de una hiptesis o la generalizacin de una conclusin puede conducir al
lector a territorios inexplorados. No consideramos pertinente clasicar los ejercicios en cuanto a
su grado de complejidad pues tal distincin, siendo mayormente subjetiva, puede confundir ms
que facilitar la solucin de los problemas en libros de este nivel. Quisiramos remarcar una y otra
vez que es absolutamente indispensable que el lector emprenda la tarea de resolver ejercicios,
pero que la dicultad de algunos de ellos no sea motivo para interrumpir la lectura del texto De
nihilo nihilum; en muchas ocasiones, la imposibilidad de resolver algn ejercicio se desvanece al
considerar nuevos temas o perspectivas, al enfrentar nuevas ideas o desarrollos, o simplemente
al permitir que el cerebro elabore razonamientos ms sosticados conforme se avanza en el
texto. Recomendamos al lector tratar de resolver varios ejercicios al concluir la lectura de
un captulo, persistiendo lo suciente para desarrollar las habilidades necesarias y adquirir
nuevos conocimientos, pero sin empecinarse si algn problema se maniesta especialmente
elusivo Aequam memento rebus in arduis servare mentem. Tambin debe saber el lector que la
mayora de los problemas pueden admitir ms de un mtodo de solucin; con esto queremos
ilustrar el hecho de que el lector puede requerir resultados de otros captulos para resolver
un problema o, mejor an, tal vez necesite consultar alguna obra de la bibliografa. Esto
viene a cuento no slo para advertir al lector de esta situacin sino para darle mayor libertad
a la hora de enfrentar los ejercicios, sin constreirlo al uso de ciertos teoremas, lemas, etc.
Aquellos ejercicios que pudieran considerarse excesivamente demandantes estn acompaados
de sugerencias detalladas para su resolucin; estas indicaciones pueden contener los pasos a
seguir para la solucin o bien una referencia a la literatura donde se encuentre el resultado
buscado o uno anlogo.
Consideramos de enorme importancia que el lector manieste una gran iniciativa al trabajar
con esta obra y adquiera las habilidades recin mencionadas, pues de esta forma ser ms
sencilla su incorporacin a la investigacin Dente lupus, cornu taurus petit. Esto adquiere
mayor relevancia en los captulos VI y VII, sobre los cuales vale la pena abundar un poco ms.
Como es natural, muchas nociones, construcciones, lneas de investigacin, etc., relacionadas
con el material que aqu presentamos no se han incorporado por falta de espacio Copia ciborum,
subtilitas impeditur; para remediar un poco esta situacin ciertas nociones excepcionalmente
importantes, por ejemplo de la teora de modelos, se ilustran en el reino de la teora de mdulos.
Tal es el caso de la teora de la estabilidad y de algunas series de ejercicios que convocan al lector
a trabajar cierto material que puede resultar atractivo, importante y con grandes posibilidades
de generalizacin.
Los dos volmenes de este proyecto presuponen que el lector tiene la formacin necesaria en
lgica matemtica (la que se puede obtener de [FerVill11] y [FerVill11b]) y en teora de conjuntos (por ejemplo la que se obtiene de [Le02]). Los autores organizamos el material aqu
presentado de la manera que consideranos ms adecuada para llevar a buen puerto el estudio
de estas disciplinas; dispusimos de numerosas obras excelentes que nos han permitido elegir
los resultados, la presentacin y los ejercicios, y en ocasiones remediar errores y deciencias,

Prefacio

Universidad Autnoma Metropolitana

xiv

pero que han sido de invaluable ayuda para nosotros; es imposible sobrestimar la contribucin
de diversos trabajos a esta obra. Las bibliografa al nal del libro contiene las referencias que
hemos consultado para formar este volumen.
Sera de enorme ayuda para los autores conocer las opiniones de colegas, lectores, estudiantes,
etc. acerca de este libro, por lo que mucho agradeceramos nos enviaran sus comentarios a la
direccin de correo electrnico:
tecolote2000@gmail.com
Versiones preliminares de este libro se han utilizado en varios cursos y seminarios. Los autores
agradecen los comentarios, sugerencias y correcciones de los estudiantes involucrados Homines,
dum docent discunt, especialmente Giovanni Wences, Kinrha Aguirre, Cecilia Hernndez, Oscar
Rendn y Habershell Acevedo. El segundo autor agradece al departamento de lgica matemtica (mathematische Logik Abteilung) de la Universidad Albert-Ludwigs, Freiburg, Alemania
su hospitalidad durante la ltima etapa de la elaboracin de este libro, en particular a Heike
Mildenberger y Jrg Flum por su apoyo; tambin expresa su gratitud al profesor Andrs Sestier,
del Departamento de Matemticas de la Universidad Autnoma Metropolitana Iztapalapa, por
su ayuda en la comprensin de algunos textos en francs. Por ltimo, pero no por ello menos
importante, queremos destacar el apoyo que recibimos por parte de las autoridades de la Divisin de Ciencias Sociales y Humanidades y del Dr. Rogelio Fernndez-Alonso, del rea de
lgebra del departamento de Matemticas de la UAM Iztapalapa para llevar a buen trmino
la publicacin de este libro.
Es necesario hacer algunas aclaraciones importantes ab initio. Hemos buscado facilitar al mximo la lectura del texto y ello nos ha llevado a suprimir, cuando no hay riesgo de confusin, las
diferencias entre uso y mencin de expresiones. Como podr advertirse, con mucha frecuencia
empleamos un smbolo de manera autnima, es decir, como su propio nombre, y una expresin
como nombre de la concatenacin de los smbolos que la conforman. Asimismo, cuando se
trata del desarrollo de teoremas al interior de un sistema formal y de su aritmetizacin, hemos
empleado difrentes estndares de rigor en la escritura de las frmulas. En el primer caso, nos
hemos permitido a veces ciertas licencias, por ejemplo la eliminacin de ciertos parntesis o
el uso de smbolos ms conocidos, para agilizar la lectura. En cambio, cuando se trata de la
aritmetizacin es necesario que la sintaxis sea plenamente respetada. Adems, algunas veces un
mismo smbolo puede tener signicados distintos en el texto pero estrechamente relacionados
entre s. Tal es el caso, por ejemplo, de la operacin aritmtica que corresponde a la concatenacin de expresiones; aparece tanto en la aritmetizacin de las mquinas de Turing como en la
de la aritmtica. Estrictamente hablando, debimos usar smbolos diferentes porque no usamos
la misma correspondencia entre expresiones y nmeros en los dos casos, pero contamos con que
esto no producir ninguna confusin; a cambio, no introducimos ms notacin engorrosa. Este
libro se elabor en el marco del proyecto CONACyT "Los problemas del conocimiento y la
comprensin en matemticas" (13611289), el Programa de Estancias Sabticas (186412), y el
proyecto Colaboracin Interinstitucional sobre Temas de lgebra de PROMEP (convocatoria
2011) por lo que los autores agradecemos el apoyo recibido de parte de CONACyT y SEP.

xv

Teora de conjuntos y temas anes I

Prefacio

Sugerencia para leer el libro

El lector debe tener en cuenta que, si bien subsiste una secuencia lgica en la aparicin de
los captulos, de ninguna manera es indispensable leerlos completamente para comprender los
subsecuentes. Los captulos estn pensados de forma tal que contienen material para diversos
cursos sobre teora de modelos e incompletud; con esto queremos decir que, por s mismo,
cada captulo contiene temas propios para un curso, por lo que los contenidos de un captulo no
necesariamente guardan una estrecha relacin entre s. Consideramos que un curso adecuado es
aquel que incluye los captulos I y II, seguido de un curso con los captulos III y IV, y nalmente
un curso avanzado conformado por los captulos V, VI y posiblemente el VII, suponiendo que
los alumnos tienen conocimientos profundos sobre teora de anillos, mdulos y campos. Por
curso entendemo un trimestre (11 semanas, 4.5 horas a la semana).
Notacin
a = a1 , . . . , an
=N
N+
R
Q
C
A, B, C, . . .
h:AB
hA

representa una n-ada de elementos

los nmeros naturales
los nmeros naturales excluyendo al cero
los nmeros reales
los nmeros racionales
los nmeros complejos
representan estructuras con universo A, B, C, . . .
la aplicacin h es sobre B
la aplicacin h restringida a A

Dado un lenguaje L, una L-teora T es un conjunto de L-enunciados consistente y cerrado

respecto a consecuencia lgica; es decir, si es un L-enunciado y T |= , entonces T.
Verba volant scripta manent.

Prefacio

Universidad Autnoma Metropolitana

xvi

ndice
I

Recursividad

I.1. Calculabilidad, 2 I.2. Funciones recursivas, 22 I.3. La mquina de Turing

universal y predicados semicalculables, 42 I.4. Predicados semicalculables, 44
I.5. Otra caracterizacin de las funciones recursivas, 49 I.6. Tres problemas
indecidibles, 51 I.7.
Ejercicios, 80
II Los teoremas de incompletud de Gdel

93

II.1. La incompletud de la aritmtica, 94 II.2. Representabilidad en sistemas

aritmticos, 100 II.3. El sistema Q, 104 II.4. El primer teorema de incompletud
de Gdel, 109 II.5. El teorema de Rosser, 123 II.6. El segundo teorema de
Gdel, 124 II.7. Lgica modal y enunciados autorreferenciales, 128 II.8. Mtodos
de decisin. rboles semnticos, 136 II.9. Enunciados iletrados, 146 II.10. Un
teorema del punto jo para GL, 149 II.11. El teorema del punto jo para GL, 154
II.12. La completud aritmtica de GL, 158 II.13.

Ejercicios, 161
III Construcciones elementales en la teora de modelos: Maitines

167

III.1. Relaciones entre estructuras, 168 III.2. Operaciones entre estructuras, 189
III.3. Lmites directos e inversos, 202 III.4. Sistemas inverso-directos, 224
III.5. Funciones de Skolem, 228 III.6. Clases axiomatizables y nito
axiomatizables, 230 III.7. Juegos en lgica, 235 III.8.

Ejercicios, 248
IV Teora de modelos bsica: Laudes

271

IV.1. Herramientas tiles, 272 IV.2. El diagrama de una estructura, 279

IV.3. Teora de Ehrenfeucht-Fraisse, 296 IV.4. Modelo completud, 313
IV.5. Axiomatizacin de clases modelo-completas, 315 IV.6. Eliminacin de
cuanticadores, 320 IV.7. Amalgamacin y clases de estructuras, 326
IV.8.
Ejercicios, 328
V Teora de modelos avanzada: Prima

377

V.1. Saturacin, 377 V.2. El teorema de omisin de tipos, 397 V.3. Modelos
homogneos, 409 V.4. Estructuras existencialmente cerradas y genricas, 415
xvii

xviii

Universidad Autnoma Metropolitana

V.5. forcing en teora de modelos, 422 V.6. Modelo completud y modelos

comparsas, 430 V.7. Anillos conmutativos existencialmente cerrados, 434
V.8. Anillos semiprimos, 438 V.9. Grupos existencialmente cerrados, 448
V.10.
Ejercicios, 458
VI Teora de modelos en mdulos kualkan
VI.1. Preliminares, 480 VI.2. Anillos coherentes, 482 VI.3. Mdulos
Inyectivos, 485 VI.4. Frmulas positivo-primitivas (pp) e invariantes, 489
VI.5. La retcula de pp-frmulas y pp-tipos, 496 VI.6. Realizaciones libres, 511
VI.7. Dualidad en pp-frmulas, 514 VI.8. Pureza, 519 VI.9. pp-eliminacin de
cuanticadores, 521 VI.10. Teoras y sus duales, 540 VI.11. Otras
consecuencias de pp eliminacin de cuanticadores, 547
VI.12.
Ejercicios, 550

479

VII Teora de modelos en mdulos Tiotlak

VII.1. Estabilidad en mdulos, 574 VII.2. R-mdulos sobre anillos coherentes, 583
VII.3. Eliminacin general de cuanticadores en mdulos, 587
VII.4. Atomicidad y saturacin, 598 VII.5. Mdulos puro proyectivos, 604
VII.6. Mdulos Mittag-Leer, 609 VII.7.
Ejercicios, 623

573

VIII Glosario

649

Bibliografa

651

ndices

657

Teora de conjuntos lgica y temas anes I

ndice

xix

648

VII.7

Universidad Autnoma Metropolitana

Ejercicios

VII.7

VIII
Glosario

Finis coronat opus

Intelligenti pauca
Aequam memento rebus in arduis
servare mentem
Copia ciborum, subtilitas impeditur
De nihilo nihilum
De gustibus et coloribus non disputandu
Et lux in tenebris Lucet
Experientia doce
Homines, dum docent discunt
Labor omnia vincit
Pacta sunt servanda
Post nubila, Phoebus
Pro Mundi benecio
Vanitas vanitatum et omnia vanitas
Verba volant scripta manent
De omni re scibili...et quibusdam aliis
Dente lupus, cornu taurus petit
Et cognoscetis veritatem et Veritas liberabit
Indocti discant, et ament meminisse periti
infra
ab initio
ad libitum

El n corona el esfuerzo realizado

Al inteligente, pocas (razones)
Recuerda conservar la mente serena en
los momentos difciles
Las comidas abundantes embotan la inteligencia
De la nada, nada puede salir
Los gustos y los colores no se discuten
Y la luz brilla en las tinieblas
La experiencia ensea
Los hombres aprenden mientras ensean
El trabajo todo lo vence
De lo pactado somos esclavos
Despus de las nubes, sale el sol
Para benecio del mundo
Vanidad de vanidades, todo es vanidad
Las palabras vuelan, lo escrito permanece
Acerca de todo lo que se puede saber...
y de otras cosas ms
El lobo ataca con el diente y el toro con el cuerno
Y conocern la verdad y
la verdad los har libres
Aprndanlo los ignorantes,
y recurdenlo los entendidos
despus
desde el inicio
a voluntad, al gusto

649

Glosario

Universidad Autnoma Metropolitana

Las horas cannicas

Maitines
Laudes
Prima
Tercia
Sexta
Nona
Visperas
Completas

antes de amanecer
al amanecer
a las siete de la maana
a las nueve de la maana
a medioda
a las tres de la tarde
al anochecer
ya entrada la noche

Nahuatl
Amo oui
kualkan
tiotlak
tlayoua

Fcil
de medianoche hasta medioda
de las doce hasta las siete de la noche
de las siete hasta las doce de la noche

650

Bibliografa
[AnFu92]

F. Anderson, K. Fuller, Rings and Categories of Modules, 2nd Ed., Springer-Verlag, 1992.

[Av84]

A. Avron, On modal systems having arithmetical interpretations, J. Symb. Logic 49(1984),

935-942.

[AzuFa89]

G. Azumaya, A. Facchini, Rings of Pure Global Dimension Zero and Mittag-Leer Modules,
J. Pure Appl. Algebra, 62(1989), 109-122.

[Azu92]

G. Azumaya, Locally pure-proyective modules, Contemp. Math. 124(1992), 17-22.

[BeSl69]

J. L. Bell, A. B. Slomson, Models and Ultraproducts: An Introduction, North- Holland,

Amsterdam, 3rd. revised printing, 1969.

[Bar77]

J. Barwise (Ed.), Handbook of Mathematical Logic, North-Holland, 1977.

[BarFef85]

J. Barwise, S. Feferman (Eds.), Model-Theoretic Logics, Springer-Verlag, 1985.

[Ba60]

H. Bass, Finitistic global dimension and homological generalizations of semiprimary rings,

Trans. Amer. Math. Soc. 95(1960), 466-488.

[BaRo83]

A. Baudisch, P. Rothmaler, Vorlesung zur Einfhrung in die Theorie des Shelahschen Forking, 1. Semester, Berlin, Humboldt Universitt zu Berlin, Deutsche Demokratische Republik, 1984.

[BaRo84]

A. Baudisch, P. Rothmaler, Vorlesung zur Einfhrung in die Theorie des Shelahschen Forking, 2. Semester, Berlin, Humboldt Universitt zu Berlin, Deutsche Demokratische Republik, 1984.

[Bau75]

W. Baur, 0 -Categorical Modules, J. Symb. Logic 40(1975), 213-220.

[Bj69]

J. E. Bjrk, Rings satisfying a minimum condicition for principal ideals, J. Reine Angew.
Math. 236(1969), 112-119.

[Bl11]

P. Bland, Rings and Their Modules, W. De Gruytier, Berlin, 2011.

[Boo79]

G. Boolos, The Unprovability of Consistency, An Essay in Modal Logic, Cambridge Univ.

Press, 1979.

[Boo82]

G. Boolos, Extremely undecidable sentences, J. Symb. Logic 47(1982), 191-196.

[Boo93]

G. Boolos, The Logic of Provability, Cambridge Univ. Press, 1993.

[BooJe80]

G. Boolos, R. Jerey, Computability and Logic, Cambridge Univ. Press, 2nd. Ed., 1980.

[Bou61]

N. Bourbaki, Algbre commutative, Chap.1 y Chap. 2, Herman, Pars, 1961.

651

Bibliografa

Universidad Autnoma Metropolitana

652

[Ca37]

R. Carnap, Logische Syntax der Sprache, Springer-Verlag, Wien, 1937. Trad. Inglesa The
Logical Syntaxis of Language, Routledge, London, 1937.

[CK93]

C. Chang, H. J. Keisler, Model Theory, Third Ed., North-Holland, 1993.

[Che76]

G. Cherlin, Model Theoretic Algebra, Lecture Notes Math. 521, Springer-Verlag, Berlin,
1976.

[CheRo78]

G. Cherlin, J. Rosenstein, On 0 -Categorical Abelian by Finite Groups, J. Algebra 53(1978),

188-226.

[Chu36]

A. Church, A note on the Entschidungsproblem, J. Symb. Logic 1, 40-41.

[Cori-Lascar]

R. Cori, D. Lascar Mathematical Logic. A Course with Excercises, I, II, Oxford University
Press, 2000.

[Dauns08]

J. Dauns, Modules and Rings, Cambridge University Press, 2008.

[Da58]

M. Davis, Computability and Unsolvability, Dover, New York, 1958.

[Da65]

M. Davis (Ed.), The Undecidable, Basic papers on Undecidable Propositions, Unsovable

Problems, and Computable Functions, Raven Press, 1965.

[Da73]

M. Davis, Hilberts tenth problem is unsolvable, Am. Math. Monthly 80, 233-269.

[DaPuRo61]

M. Davis, H. Putnam, J. Robinson, The decision problem for exponential diophantine equations, Ann. Math. 74(1961), 425-435.

[DugGob79]

M. Dugas, R. Gbel, Algebraische kompakte Faktorgruppen, J. reine Angew. Math. 307/308

(1979), 341-352.

[DuFo04]

D. S. Dummit, R. M. Foote, Abstract Algebra, 3rd Ed., Wiley and Sons, 2004.

[EFT84]

H. Ebbinghaus, J. Flum, W. Thomas, Mathematical Logic, Springer-Verlag, Berlin, 1984.

[EFT07]

H. Ebbinghaus, J. Flum, W. Thomas, Einfhrung in die mathematische Logik, Spektrum

Akademischer Verlag, 5. Aulage, 2007

[EkSa71]

P. Eklof, G. Sabbagh, Model-completions and modules, Ann. Math. Logic 3(1971), 251-295.

[EkSa71b]

P.Eklof, G. Sabbagh, Denability problems for modules and rings, J. Symb. Logic 36(1971),
623649.

[EkMek02]

P. Eklof, A. Mekler, Almost Free Modules, Revised Ed., North-Holland, N. Y. 2002.

[Enoch76]

E. Enoch, A note on absolutely pure modules, Canad. Math. Bull. 19(1976), 361-362.

[Fa73-76]

C. Faith, Algebra I, II, Springer-Verlag, Berln, 1973, 1976.

[Facch91]

A. Facchini, Mittag-Leer Modules, Reduced Products, and Direct Products, Rediconditi

Sem. Matematico della Universit di Padova, 85(1991), 119-132.

[Facch98]

A. Facchini, Module Theory: Endomorphism Rings and Direct Sum Decompositions in Some
Classes of Modules, Birkhuser, Basel, 1998.

[FaUt64]

C. Faith, Y. Utumi, Quasi-injective modules and their endomorphism rings, Arch. Math. 15
(1964), 166-174.

653

Teora de conjuntos y temas anes I

Bibliografa

[FerVill11]

M. Fernndez De Castro Tapia, L. M. Villegas Silva, Lgica Matemtica I Lgica Proposicional, Intuicionista y Modal, UAMI, 2011

[FerVill11b]

M. Fernndez De Castro Tapia, L. M. Villegas Silva, Lgica Matemtica II Lgica clsica,

Intuicionista y Modal, UAMI, 2011.

[FerVill13]

M. Fernndez De Castro Tapia, L. M. Villegas Silva, Teora deconjuntos, lgica y temas

anes I, UAMI, 2013.

[Fl00]

J. Flum, Mathematische Logik, Skript, sin publicar.

[FlGR06]

J. Flum, M. Grohe, Parametrized Complexity Theory, Springer-Verlag, 2006.

[Fran81]

B. Franzen, Algebraic compactness of lter quotients, Proc. Abelian Group Theory, Lect.
Notes Math. 874, Springer-Verlag, 1981, 228-241.

[Fuchs73]

L. Fuchs, Innite Abelian Groups, Vol. I, II, Academic Press, New York, 1970, 1973.

[FuGo00]

L. Fuchs, R. Gbel, On inverse-directs systems ofmodules, J. Pure App. Algebra 214(2000),

322-331.

[FuGoSa10]

L. Fuchs, R. Gbel, L. Salce, On inverse-direct systems of modules, J. Pure App. Algebra,

214(2010), 322-331.

[FuSa01]

L. Fuchs, L. Salce, Modules over Non-Noetherian Domains, American Math. Soc., 2001.

[Ga79]

S. Garavaglia, Direct product decomposition of theories of modules, J. Symb. Logic 44(1979),

77-88.

[Ga80]

S. Garavaglia, Decomposition of totally trascendental modules, J. symb. Logic 45(1980),

155-164.

[Gl89]

S. Glaz, Commutative Coherent Rings, Lect. Notes Math. 1371, Springer-Verlag, 1989.

[Go31]

K. Gdel, ber formal unentscheidbare Stze der Principia Mathematica un verwandter

Systeme I, Monat. Math. Phys. 38(1931), 173-198.

[Gra78]

G. Grtzer, General Lattice Theory, Academic Press, 1978

[Gr07]

P. A. Grillet, Abstract Algebra, 2nd Ed., Springer-Verlag, Berlin.

[GrJe73]

L. Gruson, C. U. Jensen, Modules Algbriquement compacts et foncteurs drives lim(i) , C.

R. Acad. Sci. Paris A276(1973), 1651-1653.

[GrJe76]

L. Gruson, C. U. Jensen, Deux applications de la notion de L-dimension, C. R. Acad Sci.

Paris Ser. A282(1979), 23-24.

[HaGK05]

M. Hazewinkel, N. Gubareni, V. Kirichenko, Algebras, Rings and Modules, Vol. I, Kluwer

Acad. Pub., 2005.

[Hen52]

L. Henkin, Aproblem concerning provability, J. Symb. Logic 17(1952), pg. 60.

[HeHuTr09]

D. Herbera, L. Hgel, J. Trlifaj, Baer and Mittag-Leer Modules over Tame Hereditary
Modules, Math. Zeitschrift 265(2009), 1-19.

[Her10]

C. Hrnandez Domnguez, Modelando a Mittag-Leer, Tesis de Maestra, Universidad

Autnoma Metropolitana Iztapalapa, 2010.

Bibliografa

Universidad Autnoma Metropolitana

654

[HerRoth92]

I. Herzog, P. Rothmaler, Modules with Regular Generic Types. Part IV, Journal of Symb.
Logic 57(1992), 193-199.

[Hin05]

P. Hinman, Fundamentals of Mathematical Logic, A. K. Peters, 2005.

[Hod97]

W. Hodges, Model Theory, Cambridge Univ. Press, 1993.

[Ig91]

K. Ignatiev, On strong provability predicates and the associated modal logics, J. Symb. Logic
58(1991), 249-290.

[Jens72]

C. U. Jensen, Les Functeurs Drives de lim et leurs Applications en Thorie Des Modules,

LNM 254, Springe-Verlag, 1972.

[JenVa79]

C. U. Jensen, P. Vamos, On the Axiomatizability of Certain Classes of Modules, Math.

Zeitschrift 167(1979), 227-237.

[JenLen89]

C. U. Jensen, H. Lenzig, Model Theoretic Algebra, Gordon and Breach, 1989.

[Jech06]

T. Jech, Set Theory, 3rd. Ed., Springer-Verlag, 2006.

[Kap58]

I. Kaplansky, Projective Modules, Annals of Mathematics 68(1958), 372-377.

[Kap70]

I. Kaplansky, Commutative Rings, Allyn and Bacon, 1970.

[Ka91]

R. Kaye, Models of Peano Arithmetic, Clarendon Press, Oxford, 1991.

[Ku85]

E. Kunz, Introduction to Commutative Algebras and Algebraic Geometry, Birkhuser, 1985.

[LaPo79]

D. Lascar, B. Poizat, An Introduction to Forking, J. Symb. Logic 44(1979), 330-350.

[La99]

Y. Lam, Lectures on Modules and Rings, Springer-Verlag, Berlin, 1999.

[La07]

Y. Lam, Exercises in Modules and Rings, Springer-Verlag, Berln, 2007.

[Lambek66]

J. Lambek, Lectures on Rings and Modules, Waltham, 1966

[Lang93]

S. Lang, Algebra, 3rd Ed., Addison-Wesley, 1993.

[Le02]

A. Levy, Basic Set Theory, Dover,2002.

[Lob55]

M. Lb, Solution of a problem of Leon Henkin, J. Symb. Logic 20(1955), 115-118.

[Mar02]

D. Marker, An Introduction to Model Theory, Springer-Verlag, 2002.

[Mat58]

E. Matlis, Injective modules over noetherian rings, Pacic J. Math. 8(1958), 511-528.

[Mcco87]

J. C. McConnell, J. C. Robinson, Noncommutative Noetherian Rings, Wiley, 1987.

[MeNiVi09]

P. Mendoza, J. Nido, L. Villegas, Weakly Compact Cardinals and -Torsionless Modules,

Rev. Colombiana de Matematicas, 2009.

[MyRy68]

J. Mycielski, C. Ryll-Nardzewski, Equationally compact algebras II, Fund. Mathematicae

61(1968),271-281.

[Neu73]

B. H. Neumann, The isomorphism problem for algebraic closed groups, In Boone et. al.,
Word Problem, Studies in Logic, North-Holland, Amsterdam 1973.

[Ok77]

F. Okoh, Systems that are purely simple and pure injective, Can. J. Math. 29(1977), 696-700.

655

Teora de conjuntos y temas anes I

Bibliografa

[Pill83]

A. Pillay, An introduction to Stability Theory, OxfordUniv. Press, Oxford,1983.

[Po85]

B. Poizat, Cours de Thrie des Models, Nur al-Mantiq wal-Marifah, Villerurbanne 1985.

[Pot81]

K. Potthof, Einfhrung in die Modelltheorie und ihre Anwendungen, Wissenschaftliche

Buchgesellschaft, Darmstadt, 1981.

[Prest78]

M. Prest, Some model-theoretic aspects of torsion theories, J. Pure Appl. Algebra, 12(1978),
295-310.

[Prest79]

M. Prest, Model-Completions of some theories of modules, J. London Math. Soc. 20(1979),

369-372.

[Prest88]

M. Prest, Model Theory and Modules, London Mathematical Society, Lecture Notes Series
130, Cambridge University Press, 1988.

[Prest09]

M. Prest, Purity, Spectra and Localization, Encyclopedia of Mathematics, Cambridge University Press, 2009.

[Pre92]

A. Prestel, Einfhrung in die mathematische Logik und Modelltheorie, Vieweg, 1992.

[PuRo05]

G. Puninski, P. Rothmaler, Pure-proyective Modules, J. London Math. Soc. 71(2)(2005),

304-320.

[Rau06]

W. Rautenberg, A Concise Introduction to Mathematical Logic, Springer-Verlag, 2006.

[RayGr71]

M. Raynaud, L. Gruson, Critres de platitude et de projectivit, Seconde partie, Invent.

Math. 13(1971), 52-89.

[Rob57]

A. Robinson, Some problems of denability in the lower predicate calculus, Fund. Math.
44(1957), 309-329.

[Rob71]

A. Robinson, Innite forcing in model theory, Proceed. Second Scandinavian Logic Symp.,
Oslo, 1970, North-Holland, 1971.

[Rob71b]

A. Robinson. Forcing in model theory, Proceed. Int. Conf. on Math., Nice 1970 (1971).

[Robi96]

D. Robinson, A Course in the Theory of Groups, Springer-Verlag, 1996.

[Ros78]

S. K. Rososhek, Purely correct modules, Russian Math. Surveys 33(3)(1978)

[Ross36]

J. B. Rosser, Extension of some theorems of Gdel and Church, J. Symb. Logic 1(1936),
87-91.

[Roth81]

P. Rothmaler, Zur Modelltheorie der Moduln (Unter besonderer Bercksichtigung der

achen Moduln), Dissertation A, Humbold Universitt zu Berlin, Deutsche Demokratische

Republik, 1981.

[Roth83]

P. Rothmaler, Some Model Theory of Modules I: On Total Transcendence of Modules, Journal of Symb. Logic 48(1983), 570-574.

[Roth83b]

P. Rothmaler, Some Model Theory of Modules II: On Stability and Categoricity of Flat
Modules, Journal of Symb. Logic 48(1983), 970-985.

[Roth84]

P. Rothmaler, Some Model Theory of Modules III: On inniteness of Sets Denable in

Modules, Journal of Symb. Logic 49(1984), 32-46.

Bibliografa

Universidad Autnoma Metropolitana

656

[Roth94]

P. Rothmaler, Mittag-Leer modules and positive atomicity, Habilitationschrift, Kiel Universitt, 1994.

[Roth97]

P. Rothmaler, Mittag-Leer modules, Ann. Pure App. Logic 88(1997), 227-239.

[Roth00]

P. Rothmaler, Introduction to Model theory, Gordon and Breach, 2000.

[Row91]

L. H. Rowen, Ring Theory, Academic Press, 1991.

[Sa70]

G. Sabbagh, Aspects logiques de la puret dans les modules, C. R. Acad. Sci. Paris Ser.
A271(1970), 909-912.

[Sa71]

G. Sabbagh, Sous modules purs, existentiellements clos et lmentaires, C. R. Acad. Sci.

Paris Ser. A272(1971), 1289-1292.

[SaEk71]

G. Sabbagh, P. Eklof, Denability Problems for Modules and Rings, J. Symb. Logic 36(1971),
623-649.

[SaVa82]

G. Sambin, S. Valentini, The modal logic of provability. The sequential approach, J. Symb.
Logic 11(1982), 311-342.

[Schu79]

H. W. Schlting, ber die Erzeugendzahl invertierbarer Ideale in Prferringen, Comm. Algebra 7(1979), 1331-1349.

[She75]

S. Shelah, The lazy model-theoreticians guide to stability, Logique et Analyse 71-72(1975),

241-308.

[Smo85]

C. Smorynski, Self-reference and Modal Logic, Springer-Verlag, 1985.

[Smu68]

R. Smullyan, First Order Logic, 4th. Ed., Springer-Verlag, 1968.

[Smu92]

R. Smullyan, Gdel Incompletness Theorems, Oxford University Press, 1992.

[Smu87]

R. Smullyan, Forever Undecided: A Puzzle Guide to Gdel, Knopf, New-York, 1987.

[So76]

R. Solovay, Provability interpretation of modal logic, Israel J. Math. 25(1976), 287-304.

[Ste75]

B. Stenstrm, Rings of quotients, Springer-Verlag, Berlin, 1975.

[Ta56]

A. Tarski, Logic, Semantics, Metemathematics, Oxford Univ. Press, 1956.

[Tyu82]

L. V. Tyukavin, Model completness of certain theories of modules, Algebra i Logika

21(1982), 73-83; traslated in ALgebra and Logic 21(1982).

[Va83]

S. Valentini, The modal logic of provability, J. Philos. Logic 12(1983), 471-476.

[Va11]

J. Vnnen, Models and Games, Cambridge Univ. Press, 2011

[Vi00]

L. M. Villegas Silva, et. al., Conjuntos y Modelos: un curso avanzado, Universidad

Autnoma Metropolitana, 2000.

[Weis96]

V. Weispfenning, Algebraische Modelltheorie, Skriptum einer Vorlesung, Universitt Passau,

1995-96.

[Zi84]

M. Ziegler, Model theory of Modules, Ann. Pure App. Logic 26(1984), 149-213.

[Zimmer77]

W. Zimmermann, Rein injektive direkte Summen von Moduln, Comm. Algebra

5(1977),1083-1117.

657

Teora de conjuntos y temas anes I

Bibliografa

[Zimmer02]

W. Zimmermann, On locally pure-injective modules, J. Pure Appl. Algebra 166(2002), 337357.

[Zimmer76]

B. Zimmermann-Huisgen, Pure submodules of direct products of free modules, Math. Ann.

224(1976), 233-245.

[Zi-Hu79]

B. Zimmermann-Huisgen, Rings whose modules are direct sums of indecomposble modules,

Proceed. Am. Math. Soc. 77(1979), 191-197.

ndice de smbolos
(Ij : j m) : A m B, 307
=
(In : n ) : A f B, 299
=
(R T ), 24
(R T ), 24
(R T ), 24
(A, B) (C, B), 322
, 7
A = iI Ai , 193
AG, 368
AGtf , 368
AX(y), 117
AXI(x), 117
AXL(x), 117
AXP16 , 117
A+ , 544
A , 541
Alf (y, z), 40
At(L), 274
Ax1 (x), 116
Ax2 (x), 116
Ax3 (x), 116
Ax4 (x), 116
Ax5 (x), 116
Ax6 (x), 116
B(R), 587
BewD(x, y), 117
BewN D(x0 , x1 ), 123
C(X, K), 440
C0x , 53
CF R(x), 113
CI(S, T ), 59
CLAA (X), 250
C , 424
C , 424
K
Cn , 467
Calc(, y, z), 41
Conf (z), 38
Conf f in(x, z), 40
Conf in(x, z), 40
D(A, B), 283
D(u, v), 72
D(x), 26
D (A, B), 284
Dim( k, , ), 547

Div(x, y), 26
E(M ), 488
E(x), 112
EFn , 243
EI(x), 36
End(H), 225
Enun(L), 274
F BF (x), 114
F M AT (x), 113
F , 541
F ml(L), 274
F ml1 (L), 252
GL, 130
GLS , 145
GM (p), 551
Gen(x, k), 114
Geni(x, k), 114
HBi, 125
Hp(X), 229
I( , K), 574
I( , ), 574
I(x, y), 25
I (A, B), 389
Imp(x, y), 114
Inv(M, , ), 531
J , 43
J(M ), 539
J(x, y), 43
K , 43, 128
K(z), 43
K4, 128
L, 43
L(z), 43
LI(z, v, t), 115
LIB(X, y), 115
LM , 128
M P (x, y, z), 117
M T (z), 38
M U LT (x, y), 113
M , 133
M , 225
M + , 541
M , 225
M1 M2 , 481

658

659

MS4 , 132
M ax(x, y), 26
M in(x, y), 26
M od(), 275
M ov(x), 36
N P (n), 28
N U M (x), 113
NX , 53
N um(n), 97
OP (n), 28, 29
Op(j), 96
P B(x), 117
P Pn , 497
P R(y, x), 117
Pz , 48
P art(A, B), 296
P asei , 39
P d(x), 23
P os(L), 281
P ot10 , 35
P ot10 (y), 40
P r(n), 27
Q, 104
Quint(x), 37
Quint6, 37
Quinti , 37
R(x), 112

R , 52
i
RH , 144
Res(y, x), 26
n
STM , 54
STM , 55
SU BST1 (x), 114
SU BST2 (x), 114
SU BST3 (x), 115
SU CC(x), 113
SU M (x, y), 113
T
S1 (A), 576
ST , 59
S (K), 286
M
Sn (A), 388
Sim(x), 36
Spec(R), 441
Su(e, n), 99
Suc conf (x), 41
Sucquint, 37
T A, 127
T ERM (x), 113
T (n) (x(n) , y, z), 41
Ti (u), 65
TeX , 53
T eo(M ), 561
T eo(M od-R) , 540
T eo(A, B), 284

Teora de conjuntos y temas anes I

T eo(K), 275
T eo(N), 176
T hM , 57
T r(), 146
V AR(x), 113
V ARE(x), 113
W c , 48
n
Wz , 48
Wz , 48
[A], 58
[[(n1 , . . . , nm )]], 40
[; n], 111
[a]F , 197
[n], 10, 40
A B, 169
A rd B, 369
A B, 169
=
A f B, 299
=
A m B, 307
=
A p B, 299
=
A B, 333
=p
A B, 174
A , 422
A K , 422
A B, 187
A B, 182
A B, 182
A C, 281
A B, 290
A C, 279
A B, 189
A , 425
A , 425
K
A(K), 434
Ba(L), 274
, 4
, 4
D, 514
(), 612
E(K), 418
En (K), 418
G , 448
Gm (A, B), 301
G(K), 417
Gf (K), 425
G (K), 417
Gn (K), 417
G(p), 551
Hn , 417
I, 434
J, 328
J(MR ), 485
KR, 434
K , 423

ndices

ndices

K , 323
Ka, 320, 434
Kac, 432
K , 254
, 7
L(B), 272
MR , 480
M+ , 587
R
, 426
1 (L), 274
n
i , 12
k , 22
i
m (L), 274
T , 609
K , 609
S(K), 460
S KR , 444
T(A), 472
T , 540
TZ , 368
TR , 480
TRf , 633
(n), 22
(n) = 0, 22
Z(p) , 506
n, 94

M , 14
.
=, 535
0 , 387
1 , 387
u , 516

y<m , 27
K , 422
y<m , 27
(B), 590
(B), 590
, 7
1 (L), 274
+ (L), 280
1
m (L), 274
f , 174
x/a , 180
(M, b), 493
+ , 497
M, 575
E, 99
lim Mi , 204

lim M, 204

T , 546
lim Mi , 217

A , 8
LAR , 94
u , 516

|, 4

Universidad Autnoma Metropolitana

y<z , 28
R, 24
p , 577
, 94
, 58
i

, 94
Bew , 111
n, 10
sg(x), 23

, 24
, 497
, 503
K , 546
I(x, y), 37
Y A , 169
, 302
CP , 11
CR , 12
M1 M2 , 14
M , 17
MC , 15
MF , 17
Mi , 16
c1 M c2 , 9

c1 M c2 , 9
c 1 M c 2 , 9
q0 , 5
qf , 5
sg(n), 13
A , 8

f , 29
X Y , 52
, 474
R Zg , 569
ci (S, T ), 59
con(n, m), 97
dcl(A), 463
e(x, i), 28, 29
exp(y), 96
f (), 472
f : A B, 175
=
f : A rd B, 369
G B, 168
f :A
fM , 10
fDT , 541
fT , 540
g , 96
g(x), 96
ln(n), 28
long(z), 35
neg(x), 114
ng(x), 35
pf pf , 52
p+ , 577

660

661

p , 577
ppn (M ), 501
ppn (R-M od), 501
quinti (y, x), 37
s(n), 94
sg(x), 23
sop(a), 196
sub(y, t, v), 117
sup, 53
tp+ (), 502
M a
tp+ (/B), 502
M a
uni(z, x), 42
xEy , 36
x < y , 100
xF y , 36
xP y , 36
x y , 35
x q y , 38

T eo(R-M od) , 540

Qf, 274

Bew, 111, 117

BS, 149
cm, 634
cmd, 634
G, 118
G1, 417
G2n, 417
G3n, 421
U(x), 41

Teora de conjuntos y temas anes I

ndices

ndice alfabtico
1 , 121

teora de mdulos, 480

base, 251
bifurcacin, 472, 642

A-base, 251
A-dimensin, 252
admite negacin, 288
aec, 324
alfabeto, 7
semithue, 52
alfabeto (de cinta), 4
lgebra de Weyl, 495
anillo
artiniano, 595
coherente, 482
coherente derecho, 628
coherente izquierdo, 551
con divisin, 592
indiscreto, 569
inf, 595
local, 495
mnimo, 593
no singular, 595
reducido, 439
regular, 587, 629
semiprimo, 439
semisimple, 593
Von Neuman regular, 439
anti-isomorsmo de retculas, 496
aplicacin
elemental, 279
polinomial, 392
rbol, 282
A/F -asignacin, 198
asignacin inducida, 174
automorsmo, 169
axioma
de eleccin, 184
del supremo, 186
axiomas
de PA, 115
orden
acotado, 309
discreto, 309
teora
de grupos, 181

cabeza lectora, 4
cadena
de estructuras, 193, 315
elemental, 193, 315
clculo de una cinguracin, 9
cpsula inyectiva, 488
carcter, 544
casi variedad, 323
centralizador, 456
cerradura
algebraica, 250
de Skolem, 229
divisible, 364
respecto a un conjunto de conectivos, 279
cclo, 281
propio, 281
clase
axiomatizable, 230
relativa, 312
cerrada
respecto a expansiones, 291
respecto a lmites directos, 214
respecto a subestructuras, 323
conal, 416
completa, 319
-elemental, 254
elemental, 254, 275
elementalmente cerrada, 460
nito axiomatizable, 232
inductiva, 316
modelo completa, 313
simple, 460
n -cerrada, 418
coheredero, 477
composicin libre, 448
concatenacin de expresiones, 7
condicin
de anulacin, 492
de cadena decreciente, 582
de divisibilidad, 492

662

663

decide , 425
mnima, 634
mnima dbil, 634
conguracin, 8
adecuada, 9
conjunto
abierto-cerrado, 439
de enunciados
independiente, 255
de frmulas
simtrico, 423
total, 423
denso, 202
diofantino, 62
, 386
genrico, 426
GL-consistente, 132
GL-satisfacible, 136
hereditario, 292
Hintikka, 143
=-cerrado, 234
independiente, 251
-codirigido, 202
-dirigido, 202
mximo consistente, 276
ordenado
inductivamente, 204
recursivo enumerable, 44
semithue, 53
T -expresable, 96
contiene ecuaciones, 288
correspondencia de Galois, 255
cre, 291
criterio
de Baer, 485
de Tarski-Vaught, 183
de Van den Dries, 322
de Vaught, 278
TV, 183
crs, 323
denotacin de una frmula, 96
derivar, 9
directamente, 9
diagrama
de una estructura, 284
elemental, 284
lineal, 214
dimensin, 252
distancia al borde, 142
divisor primo, 252
dominio entero, 250
ec, 416
elemento

Teora de conjuntos y temas anes I

ndices

algebraico, 250
denible, 257
innito, 254
mnimo, 131
nilpotente, 434
potencialmente nilpotente, 436
regular, 436
eliminacin
de cuanticadores, 324
de cuanticadores innitaria, 522
emparedado, 292
encaje, 168
elemental, 186
puro, 520
endomorsmo, 169
enunciado, 95
iletrado, 146
modalizado en p, 150, 154
siempre demostrable, 128
siempre verdadero, 129
traza de, 146
valor de verdad, 129
enunciado en forma normal, 147
enunciado indecidible, 118
0 , 120
epimorsmo
puro, 520
epimorsmo puro, 520
equivalencia elemental, 174
espacio
cero dimensional, 439
de Stone, 439
totalmente disconexo, 439
espectro de Ziegler, 569
estrategia ganadora, 236
estructura
algebraicamente cerrada, 434
atmica, 403
existencialmente cerrada, 384, 416, 418
genrica, 417
nita, 425
-homognea, 409
homognea, 409
-saturada, 379
-universal, 413
-saturada, 382
prima, 320, 360
producto, 192
saturada, 379
simple, 222
ultrahomognea, 369
estructuras
elementalmente equivalentes, 174
isomorfas, 169

ndices

Universidad Autnoma Metropolitana

-homogneas, 393
parcialmente isomorfas, 299
expansin de Skolem, 229
expresin, 7
de clase, 111
extensin, 169
booleana, 196
elemental, 182

ltro, 497
n-extensin, 330, 399, 400
forcing, 422
condicin, 424
nito, 424
forking, 472, 642
forma normal, 451
de Davis, 69
frmula, 94
2 , 195
, 195
1-primitiva, 324
atmica, 94
bsica de Horn, 191
cerrada, 95
de Horn, 191
existencial, 179
positiva, 280
h-persistente, 279
-atmica, 554
lgicamente
existencial, 179
universal, 179
positivo primitiva, 256, 361, 489
preserva
hacia abajo, 179
hacia arriba, 179
preserva en productos, 191
preserva en uniones, 195
primitiva, 314, 361
primitiva simple, 361
0 , 120
1 , 121
universal, 179
valor de verdad, 129
A-fuerza, 422
funcin
de Ackerman, 30
complecin, 49
de Skolem, 228
incorporada, 229
denida por composicin, 14
denida por minimalizacin, 32
denida por recursin, 19
diofantina, 64
fuertemente representable, 100

parcial recursiva, 33
recursiva, 33
regular, 32
representable, 100
respeta frmulas, 181, 186
T -expresable, 96
turing-calculable, 10
funcin denicin de una teora, 540
funciones
recursivas iniciales, 22
recursivo primitivas, 22
G3n, 417
-factoriza, 609
-tipo, 609
gavilla innita, 332
generadores de un semigrupo, 58
GL-rboles, 137
grado de un vrtice, 242
grca, 241
completa, 242
inducida, 188
libre de cclos, 282
grupo
abeliano
ordenado, 362
casi abeliano, 294
de caracteres, 544
de exponente acotado, 625
de torsin, 201
divisible, 286
dual, 228
ordenable, 295
ordenado, 295
reexivo, 225, 228
sin torsin, 225, 278
heredero, 475
homomorsmo, 168
fuerte, 169, 204
puro, 520
puro de grupos, 369
ideal, 497
crtico, 563
principal, 497
idempotente, 434
ortogonal, 593
primitivo, 593
imagen homomrca, 249
innitesimal, 254
interpretacin aritmtica, 128
invariante, 532
cardinal, 531
dual de, 541

664

665

Teora de conjuntos y temas anes I

isomorsmo, 169
parcial, 296
jep, 328
juego, 235
abierto, 240
cerrado, 240
de Ehrenfeucht, 301
determinado, 239
Ehrenfeucht-Frass, 243
innito, 240
informacin perfecta, 236
suma cero, 236
lectura de cinta, 8
lema
del diagrama, 284
McKinsey, 258
lenguaje
cardinalidad, 170
teora de mdulos, 170, 479
lmite
directo, 204
inverso, 215, 217
inverso-directo, 259
localizacin, 506
longitud de una expresin, 7
main gap, 575
mquina de Turing, 3, 8
universal, 43
marco, 131
validez, 131
modelo
atmico, 403, 410
comparsa, 431
complecin, 431
de Kripke, 129
de la aritmtica, 176
-homogneo, 409
homogneo, 409
-saturado, 411
-universal, 413
M , 133
monstruo, 575
primo fuerte, 403, 464
saturado, 412
universal, 413
mdulo
absoluto puro, 462
a-inyectivo, 461
algebraicamente compacto, 461, 599
a-plano, 461
atmico positivo, 598
-inyectivo, 466

construible positivo, 598

E -libre de torsin, 556
estable, 577
FP-inyectivo, 462
inyectivo, 485
inyectivo puro, 461
K-Mittag-Leer, 610
-inyectivo, 583
localmente proyectivo, 622
Mittag-Leer, 610
Mittag-Leer estricto, 622
-estable, 577
plano, 628
+-construible, 598
positivo saturado (+-saturado), 598
+-atmico, 598
prueba, 620
punteado, 638
puro absoluto, 551
puro inyectivo, 598, 603
puro proyectivo, 604
-inyectivo, 556
semisimple, 593
separable, 622
-puro inyectivo, 601
-inyectivo, 460
superestable, 577
totalmente trascendente, 577
tt, 577
voluminoso, 585
mundo adecuado, 153
numeral, 94
nmero
de Gdel, 41
ocurrencia de una variable, 95
operador cerradura, 276, 417
orden
inductivo, 204
lineal denso, 278, 413
p-enunciado, 150
pa, 326
pec, 328
pif, 200
1 -axiomatizacin, 254
posicin en el juego, 240
pp frmula, 489
con parmetros, 493
derecha, 489
dual de, 514
innitaria, 522
izquierda, 489
pp subgrupo, 492

ndices

ndices

Universidad Autnoma Metropolitana

pp tipo, 501
completo, 501
completo de a, 502

sobre B , 502
nitamente generado, 503
predicado
diofantino, 62
semicalculable, 47
primer teorema de preservacin, 288
principio
de inclusin-exclusin, 522
de Sylvester, 523
problema
de Hilbert, 62
de la parada, 48
produccin semithue, 52
producto
cartesiano, 189, 192
de estructuras, 189, 192
directo, 189
libre, 448
reducido, 197
propiedad
de amalgamacin, 326, 480
de Heine-Borel, 231
de la interseccin nita, 200
del encaje comn, 328
T-expresable, 100
turing-calculable, 11
prueba
de Shoeneld, 325
semithue, 52
punto jo de un enunciado, 151
rama el, 142
a un modelo, 141
rango
cuanticable de una frmula, 242
sistema invariantes, 574
realizacin
aritmtica, 128
realizacin libre de una pp frmula, 511
recursin
por curso de valores, 29
relacin
expresable, 109
negativa, 253
recursivo primitiva, 24
1 , 121
terminal, 131
turing-calculable, 12
representacin del uno, 594
retcula, 496
de Galois, 275
pp-retcula, 501

retraccin, 249
retracto, 249
segundo teorema de preservacin, 321
semi campo, 592
semigrupo, 58
sistema
Q, 104
consistente, 466
de invariantes, 574
dirigido, 204
dual, 223
GL, 130
GLS , 145
inverso, 215
inverso-directo, 224
K , 128
LM , 128
local, 220
normal, 128
P A, 110
R, 108
RR, 108
semithue, 52
thue, 56
1 -axiomatizacin, 254
sML, 638
soporte de un elemento, 196
subconjunto
abierto, 240
cerrado, 240
subestructura, 169
elemental, 182
generada, 169
-generada, 213
subfrmula, 95
subgrca, 188
subgrupo
complemento ortogonal de, 541
denible, 492
submdulo
completamente invariante, 260
puro, 520
subretcula, 496
sucesin
exacta, 212
pura-exacta, 520
suma
directa, 196
brada, 481
rdenes, 309
T -tipo, 378
0 -trmino, 120
teorema

666

667

Teora de conjuntos y temas anes I

de o-Suszko-Chang, 316
de o-Tarski, 288
de Baldwin-Lachlan, 323
de Baur-Monk, 527
de Cantor, 300
de compacidad, 201
de Ehrenfeucht, 305
de estructura para
anillos Von Neumann, 442
grupos, 285
o, 198
de Lyndon, 317
de omisin de tipos, 397
de preservacin de o, 291
de Rosser, 123
de Ulm, 574
de Wedderburn-Artin, 595
Gale-Stewart, 241
Keisler-Shelah, 233
Lwenheim-Skolem, 183
ascendente, 183
pp eliminacin de cuanticadores, 527
semithue, 52
teora, 275
axiomatizable, 254
-categrica, 277
completa, 276, 410
de Skolem, 228
de una estructura, 284
dual de, 541
1 -axiomatizable, 254
-estable, 576
1 -axiomatizable, 254
inestable, 576
-estable, 577
-consistente, 118
superestable, 577
totalmente trascendente, 577
tt, 577
trmino, 94
cerrado, 95
tesis de Church, 33
tipo, 378
aislado, 397
completo, 388
de un elemento, 378
de un grupo, 292
incompleto, 388
irracional, 474
K generado, 609
omisin, 378
racional, 474
realizacin, 378
I -tipo, 473

transformacin
prueba, 620
trayectoria, 281
cerrada, 281
hamiltoniana, 332
ultraltro, 497
ultrapotencia, 198
ultraproducto, 198
valor de verdad de un enunciado, 96
valor de verdad de una frmula, 96
vrtice
aislado, 242
sociable, 242

ndices

Universidad Autnoma Metropolitana

El centro y los cuatro rumbos del mundo

Cdice Fejrvry-Mayer

668

669

Teora de conjuntos y temas anes I

mrica, no invoco tu nombre en vano. Cuando sue

en Unterdrten von fnf Erdteilen, denen, die si son bejeto al corazn la espada, cuando aguanto en el alma
freit haben, und allen, die fr den Weltfrieden kmpfen, mu
la gotera, cuando por las ventanas un nuevo da tuyo
der Herzslag geot haben, als sie hrten, Stalin i tot.
me penetra, soy y eoy en la luz que me produce,
Er war die Verkrperung ihrer Honung. Aber die geiigen
vivo en la sombra que me determina, duermo y despierto en tu und materiellen Waen, die er herellte, sind da, und da i die Lehre,
esencial aurora: dulce como las uvas, y terrible, conductor del az- neue herzuellen.
car y el caigo, empapado en esperma de tu especie, amamantado
B. Bret
en sangre de tu herencia.
P. Neruda

ee habitante tranormado
que se conruy en el combate,
o
ee organismo valeroso,
ea implacable tentativa,
ee metal inalterable,
ea unidad de los dolores,
ea fortaleza del hombre,
ee camino hacia ma~
nana,
ea cordillera infinita,
ea germinal primavera,
ee armamento de los pobres,
sali de aquellos sufrimientos,
o
de los ms hondo de la patria,
a
de lo ms duro y golpeado,
a
de lo ms alto y ms eterno
a
y se llam Partido,
o
Partido Comunia.

as Proletariat i diejenige Klae der Gesellsaft, wele ihren

Lebensunterhalt einzig und allein aus dem Verkauf ihrer Arbeit und nit aus dem Profit irgendeines Kapitals zieht; deren
Wohl und Wehe, deren Leben und Tod, deren ganze Existenz von der Nafrage na Arbeit, also von dem Wesel der guten und
sleten Gesfteiten, von den Swankungen einer zgellosen Konkurrenz abhngt. Das Proletariat oder die Klae der Proletarier i, mit einem
Worte, die arbeitende Klae des neunzehnten Jahrhunderts.
er Sklave i ein fr allemal verkauft; der Proletarier mu si
tgli und ndli selb verkaufen.

ie sogenannten Sozialien teilen si in drei Klaen. Die ere

Klae beeht aus Anhngern der feudalen und patriaralisen
Gesellsaft, wele dur die groe Indurie, den Welthandel
und die dur beide gesaene Bourgeoisgesellsaft vernitet
worden i und no tgli vernitet wird. Diese Klae zieht aus den

Ubeln der jeigen Gesellsaft den Slu, da die feudale und patriaralise
P. Neruda

Gesellsaft wiederhergeellt werden me, weil sie von diesen Ubeln frei
war. Alle ihre Vorslge gehen auf graden oder krummen Wegen diesem
Ziele zu. Diese Klae reaktionrer Sozialien wird tro ihrer angeblien
er Einzelne hat zwei Augen Die Partei hat tausend Au- Teilnahme und heien Trnen fr das Elend des Proletariats denno ets von
gen. Die Partei sieht sieben Staaten Der Einzelne sieht eine den Kommunien energis angegrien werden.
Stadt. Der Einzelne hat seine Stunde, Aber die Partei hat
F. Engels
viele Stunden. Der Einzelne kann vernitet werden, Aber
die Partei kann nit vernitet werden. Denn sie i der Vortrupp der
Maen Und fhrt ihren Kampf Mit den Methoden der Klaiker, wele
gespft sind Aus der Kenntnis der Wirklikeit.
as Proletariat wird seine politise Herrsaft dazu benuen,
der Bourgeoisie na und na alles Kapital zu entreien, alle
s i slimm, in einem Lande zu leben, in dem es keinen Humor
Produktionsinrumente in den Hnden des Staats, das hei des
gibt. Aber no slimmer i es, in einem Lande zu leben, in
als herrsende Klae organisierten Proletariats zu zentralisieren
dem man Humor braut.
und die Mae der Produktionskrfte mgli ras zu vermehren.

nglli das Land, das Helden ntig hat!

as Slimme i nit: Fehler haben, nit einmal sie nit

bekmpfen, i slimm. Slimm i, sie zu vereen.

ie Kommunien sind keine besondere Partei gegenber den andern Arbeiterparteien. Sie haben keine von den Intereen
des ganzen Proletariats getrennten Intereen. Sie ellen
keine sektiererisen Prinzipien auf, wona sie die proletarise
Bewegung modeln wollen.
ie Kommunien erfinden nit die Einwirkung der Gesellsaft
auf die Erziehung; sie verndern nur ihren Charakter, sie
entreien die Erziehung dem Einflu der herrsenden Klae.

Universidad Autnoma Metropolitana

as ideas de la clase dominante son las ideas dominantes en cada

epoca; o, dio en otros t

erminos, la clase que ejerce el poder
material dominante en la sociedad es, al mismo tiempo, su
poder espiritual dominante. La clase que tiene a su disposicin
o
los medios para la produccin material dispone con ello, al mismo tiempo,
o
de los medios para la produccin espiritual, lo que hace que se le sometan,
al propio tiempo, por t
ermino medio, las ideas de quienes carecen de los
medios necesarios para producir espiritualmente. Las ideas dominantes no son
otra cosa que la expresin ideal de las relaciones materiales dominantes, las
mismas relaciones materiales dominantes concebidas como ideas; por tanto,
las relaciones que hacen de una determinada clase la clase dominante, o sea,
las ideas de su dominacin. Los individuos que forman la clase dominante
o
tienen tambin, entre otras cosas, la conciencia de ello y piensan a tono con
ello; por eso, en cuanto dominan como clase y en cuanto determinan todo
el mbito de una
a
epoca hirica, se comprende de suyo que lo hagan en
o
toda su extensin, y, por tanto, entre otras cosas, tambi como pensadores,
o
en
como productores de ideas, que regulan la produccin y diribucin de las
o
o
ideas de su tiempo; y que sus ideas sean; por ello mismo, las ideas dominantes
de la
epoca. Por ejemplo, en una
epoca y en un pa en que se disputan
is

670

el poder la corona, la ariocracia y la burgues en que, por tanto, se

ia,
halla dividida la dominacin, se impone como idea dominante la doctrina de
o
la divisin de poderes, proclamada ahora como \ley eterna".
o

no de los problemas ms difciles para los filsofos, es descender del

mundo del pensamiento al mundo real. La realidad inmediata
del pensamiento es el lenguaje y como los filsofos han proclao
mado la independencia del pensamiento, debieran proclamar
tambi el lenguaje como un reino propio y soberano. En eo reside el
en
secreto del lenguaje filosfico, en el que los pensamientos encierran, como
o
palabras, un contenido propio. El problema de descender del mundo de
los pensamientos al mundo real se convierte as en el problema de descender
i
del lenguaje a la vida... Los filsofos no tendr ms que reducir su
o
ian a
lenguaje al lenguaje corriente, del que aqu se abrae, para darse cuenta
el
y reconocer que ni los pensamientos ni el lenguaje forman por s mismos un
reino aparte, sino que son, sencillamente expresiones de la vida real
K. Marx

671

Teora de conjuntos y temas anes I

The rising of the Moon

And hurrah my boys for freedom; tis the rising of the moon".
Tis the rising of the moon, tis the rising of the moon
And hurrah my boys for freedom; Tis the rising of the moon".

Oh then, tell me Sen OFarrell, tell me why you hurry so?

"Hush a bhuachaill, hush and listen", and his cheeks were all aglow,

Well they fought for poor old Ireland, and full bitter was their fate,

"I bear orders from the captain:- get you ready quick and soon

Oh what glorious pride and sorrow, lls the name of ninety-eight!

For the pikes must be together by the rising of the moon"

Yet, thank God, een still are beating hearts in manhood burning

By the rising of the moon, by the rising of the moon,

noon,

For the pikes must be together by the rising of the moon

"And come tell me Sen OFarrell where the gathrin is to be?"
"In the old spot by the river, right well known to you and me.
One more word for signal token:- whistle out the marchin tune,
With your pike upon your shoulder, by the rising of the moon."
By the rising of the moon, by the rising of the moon
With your pike upon your shoulder, by the rising of the moon.
Out from many a mud wall cabin eyes were watching through the
night,
Many a manly chest was throbbing, for the blessed morning light.
Murmurs ran along the valleys like the banshees lonely croon
And a thousand pikes were ashing at the rising of the moon.
At the rising of the moon, at the rising of the moon.
And a thousand pikes were ashing by the rising of the moon.
There beside the singing river that black mass of men was seen,
High above their shining weapons ew their own beloved green.
"Death to every foe and traitor! Forward strike the marching tune."

Who would follow in their footsteps, at the risin of the moon

At the rising of the moon, At the rising of the moon
Who would follow in their footsteps, at the risin of the moon.