[FOM] The Gold Standard/correction

Richard Heck rgheck at brown.edu
Sat Feb 25 10:26:44 EST 2006

Harvey Friedman wrote:

>Also, I now recall that Zermelo set theory does not prove the existence of V(omega), or even the usual form of infinity we use today with x union {y}.
Gabriel Uzquiano worked on Z in his dissertation at MIT and has since
published some of the results. Many of these results are of the form:
Such-and-such a form of infinity is not equivalent in Z(C) to
such-and-such another form of infinity.


Richard G Heck, Jr
Professor of Philosophy
Brown University
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:

More information about the FOM mailing list