A través del universo. Una guía a los axiomas conjuntistas, consistencia, forcing e independencia» invita a recorrer uno de los paisajes más profundos y sorprendentes de las matemáticas: el universo de los conjuntos. Desde sus orígenes con Cantor y Suslin, pasando por los axiomas de Zermelo-Fraenkel, el universo construible de Gödel y los modelos transitivos, hasta los métodos de forcing iniciados por Cohen y posteriormente desarrollados por Solovay, Prikry y otros autores, este libro conduce al lector por un viaje que revela cómo se construyen, comparan y transforman los modelos que sustentan la teoría moderna de conjuntos. Dirigido a estudiantes avanzados, investigadores jóvenes y lectores interesados en la estructura lógica de las matemáticas, el texto ofrece un recorrido guiado por conceptos fundamentales como el Axioma de Elección, la ccc, el Axioma de Martin y los principios de maximalidad. Asimismo, explora las interacciones entre teoría de conjuntos y teoría de modelos, el papel de los grandes cardinales y las implicaciones filosóficas de los resultados de independencia. Con claridad expositiva, contextualización histórica ?incluidos los ?Wild Sixties? del forcing? y múltiples conexiones con otras áreas, este libro se presenta como en una herramienta esencial para comprender cómo, detrás de cada axioma y cada modelo, se despliega un vasto y fascinante universo matemático.
