We are reading Set Theory and the Continuum Problem by Smullyan and Fitting (S&F), and also Roads to Infinity by John Stillwell.
- I recommend reading Pollard’s review. The first sentence perfectly captures my feelings: “This rewarding, exasperating book…”
- My own notes on S&F: Notes on Smullyan & Fitting, and on Forcing.
- Some background notes on logic: Basics of First-order Logic. These started out as slides for a talk I gave at the Math for People meetup. I’ve repurposed and expanded them. These notes are not tied to S&F in any way.
- Notes for Stillwell: stillwell-roads.
The sets of notes are works in progress. Consult the date stamp on the first page to see if you have the latest version.