[FOM] About results Harvey Friedman

[dorin alex]

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 
know
how to modify this somewhat and make it prettier.

2. Substantial fragments of ZFC. For example, bounded Zermelo set 
theory.
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