[Turkmath:8842] Sabancı Üniv. Math. Colloquium (Mar. 20 Wednesday, 14:00): David Pierce, Chains of structures and of theories

[wmeidl]

Dear All,

please find below the abstract of the Sabancı University Math. 
Colloquium talk by
*
David Pierce*, Mimar Sinan Güzel Sanatlar Üniversitesi
*Title: *Chains of structures and of theories
*Date: *Wednesday*, *20.03.2013, 14:00.
*Place:* Sabancı University, FENS G029.

All interested are welcome to attend. For directions to Sabancı 
University please visit

http://www.sabanciuniv.edu/tr/?kampus_hayati/hizmet_ve_olanaklar/ulasim.html


Abstract: The union of a chain of fields is a field. The union of a 
chain of vector-spaces with their scalar-fields is still a vector-space, 
but it may have strictly lower dimension than the spaces in the chain. A 
model-theoretic result of the 1950s called the Chang--Los-Suszko Theorem 
relates these observations to the logical form of the theories of the 
structures in the chains.

Instead of looking at chains of models of a fixed theory, one may 
fruitfully look at chains of theories themselves. Such a chain might 
consist of the theories of fields equipped with finite numbers of 
commuting derivations; or of the theories of vector-spaces with 
predicates for linear dependence of finite numbers of vectors. I shall 
discuss some results concerning these and other examples.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/private/turkmath/attachments/20130313/5cd16ce0/attachment.html>