[FOM] The Gold Standard/correction

Robert M. Solovay solovay at Math.Berkeley.EDU
Thu Feb 23 16:44:06 EST 2006

A tiny remark below.

On Thu, 23 Feb 2006, Harvey Friedman wrote:

> ZC looks like the closest formalization of general mathematical practice -
> IF one insists on no coding.
> Of course, some interesting stuff is missing...
ZC is equiconsitent with ZC + Mostowski collapse + "Every set has a 
transitive closure". The latter theory is much more pleasant for the 
set-theorist to work in than ZC. {But of course not as nice as ZFC.]

 	--Bob Solovay

More information about the FOM mailing list