Thursday, March 30, 2017 3:00 pm
-
3:00 pm
EDT (GMT -04:00)
Christopher Hawthorne and Wilson Cheung, University of Waterloo
"Topos theory XVII"
We finish chapter 10: a proof of the completeness theorem of topoi for intuitionist logic, and some applications. We begin chapter 11 of Goldblatt: a discussion of categorical generalizations of quantifiers.
MC 5413