For those who wonder if the forcing theory is beyond their means: no. Directions to research in forcing are given.
Mirna Džamonja is an Associate Member at Institut d'Histoire et de Philosophie des Sciences et des Techniques, Université Panthéon-Sorbonne. She works in logic, particularly set theory. The winner of a Lady Davis Fellowship and an EPSRC Advanced Fellowship, she wrote Théorie des ensembles pour les philosophes (2017). After years as a Full University Professor, she now researches and teaches logic in various international organisations.
Part I. Let's Be Independent: 1. Introduction; 2. Axiomatic Systems; 3. Zermelo-Fraenkel Axioms and the Axiom of Choice; 4. Well Orderings and Ordinals; 5. Cardinals; 6. Models and Independence; 7. Some Class Models of ZFC; 8. Forcing; 9. Violating CH; Part II. What Is New in Set Theory: 10. Introduction to Part Two; 11. Classical Extensions; 12. Iterated Forcing and Martin's Axiom; 13. Some More Large Cardinals; 14. Limitations of Martin's Axiom and Countable Supports; 15. Proper Forcing and PFA; 16. $aleph_2$ and other Successors of Regulars; 17. Singular Cardinal Hypothesis and some PCF; 18. Forcing at Singular Cardinals and their Successors; References; Index.