[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.

http://www2.math.uic.edu/~maschenb/mts/spring2006/02-28.pdf

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