Logblog: Richard Zach's Logic Blog

University of Calgary

UofC Navigation

You are looking at an archived page. The website has moved to richardzach.org.

Submitted by Richard Zach on Tue, 12/18/2007 - 11:18am

Tim Chow has posted a new version of his "Beginner's guide to forcing" (previously announced here) on arXiv, and points to other introductions to forcing: one by Kenny Easwaran, who's also posted his "Cheerful introduction to forcing and the continuum hypothesis" on arXiv, and one by Peter Johnson, "Foundations for abstract forcing." I'm guessing the expository paper by Dana Scott he refers to is "A proof of the independence of the continuum hypothesis."

- Richard Zach's blog
- Log in to post comments

- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"