Maryanthe Malliaris : Model theory and complexity

Posted by Matthew Harrison-Trainor , part of the Departmental Colloquium.

At

Oct. 13, 2023, 3 p.m.

In

636 SEO

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.