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