[FOM] About results Harvey Friedman

dorin alex alex_dorin at rambler.ru
Fri Mar 3 07:19:15 EST 2006

Sirs !

(FOM Digest, Vol 38, Issue 67) Harvey Friedman wrote:

1. Theory of classes, like NBG. It is finitely axiomatizable. One can
actually write down the finitely many axioms, although it is messy. I 
how to modify this somewhat and make it prettier.

2. Substantial fragments of ZFC. For example, bounded Zermelo set 
This is also messy, but can be cleaned up somewhat.

Please say where It can be read?

Respectfully yours
Alexander A. Dorin
alex_dorin at rambler.ru

More information about the FOM mailing list