Teoria dos conjuntos é tratada com foco em avanços recentes em independência de axiomas e grandes cardinais, oferecendo cobertura de técnicas e resultados contemporâneos.

Resultados sobre forcing, hierarquias de constructibilidade e propriedades combinatórias são apresentados com precisão e exemplos formais; a abordagem inclui discussão de consequências para estruturas infinitas.

Leitura adequada para quem busca um panorama técnico da área, com exposição que facilita a compreensão de métodos e problemas atuais através de demonstrações e conceitos centrais.