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

[Jeff Hirst]

Hi-

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:

 http://www.cs.appstate.edu/~jlh/pdf/RTnFS2.pdf

We invite comments and questions.

-Jeff Hirst


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