Model Theory of C*-Algebras Seminar

Thursday, May 16, 2019 1:00 pm - 1:00 pm EDT (GMT -04:00)
Export this event to calendar
iCal

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