[FOM] Davis's honor Roll---a correction

[William Tait]

On Tuesday, June 3, 2003, at 10:26  PM, William Tait wrote:

> In ``What is Cantor's continuum problem?'', Goedel has a footnote 
> (added to the version in the Benacerraf/Putnam volume (1964)) in which 
> he states that the existence of measurable cardinals (unlike that of, 
> e.g., Mahlo cardinals) does not follow from the conception of set that 
> he there develops.

That is not quite what G wrote: he wrote that it has _so far not been 
made clear_ that the existence of measurable cardinals follows on this 
conception. It is footnote 20 in the 1964 edition of Benacerraf/Putnam 
and footnote 16 ikn the 1983 edition. (where it is slightly altered, 
but not in a relevant way).