Presented By: Logic Seminar - Department of Mathematics
Logic Seminar: Compactness and Constructions of Metric Models
Johnson He
We will prove the compactness theorem for continuous logic and then cover some constructions of models such as the Lowenheim-Skolem theorem.
Co-Sponsored By
Explore Similar Events
-
Loading Similar Events...