Skip to content

MAA

Seminar

Expressive power of first-order logic for embedded finite models

Belegradek, O (Istanbul Bilgi)
Thursday 27 January 2005, 11:00-12.30

Seminar Room 1, Newton Institute

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.

Back to top ∧