skip to content
 

Expressive power of first-order logic for embedded finite models

Presented by: 
O Belegradek [Istanbul Bilgi]
Date: 
Thursday 27th January 2005 - 11:00 to 12:30
Venue: 
INI Seminar Room 1
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.

University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons