Teoría de conjuntos, lógica y temas afines I

Este libro provee un tratamiento accesible, a la vez que riguroso, de varios temas de lógica matemática intermedia y avanzada. Los capítulos iniciales tratan de la calculabilidad, en diferentes variantes, de los teoremas de incompletud de Gödel y de cómo puede usarse la lógica modal en la extensión de propiedades metamatemáticas. Los siguientes capítulos del libro forman una introducción a los conceptos y métodos fundamentales de la teoría de modelos, mientras que en la sección final se muestra el carácter fructífero de esta teoría con numerosas aplicaciones al álgebra. Un objetivo de la obra es incorporar al lector que ya tenga conocimientos elementales en lógica y teoría de conjuntos, y que esté dispuesto a dedicar tiempo a la solución de ejercicios, a la investigación de alto nivel y frontera. Para ello expone y desarrolla diversos temas que no es fácil encontrar en otros textos, tales como la teoría de juegos, la teoría de Ehrenfeucht-Fraïsse, la lógica de la demostrabilidad y el forcing en teoría de modelos.

Luis Miguel Villegas Silva es profesor investigador del Departamento de Matemáticas de la Universidad Autónoma Metropolitana y ha publicado libros y artículos de investigación en revistas internacionales en temas como teoría de conjuntos y combinatoria infinita, entre otros. Max Fernández de Castro es profesor investigador del Departamento de Filosofía de la Universidad Autónoma Metropolitana y autor de un libro sobre la filosofía de Quine y de artículos en filosofía de las matemáticas y del lenguaje. Los autores publicaron conjuntamente dos volúmenes en lógica matemática que.pueden ser una buena introducción a este volumen.