Dartmouth Logic Seminar

All Terms

Spring 2014
Winter 2014
Fall 2013
Spring 2013
Winter 2013
Fall 2012
Spring 2012
Winter 2012
Fall 2011
Spring 2011
Winter 2011
Fall 2010
Spring 2010
Spring 2009
Spring 2008
Winter 2008
Fall 2007
Summer 2007
Spring 2007
Winter 2007
Fall 2006
Summer 2006
Spring 2006
Winter 2006
Fall 2005

Regional Logic Links

Connecticut Logic Seminar
Logic at Harvard
Logic at MIT
New England Recursion and Definability Seminar
New York Logic
UConn Logic Group

Association for Symbolic Logic


Find us on Google+

Contact the Webmaster

Winter 2013

This quarter, the seminar meets every other Wednesday in Kemeny 120 at 3pm.

DateSpeakerTitle
Jan 16
Organizational Meeting
Kemeny 120 at 2pm
Jan 23
François G. Dorais
Dartmouth College
 The Set-Theoretic 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.