Seminar Event Detail

Algebraic Geometry

Date:  Thursday, March 17, 2022
Location:  4096 East Hall (4:00 PM to 5:20 PM)

Title:  On Makkai's Strong Conceptual Completeness Theorem

Abstract:   One of the most fundamental results of mathematical logic is the celebrated Godel completeness theorem, which asserts that every consistent first-order theory T admits a model. In the 1980s, Makkai proved a sharper result: any first-order theory T can be recovered, up to a suitable notion of equivalence, from its category of models Mod(T) together with some additional structure (related to the theory of ultraproducts). In this talk, I'll explain the statement of Makkai's theorem and sketch a new proof of it, inspired by the theory of "pro-etale sheaves" developed by Scholze and Bhatt-Scholze.


Speaker:  Jacob Lurie
Institution:  IAS

Event Organizer:     


Edit this event (login required).
Add new event (login required).
For access requests and instructions, contact

Back to previous page
Back to UM Math seminars/events page.