[FOM] The Gold Standard

Robert M. Solovay solovay at Math.Berkeley.EDU
Thu Feb 23 00:45:54 EST 2006

On Wed, 22 Feb 2006, Harvey Friedman wrote:

> They will instantly recognize all of the axioms of ZFC except replacement
> and foundation, if you gently remind them. (Replacement and foundation are
> rarely used, and ZFC\Rep\Found is of course equiconsistent and mutually
> interpretable with ZFC).

 	This seems like a howler. The theory ZFC - Replacement is 
essentially Zermelo which has considerably less consistency strength than 

 	[Or has it been too many years since I've thought about 

 	--Bob Solovay

More information about the FOM mailing list