BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Infinitary methods in finite model theory - Lindell\, S (Haverford
  College)
DTSTART:20120330T100000Z
DTEND:20120330T103000Z
UID:TALK37197@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:The accepted wisdom is that standard techniques from classical
  model theory fail to apply in the finite.  We attempt to dispel this noti
 on by presenting new proofs of the Gaifman and Hanf locality theorems\, as
  they appear in Libkin's textbook on finite model theory. In particular\, 
 using compactness over an expanded vocabulary\, we obtain strikingly simpl
 e arguments that apply over both finite and infinite structures -- all wit
 hout the complexity of EhrenfeuchtFrass games normally used. Our technique
 s rely on internalizing most of the relevant mathematical features into th
 e first-order theory itself. It remains to be seen whether these methods c
 an be extended to proving order-invariant locality.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR