FOM: The Martin-Steel Theorem

[Martin Davis]

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
>L. 

Should be 1938. -Martin