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

Fall 2011

This fall we are shorthanded, so we are running logic seminar only every other week. It meets 2:30-3:30 on Thursdays in Kemeny 120.

DateSpeakerTitle
Sep 29
Seth Harris
Dartmouth College
 Invariance and noninvariance in the lattice of $\Pi^0_1$ classes, part 1
Oct 13 Cancelled.
Oct 27
Seth Harris
Dartmouth College
 Invariance and noninvariance in the lattice of $\Pi^0_1$ classes, part 2
Nov 10
Marcia Groszek
Dartmouth College
 In Kemeny 201

An open problem in reverse mathematics and infinitary combinatorics

The complete binary tree T, viewed as a partial ordering, satisfies the following partition property for any finite k: If the nodes of T are colored in k-many colors, then there is a monochromatic subordering isomorphic to T. Chubb, Hirst, and McNicholl call this principle TT^1_k. We will use TT^1 to refer to the principle: TT^1_k holds for all finite k. Chubb, Hirst, and McNicholl showed that, over the usual base theory RCA_0, I\Sigma^0_2 ---> TT^1---> B\Sigma^0_2, and posed the question: What is the precise proof-theoretic strength of TT^1? Corduan, Groszek, and Mileti showed that the right hand arrow above cannot be reversed: B\Sigma^0_2 does not imply TT^1. This separates TT^1 from Ramsey's Theorem for 1-tuples (the pigeonhole principle), which Hirst has shown is equivalent to B\Sigma_0^2. This is in contrast to the situation for triples and above, where the standard Ramsey's Theorem and the binary tree version are equivalent. The precise proof-theoretic strength of TT^1 remains unknown.