Harvard Logic Colloquium

Maryanthe Malliaris (University of Chicago) "Comparing the complexity of unstable theories"

In 1967 Keisler posed the problem of Keisler’s order, a suggested program for comparing the complexity of classes of mathematical structures using an asymptotic (ultrapower) point of view. The talk will be about recent results in this area, due to Malliaris and to Malliaris and Shelah, which advance this program by developing a sort of fine structure theory for pseudofinite behavior in model theory. In particular, the focus will be on simple theories, a key model-theoretic class which includes the random graph and pseudofinite fields.

Reception following the talk from 5:30 to 6:30.

Sponsored by the Logic Center at Harvard