Thursday, March 2, 2017 3:00 pm
-
3:00 pm
EST (GMT -05:00)
Ilia Chtcherbakov, University of Waterloo
"Topos theory XIII"
We continue chapter 8 of Goldblatt; we continue the study of Heyting algebras, and, time permitting, Kripke semantics.
MC 5413