Seminar series
Date
Thu, 05 Feb 2009
Time
17:00 -
18:00
Location
L3
Speaker
Olivia Caramello
Organisation
Cambridge
We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé's construction in Model Theory, with applications to countably categorical theories. The proof of our main theorem represents an instance of exploiting the interplay of syntactic, semantic and geometric ideas in the foundations of Topos Theory.