Seminarium, Logik
Lö 1 oktober - Må 31 oktober
-
Christian Espíndola: Weak completeness of infinitary intuitionistic logics without compact cardinals
Seminarium, Logik
onsdag 2016-10-12, 10.00 - 11.45
Medverkande: Christian Espíndola
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
2016-10-12T10:00:00.000+02:00 2016-10-12T11:45:00.000+02:00 Christian Espíndola: Weak completeness of infinitary intuitionistic logics without compact cardinals (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Christian Espíndola: Weak completeness of infinitary intuitionistic logics without compact cardinals (Seminarium, Logik) -
Seminarium, Logik
tisdag 2016-10-25, 10.00 - 11.45
Medverkande: Matthew Hendtlass (Canterbury University, New Zealand)
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
2016-10-25T10:00:00.000+02:00 2016-10-25T11:45:00.000+02:00 Matthew Hendtlass: Topological models of IZF (Seminarium, Logik) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Matthew Hendtlass: Topological models of IZF (Seminarium, Logik)