[Alta-Logic] Logic and Category Theory Group

[ggpayett at ucalgary.ca]

Title: Fundamentals of Fraïssé theory: the art of gluing structures together.

Start: 10/08/2008 - 13:00
End: 10/08/2008 - 14:00

Room: ICT 616

Given a class K of finite structures in a given language, is it possible
to find a structure X in the same language so that K is exactly the class
of finite substructures of X? If so, what are the generic properties of
such an X?

The purpose of this talk is to present an old theory that answers the
first question, as well as recent developments that answer the second one.




-- 
Gillman Payette
Department of Philosophy
University of Calgary
2500 University Drive NW
Calgary, AB T2N 1N4, Canada
Ph 403.220.7518
Fax 403.289.5698