Grothendieck Universes

Harvey Friedman hmflogic at
Wed May 18 13:44:33 EDT 2022

Jodmos Horon wrote

"I'm not really convinced that any formalisation of category
theory or of a specialisation thereof has managed to adequately interpret ZFC."

Any formalization of a Grothendieck Universe should interpret ZFC.
Certainly Topoi interpret WZ (weak Zermelo).

References anyone?

Harvey Friedman
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220518/556e64c2/attachment.html>

More information about the FOM mailing list