University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Infinitary methods in finite model theory

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Infinitary methods in finite model theory

Download to your calendar using vCal

If you have a question about this talk, please contact Mustapha Amrani .

Semantics and Syntax: A Legacy of Alan Turing

The accepted wisdom is that standard techniques from classical model theory fail to apply in the finite. We attempt to dispel this notion by presenting new proofs of the Gaifman and Hanf locality theorems, as they appear in Libkin’s textbook on finite model theory. In particular, using compactness over an expanded vocabulary, we obtain strikingly simple arguments that apply over both finite and infinite structures—all without the complexity of EhrenfeuchtFrass games normally used. Our techniques rely on internalizing most of the relevant mathematical features into the first-order theory itself. It remains to be seen whether these methods can be extended to proving order-invariant locality.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Grand Round series 2025-2026 Microsoft Research Cambridge, JJ Thompson Avenue Cambridge Judge Business School, Castle Teaching Room

Other talks

LMB Seminar - Mechanisms of mRNA packaging and export Caribbean Trip and Cacti The Importance of Teaching about Science and Religion in a Time of Global Uncertainty Title to be confirmed From lab to clinic: an introduction to translational research Talk TBC
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity