Logic seminar: Michael Benedikt
| Dates: | 4 December 2024 |
|---|
| Times: | 15:15 - 16:30 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|---|
|
Title: Finite Structures Embedded in Infinite Ones, Then and Now
This talk is about a hybrid of finite and infinite model theory, where formulas can reference two kinds of non-logical symbols: there are
``built-in'' or ``interpreted'' symbols, which are interpreted over an infinite structure for a complete background theory -- e.g. real or integer arithmetic. And there are ``uninterpreted relation symbols'' ranging over finite relations living within an infinite model of the theory. The expressiveness of first order logic in this setting was studied in the late 90's and early 2000's, motivated by the real field case, stemming from questions in databases and computational geometry.
Much of this talk will review what was accomplished decades ago.
I'll then present an overview of recent joint work by myself and Ehud Hrushovski (https://urldefense.com/v3/__https://arxiv.org/abs/2304.09231__;!!PDiH4ENfjr2_Jw!BG-MSbdB-HqmGiqFoMAJ2BGxjQdNdLjXn3D1TWARSij0ZqktxMGdBgzvyrjk7L1m4mU2qUZPNMxzPfinJfoad0xzk558E12NrLkuE3UgOxs_Tg$ [arxiv.org]), that represented some progress on the many questions that were left open in decades past.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
