Exposition of the proof of independence of CH

[Serafim Batzoglou]

I recently wrote the following exposition on the proof of independence of
CH:

https://drive.google.com/file/d/180jbkZcM4KIJU6m01YzObboFjRXVsXQc/view?usp=sharing

I would greatly appreciate any comments / feedback, as well as suggestions
as to what to do with the manuscript. I plan to post it on arXiv once I
make some further edits.

In writing this, I was partially motivated by Timothy Chow's excellent
exposition where he calls this an "open exposition problem". Mine follows
closely Nik Weaver's presentation "Forcing for Mathematicians", which I
found incredibly helpful for self study. I also introduce elements from
Smullyan and Fitting (2010), and compared to Weaver's presentation I aim to
make the subject more intuitive to the non-specialist. As a result my
exposition is considerably longer and more conversational.

Thank you in advance for any feedback.

Serafim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220526/2a6e5dce/attachment-0001.html>