I followed this project during the 1st Year, 3rd Period of my M.Sc. Logic (UvA) held by Yurii Khomskii. Here you can find the main page of the project and the three resources we used (note on notation):
- Kunen, K. (2011), Set Theory
- Kenneth Kunen, An Introduction to Independence Proofs (1980)
- Thomas Jech, Set Theory (2000 edition)
All four assignments of the course are solved here: Overleaf: Forcing and my presentation is available here: Overleaf: Forcing Presentation.