The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

An Isaac Newton Institute Programme

Logic and Algorithms

On asymptotic classes of finite structures

8th March 2006

Author: Charles Steinhorn (Vassar College)

Abstract

I will discuss joint work with Dugald Macpherson, and that of some of his recent Ph.D. students, on the development of model theory for some classes of finite structures. The point of view that informs the definitions of these classes, which we call finite asymptotic classes, and that we bring to their study reflects the outlook of current model theory for infinite structures. In fact, there are specific links to infinite model theory that I will mention. Time permitting, I also will discuss some of the ongoing work of Macpherson and myself that aims to extend the framework that is the main subject of the talk.