Note unusual timings, place and day for this meetng!
Tea and bisuits in the common room (Watson 221).
Peter Cholak (Notre Dame) "Sigma^0_2 bounding and reverse mathematics of Ramsey's theorem for pairs with two colors"
3pm Room R17/18 first floor Watson building.
Abstract: This will be a survey talk. We present a few results of showing showing that Sigma^0_2 Bounding plays a critical and not yet understood role in the Reverse Mathematics of Ramsey's Theorem for Pairs with 2 Colors.
Full set of lecture notes (made by Richard Kaye, with a few minor additions) are available here:
