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.
| Tuesday 24 January 2012 |
The ineffable tree property I
|
Spencer Unger
|
Abstract
|
Tuesday 31 January 2012 |
The ineffable tree property II
|
Spencer Unger
|
Abstract
|
Tuesday 7 February 2012 |
An introduction to large cardinals, with a view towards determinacy
|
James Cummings
|
Abstract
|
Tuesday 14 February 2012 |
An introduction to generic large cardinals, with a view towards determinacy
|
James Cummings
|
Abstract
|
Tuesday 28 February 2012 |
Automorphisms of Calkin Algebras
|
Paul McKenney
|
Abstract
|
Tuesday 6 March 2012 |
Supercompact cardinals
|
James Cummings
|
Abstract
|
Tuesday 27 March 2012 |
Invariant measures concentrated on countable structures
|
Cameron Freer
|
Abstract
|
Tuesday 3 April 2012 |
The logical spectrum and the logical structure sheaf I
|
Spencer Breiner
|
Abstract
|
Tuesday 10 April 2012 |
Which proofs can be computed by cut-elimination?
|
Stefan Hetzl
|
Abstract
|
Tuesday 17 April 2012 |
The logical spectrum and the logical structure sheaf II
|
Spencer Breiner
|
Abstract
|
Tuesday 24 April 2012 |
Multivalued logics, higher order structures, and the omitting types theorem
|
Jose Iovino
|
Abstract
|
Tuesday 1 May 2012 |
The logical spectrum and the logical structure sheaf III
|
Spencer Breiner
|
Abstract
|