| January 23 |
Yimu Yin
|
On logical characterization of henselianness
|
| January 30 |
No meeting |
|
| February 6 |
Peter Lumsdaine
|
Categorical logic
|
| February 13 |
Peter Lumsdaine
|
Categorical logic
|
| February 20 |
Natasha Dobrinen (Vienna)
|
Co-stationarity of the ground model
|
| February 27 |
Bojana Pejic (Pitt)
|
Uniqueness of Polish group topologies
|
| March 6 |
No meeting |
|
| March 13 |
Spring break |
|
| March 20 |
Fritz Obermeyer
|
Definable (types-as-)closures in concurrent lambda-calculus
|
| March 27 |
Fritz Obermeyer
|
Definable (types-as-)closures in concurrent lambda-calculus
|
| April 3 |
Henrik Forssell |
First-order logical duality |
| April 10 |
Arthur Paul Pedersen |
Completeness for continuous first-order logic
|
| April 17 |
Andrej Bauer (Ljubljana) |
Synthetic computability |
| April 24 |
Nicola Gambino (Montreal)
|
Identity types and higher-dimensional categories
|
| May 1 |
Peter Lumsdaine
|
TBA |