[FOM] real numbers

Kanovei kanovei at wmwap1.math.uni-wuppertal.de
Thu Jun 19 23:43:36 EDT 2003

Date: Thu, 19 Jun 2003 21:13:29 -0400 (EDT)
From: Andreas Blass <ablass at umich.edu>

>Feferman has shown how to interpret most of category theory, including
>large categories, in a conservative extension of ZFC.

Could you please give a reference ? 


More information about the FOM mailing list