CUNY Graduate Center
Room 5383
Fridays 12:30pm-2:00pm
Organized by Alf Dolich
Calendar
October 13
Vincent Guingona
Towson University
TBA
Abstract
September 22
Michael Benedikt
University of Oxford
Finite structures embedded in infinite ones, then and now
Abstract
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. We then present an overview of recent results by myself and Ehud Hrushovski (https://arxiv.org/abs/2304.09231), that begin to prorgess on the many questions that were left open in decades past.
Video
Previous Semesters