ON MODEL THEORY FOR CLASSES OF FINITE STRUCTURES

Charles Steinhorn

Vassar College

Date: Wednesday, March 12.
Time: 12:00
Place: Seminar Room of the Department of Logic, History and Philosophy of Science (UB), 4th Floor. Montalegre 6.

Abstract

We survey some of our work on the development of model theory for classes of finite structures. Most of this is joint with Macpherson, with important contributions by his students. The initial impetus for this program emerges from Chatzidakis, van den Dries, and Macintyre's 1992 paper on finite fields. We also will discuss Tao's algebraic regularity lemma---a definable version of Szemeredi's regularity lemma---and how it fits into our general framework.

Supported by:

Organized by Joan Bagaria, Enrique Casanovas and Rafel Farré

Previous sessions