September 1 | Talk rescheduled |
|
September 8 | James Cummings |
Rainbow Ramsey theory and the PFA |
September 15 | James Cummings |
Rainbow Ramsey theory and the PFA continued
Abstract |
September 22 | Rade Dimitric |
(Non-) measurability revisited Abstract |
September 26-30 Tutorial & colloquium |
Itay Neeman |
Finite state automata and monadic theories of ordinals Abstract |
October 6 Lunch |
Stephen Simpson
|
Reverse mathematics and Π12 comprehension Abstract |
October 13 | No meeting |
|
October 20 |
Matthew Szudzik |
The Definability of functionals in Gödel's theory Τ
Abstract |
October 27 Colloquium |
Joseph Mileti |
Using computability theory to calibrate mathematical complexity Abstract |
November 3 |
Henry Towsner |
Recent developments in ordinal analysis Abstract |
November 10
|
Yimu Yin |
Quantifier elimination and real closed fields with
a monadic predicate
Abstract |
November 17 Lunch |
Tetsuya Ishiu |
The saturation of club guessing ideals Abstract |
November 24 | No meeting |
|
December 1 | Spas Bojanov |
On a paper by Makkai and Shelah
Abstract |
December 8 | No meeting |