Generalized random forcing for weakly compact
Wednesday, 5.6.13, 16:30-17:30, Raum 404, Eckerstr. 1
On Limitations of the Ehrenfeucht-Fraïssé method
Wednesday, 12.6.13, 16:30-17:30, Raum 404, Eckerstr. 1
Heyting algebras
Wednesday, 19.6.13, 16:30-17:30, Raum 404, Eckerstr. 1
Inner Models for Set Theory Defined by Generalized Logics
Wednesday, 26.6.13, 16:30-17:30, Raum 404, Eckerstr. 1