Grothendieck Universes

jodmos.horon jodmos.horon at
Fri May 20 20:33:20 EDT 2022

On Friday, May 20th, 2022 at 03:12, Colin McLarty wrote:
> Numerous articles sketching the proof at varying levels of detail give perfectly detailed references. Three of the most widely cited complete proofs are:
> Mitchell, William, "Boolean topoi and the theory of sets", Journal of Pure and Applied Algebra, 1972, vol.2, pp. 261--74.

I just checked that first document. I do not see the model Z1 presented there being as strong as ZFC.

But interesting read. Thank you.

Jodmos Horon.

More information about the FOM mailing list