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