[FOM] Arithmetical soundness of ZFC (platonic)

Timothy Y. Chow tchow at alum.mit.edu
Sat May 30 00:53:47 EDT 2009


On Fri, 29 May 2009, John Baldwin wrote:
> We have had frequent discourse on this list concerning Grothedieck. But 
> I am unfamiliar with Voevodsky's extensions of set theory.
> 
> Tim, could you elaborate and/or give references?

I mentioned this on FOM about three years ago.

http://cs.nyu.edu/pipermail/fom/2006-February/010031.html

Tim


More information about the FOM mailing list