Spring 2009
Seminar this term meets Mondays at 4:00 pm in Kemeny 008.
Date  Speaker  Title 

Apr 6 
Marcia Groszek
Dartmouth College

Completeness and Compactness An introduction to the Completeness and Compactness theorems, including a proof of the finitary Ramsey theorem from the infinitary Ramsey theorem using Compactness. No background will be assumed. Slides from the talk (pdf). 
Apr 13 
Marcia Groszek
Dartmouth College

Introduction to Set Theory I 
Apr 20 
Rebecca Weber
Dartmouth College

Introduction to Computability I 
Apr 27 
Rebecca Weber
Dartmouth College

Introduction to Computability II 
May 4 
Rebecca Weber
Dartmouth College

Introduction to Computability III The last in the series; we conclude with a finite injury priority construction. 
May 11 
Marcia Groszek
Dartmouth College

Introduction to Set Theory II [Independent of the computability talks] 
May 18 
Marcia Groszek
Dartmouth College

Introduction to Set Theory III 
May 25  Off for Memorial Day  
Jun 1 
Tom Kern
Dartmouth College

Russell's Socks and Equivalent Failures of the Axiom of Choice (Honors thesis presentation) Bertrand has a problem with his countable set of pairs of socks! He wants to find an infinite set of socks such that no two socks are from the same pair, but he isn't able to without the Axiom of Choice! I will construct a model of set theory in which this unusual collection exists and discuss other oddities whose existence is logically equivalent to the existence of Russell's Socks. All are invited. I will attempt to make this material as accessible as possible, which will most likely put it at an upperclass undergraduate level. 