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.
An Isaac Newton Institute ProgrammeModel Theory and Applications to Algebra and AnalysisExpressive power of first-order logic for embedded finite models27th January 2005 Author: Oleg Belegradek (Istanbul Bilgi) AbstractI 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. |