Skip to Content

Sponsors

No results

Tags

No results

Types

No results

Search Results

Events

No results
Search events using: keywords, sponsors, locations or event type
When / Where
All occurrences of this event have passed.
This listing is displayed for historical purposes.

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.

Explore Similar Events

  •  Loading Similar Events...

Back to Main Content