Grothendieck Universes

[jodmos.horon]

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.