[FOM] The Gold Standard/correction

[Richard Heck]

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

-- 
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://bobjweil.com/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto