FOM: The Martin-Steel Theorem

Martin Davis martind at
Sat Sep 12 19:14:41 EDT 1998

At 03:31 PM 9/12/98 -0400, Joseph Shoenfield wrote:

>     Chapter 2 is devoted to showing that certain statements are
>unprovable in ZFC.   One does this by producing a model of ZFC in
>which the statement is false; so the main problem is to find ways
>of constructing models of ZFC with special properties.   The first
>important step was taken by Godel, who in 1934 introduced a model

Should be 1938. -Martin

More information about the FOM mailing list