Thursday, May 16, 2019 1:00 pm
-
1:00 pm
EDT (GMT -04:00)
Pawel Sarkowicz, Department of Pure Mathematics, University of Waterloo
This week we will define elementary substructures and prove the Downward (and possibly Upward) Löwenheim-Skolem Theorem(s). To that end, we will introduce the notion of separable languages.
MC 5403