Please contact James Cummings if you would like to speak or to suggest a speaker.
The seminar will usually meet 12:00-13:20 on Tuesday, in Wean Hall 7201.
PLEASE NOTE: CERTAIN MEETINGS WILL TAKE PLACE AT NON-STANDARD TIMES AND PLACES.
| Jan 25 2011 |
Homotopy type theory
|
Steve Awodey
|
Abstract and notes
|
| Feb 1 2011 |
How much square is true?
|
Ernest Schimmerling
|
Abstract
|
| Feb 8 2011 |
Homotopy type theory II
|
Steve Awodey
|
Abstract
|
| Feb 15 2011 |
Π and Σ types in dependent type theory
|
Chris Kapulkin
|
Abstract
|
| Feb 22 2011 |
Π and Σ types in dependent type theory II
|
Chris Kapulkin
|
Abstract
|
| Mar 17 2011 (note: unusual day!) |
Forcing axioms and generic ultrapowers with critical point omega-two
|
Sean Cox
|
Abstract
|
| Mar 29 2011 |
Strong axioms for P(omega) and P(omega_1)
|
James Cummings
|
Abstract
|
| Apr 26 2011 |
Forcing iterations that add no new reals
|
James Cummings
|
Abstract
|
| May 3 2011 |
Randomness and the Lebesgue Differentiation Theorem
|
Jason Rute
|
Abstract
|