FOM: Preprints, simplicifation

Harvey Friedman friedman at
Mon Oct 8 05:19:35 EDT 2001

In my posting 109:Natural Nonrecursive Sets, Wed, 26 Sep 2001, I used the
expression log log log n. This can be replaced throughout with log log n
(or even some slower growing functions of n, but more complicated to
display). The results will be the same.

I am in the process of placing a significant number of preprints on the new
preprint server at

The files come up in pdf format. You can search for Harvey Friedman on this
page in order to access them.

More information about the FOM mailing list