[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.



More information about the FOM mailing list