BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Fraïssé's construction from a topos-theoretic perspective - Oliv
 ia Caramello (University of Cambridge)
DTSTART:20090203T141500Z
DTEND:20090203T154500Z
UID:TALK16772@talks.cam.ac.uk
CONTACT:Richard Garner
DESCRIPTION:We present a topos-theoretic interpretation of (a categorical 
 generalization of) Fraïssé's construction in Model Theory\, with applica
 tions to countably categorical theories. The proof of our main theorem rep
 resents an instance of exploiting the interplay of syntactic\, semantic an
 d geometric ideas in the foundations of Topos Theory.\n
LOCATION:MR3\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR