Marcia Groszek: More on the Strength of Ramsey’s Theorem for Pairs

The next Dartmouth Logic Seminar this Winter will be on Wednesday, March 6, at 3:00pm in Kemeny 120. The speaker will be Marcia Groszek (Dartmouth College).

Title: More on the Strength of Ramsey’s Theorem for Pairs

Abstract: We will finish the forcing argument in Seetapun and Slaman 1995 showing that Ramsey’s theorem for pairs is weaker than arithmetic comprehension, and look at the complications involved in trying to do a similar argument for the binary tree version.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.