[FOM] seen this before?

Harvey Friedman friedman at math.ohio-state.edu
Sun Mar 12 20:14:42 EST 2006

The following theorem has come to my attention.


I have some recollection of this result, or something quite similar, being
discussed a few years ago by an FOM subscriber, perhaps on the FOM.

Any recollections? 

Harvey Friedman 

More information about the FOM mailing list