FOM: HF's results

[Kanovei]

<Date: Fri, 27 Mar 1998 11:07:20 -0500
<From: shipman at dg1.bloomberg.com (joe shipman DERV PORT x2845)

<The great significance of Harvey's results lies in their
<formulation as STATEMENTS ABOUT FINITE SETS.

There is some posting which shows that people try to 
connect H.Friedman's announced results to something 
which has happened earlier. Perhaps the best reference 
would be the Harrington - Paris (197?) example of a 
mathematically meaningful statement (in fact a 
Rasmsey-like statement of finite combinatorics) 
which is undecidable in PA. 

Vladimir Kanovei