Tuesday, October 24, 2017 4:00 pm
-
4:00 pm
EDT (GMT -04:00)
Levon Haykazyan, Department of Pure Mathematics, University of Waterloo
"Introduction to Positive Logic II"
We continue our investigation of positive logic. I will define a new notion of the space of types and I will convince you that it is the right notion.
MC 5403