FOM: HF's results
kanovei at wminf2.math.uni-wuppertal.de
Fri Mar 27 12:36:31 EST 1998
<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.
More information about the FOM