Date	Speaker	Title
April 6	Marcia Groszek Dartmouth College	Completeness and Compactness An introduction to the Completenesss 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).
April 13	Marcia Groszek Dartmouth College	Introduction to Set Theory I
April 20	Rebecca Weber Dartmouth College	Introduction to Computability I
April 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	none	Off for Memorial Day
June 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.

Last Updated: May 20, 2009

Return to: Current Term