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

Model Theory and Applications to Algebra and Analysis

Expressive power of first-order logic for embedded finite models

27th January 2005

Author: Oleg Belegradek (Istanbul Bilgi)

Abstract

I will discuss some questions posed by J.T.Baldwin and M.Benedikt [Trans. AMS 352 (2000)] concerning a relation between expressive power of first-order logic over finite models embedded in a model M and stability-theoretic properties of M.