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