Departmental Colloquium
Maryanthe Malliaris
University of Chicago
Model theory and complexity
Abstract: The ultraproduct gives a way of averaging an infinite sequence
of mathematical structures, such as fields, graphs, or linear orders.
The talk will be about the strength of such a construction.
Friday October 13, 2023 at 3:00 PM in 636 SEO