Winter 2012
This winter we are again running logic seminar only every other week. It meets 1:00-2:00 on Tuesdays in Kemeny 244.
| Date | Speaker | Title |
|---|---|---|
| Jan 17 |
Seth Harris
Dartmouth College |
Three notions of randomness |
| Jan 31 |
Marcia Groszek
Dartmouth College |
Forcing with tagged trees A forcing method due to John Steel, with applications to second-order arithmetic. Today: background. |
| Feb 14 |
Marcia Groszek
Dartmouth College |
Forcing with tagged trees 2 A forcing method due to John Steel, with applications to second-order arithmetic. |
| Feb 28 |
Marcia Groszek
Dartmouth College |
Forcing with tagged trees 3 A forcing method due to John Steel, with applications to second-order arithmetic. |
| Mar 13 |
Marcia Groszek
Dartmouth College |
Applying tagged trees to reverse mathematics |