
Este libro funciona como libro de texto de teoría avanzada de conjuntos (forcing, grandes cardinales). Retoma las ideas fundamentales de la teoría de conjuntos y el forcing, iniciadas en la década de 1960 en respuesta a problemáticas surgidas de la crisis de la teoría de conjuntos a principios del siglo XX, y los proyecta a temas contemporáneos.
Agradecimientos
Prefacio
Introducción
Una guía a través del universo
Los Wild Sixties en teoría de conjuntos
Nuestro camino – ¿Cómo usar el libro?
Capítulo uno. Las bases: marco general
Capítulo dos. El universo V de los conjuntos
Capítulo tres. El universo construible: Godel
Capítulo cuatro. Maximalidad: el Axioma de Martin
Capítulo cinco. Cohen: modelos genéricos
Capítulo seis. Reales: Cohen, aleatorios, Solovay
Capítulo siete. Métodos modelo-teóricos, PFA
Capítulo ocho. Forcing iterado: MA, Prikry, etc.
Capítulo nueve. Impacto en teoría de modelos
Capítulo diez. Continuar el camino
Capítulo once. Ejercicios y problemas
Apéndice A. Recursión transfinita
Apéndice B. Absoluticidad
Apéndice C. Demostraciones de LD y LV
Apéndice D. Grandes cardinales
Índice
Referencias