Set Theory Meetup

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.