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. |