?Forcing is fancy diagonalization? (was: Reply: FOM:Natural Examples)

Bart Kastermans bkaster at cs.vu.nl
Mon Aug 23 07:29:35 EDT 1999

On Wed, 18 Aug 1999, William Calhoun wrote:

> Date: Wed, 18 Aug 1999 11:03:31 -0400 (EDT)
> From: William Calhoun <wcalhoun at planetx.bloomu.edu>
> To: fom at math.psu.edu
> Subject: FOM:Natural Examples


> It seems that our main tool for separating levels of hierarchies is by
> variations on Cantor diagonalization, including "fancy" variations such as
> priority arguments and forcing.

I know Cantor diagonalization and I am learning forcing (I am reading the
book by Kunen).  I do not at all see how forcing can be seen as a form
of diagonalization, can someone explain?


Bart Kastermans, Engelandstraat 68, 1966 NJ Heemskerk, The Netherlands
tel./fax.: +31-(0)251-239 832, Time Zone: GMT + 01:00
Home-Page: http://www.cs.vu.nl/~bkaster/

More information about the FOM mailing list