FOM: RT(2,2) implies FS(2)

Jeff Hirst jlh at
Thu Mar 2 14:41:53 EST 2000


P. Cholak, M. Giusto, and I have been having some discussions
on the reverse mathematics of the free set theorem, as discussed
in H. Friedman's postings (numbers 53 and 54).  A pdf file
containing a short note with the proof that RT(2,2) implies
FS(2) can be found at:

We invite comments and questions.

-Jeff Hirst

Jeff Hirst   jlh at
Associate Professor of Mathematics
Appalachian State University, Boone, NC  28608
vox:828-262-2861    fax:828-265-8617 

More information about the FOM mailing list