This meetup group was active for a couple of years, but is currently dormant. I’m leaving this page here for the links.
- We finished the first two parts of Set Theory and the Continuum Problem by Smullyan and Fitting (S&F).
- We read part of Roads to Infinity by John Stillwell.
- I recommend reading Pollard’s review of Smullyan & Fitting. The first sentence perfectly captures my feelings: “This rewarding, exasperating book…”
- My own notes on S&F: Notes on Smullyan & Fitting, and on Forcing. The last section is my review of the book, based on the experience of going through the first two parts with a meetup group. “On balance, I found it more exasperating than rewarding. But it does have its charms….If I had just skimmed the book, glancing at familiar material, I would probably have a more positive impression.”
- For set-theory forcing, we looked at Shoenfield’s paper Unramified Forcing and Halbeisen’s book Combinatorial Set Theory, Part III.
- 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 on Roads to Infinity.
Diagonal Argument 