[FOM] Davis's honor Roll---a correction
wwtx at earthlink.net
Wed Jun 4 09:48:50 EDT 2003
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).
More information about the FOM