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 Wed, 12/05/2007 - 6:41pm

From Tim Chow via FOM:

I have just completed a first draft of an expository paper on forcing.https://alum.mit.edu/www/tchow/forcing.pdf

This paper grew out of a sci.math.research article that I posted back in 2001 entitled "Forcing for dummies":

http://groups.google.com/d/msg/sci.math.research/-/ZrvqIxpd1sIJ

I made a major change, hopefully for the better, by approaching the subject via Boolean-valued models, which I believe are pedagogically very helpful. Constructive comments on the exposition are welcome.

- 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"