Winter 2013
This quarter, the seminar meets every other Wednesday in Kemeny 120 at 3pm.
Date  Speaker  Title 

Jan 16  Organizational Meeting Kemeny 120 at 2pm 

Jan 23 
François G. Dorais
Dartmouth College

The SetTheoretic Multiverse
Joel David Hamkins proposed a list of axioms for the multiverse view of set theory. We will look at these axioms and their consequences to our understanding of the mathematical universe. We will also look at a consistency proof of the multiverse axioms by Victoria Gitman and Joel David Hamkins. 
Feb 20 
Marcia Groszek
Dartmouth College

The Strength of Ramsey's Theorem for Pairs We will review the forcing argument in Seetapun and Slaman 1995 showing that Ramsey's theorem for pairs is weaker than arithmetic comprehension. We may look at the complications involved in trying to do a similar argument for the binary tree version. 
Feb 27 
Seth Harris
Dartmouth College

Ramsey's Theorem for Trees: Notions of Stability and their Reverse Mathematics 
Mar 6 
Marcia Groszek
Dartmouth College

More on the Strength of Ramsey's Theorem for Pairs 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. 