Date & Time |
Where |
Who |
What |
Tuesday 29 January, 15.00 - 17.00 |
F1.15 |
Robin Martinot |
A foundation for category theory based in Morse-Kelley + New Foundations (Solomon Feferman) |
Tuesday 29 January, 17.30 - 19.30 |
F1.15 |
Hrafn Oddsson |
Paraconsistent Set Theory |
Thursday 31 January, 14.00 - 16.00 |
F1.15 |
Nuno Filipe |
Zermelo's Quasi-Categoricity Theorem for ZF2 |
Friday 1 February, 10.00 - 12.00 |
F1.15 |
David Santamaria Legarda |
On a Class Theory of Thomas Schindler |
Friday 1 February, 14.00 - 16.00 |
F1.15 |
Ignacio Belloas |
The Modal Logic of Forcing |