# Differences

This shows you the differences between two versions of the page.

abstractssun [2013/10/13 11:00] niwinski |
abstractssun [2013/11/08 10:16] (current) mostowski100 |
||
---|---|---|---|

Line 14: | Line 14: | ||

topological dynamics. Topological dynamics yields general counterparts of | topological dynamics. Topological dynamics yields general counterparts of | ||

the notion of a generic type in a stable group. | the notion of a generic type in a stable group. | ||

+ | |||

+ | {{:newelski_mostowski100.pdf|slides}} | ||

---- | ---- | ||

Line 25: | Line 27: | ||

** Abstract: ** Abstract: I will define the notion of Polish structure introduced by myself a few years ago, and discuss counterparts of some fundamental notions from stability theory in the context of Polish structures. Then I will focus on structural results about groups and rings in the context of Polish structures, some of which were obtained in collaboration with F. Wagner or J. Dobrowolski. | ** Abstract: ** Abstract: I will define the notion of Polish structure introduced by myself a few years ago, and discuss counterparts of some fundamental notions from stability theory in the context of Polish structures. Then I will focus on structural results about groups and rings in the context of Polish structures, some of which were obtained in collaboration with F. Wagner or J. Dobrowolski. | ||

+ | {{:krupinski_mostowski100.pdf|slides}} | ||

---- | ---- | ||

Line 35: | Line 38: | ||

** Abstract: ** I give an application of model theory, specifically the theory DCF_0 of differentially closed fields, to the problem of understanding algebraic relations between solutions of ordinary differential equations belonging to the Painleve family. I will give the required background as well as describing elementary aspects of the proof (joint with my student J. Nagloo). | ** Abstract: ** I give an application of model theory, specifically the theory DCF_0 of differentially closed fields, to the problem of understanding algebraic relations between solutions of ordinary differential equations belonging to the Painleve family. I will give the required background as well as describing elementary aspects of the proof (joint with my student J. Nagloo). | ||

- | [[http://www.mimuw.edu.pl/~niwinski/Haifa/APillay.pdf|slides]] | + | {{:pillay_mostowski100.pdf|slides}} |

---- | ---- | ||

Line 62: | Line 65: | ||

writing together with Vassilis Gregoriades. | writing together with Vassilis Gregoriades. | ||

+ | {{:moschovakis_mostowski100.pdf|slides}} | ||

---- | ---- | ||

Line 97: | Line 101: | ||

Konrad Zdanowski. | Konrad Zdanowski. | ||

+ | {{:kolodziejczyk_mostowski100.pdf|slides}} | ||

---- | ---- | ||

Line 106: | Line 111: | ||

** Abstract: ** Generalized quantifiers have thrived in logic, linguistics and computer science in ways perhaps unanticipated by Mostowski who introduced them in 1957. They have come to manifest a perfect symbiosis between model theory and set theory. Their model theoretic properties reflect a rich array of set-theoretical concepts such as large cardinals and combinatorial principles. I will end with a few remarks on dependence logic as a new way of thinking about generalized quantifiers. | ** Abstract: ** Generalized quantifiers have thrived in logic, linguistics and computer science in ways perhaps unanticipated by Mostowski who introduced them in 1957. They have come to manifest a perfect symbiosis between model theory and set theory. Their model theoretic properties reflect a rich array of set-theoretical concepts such as large cardinals and combinatorial principles. I will end with a few remarks on dependence logic as a new way of thinking about generalized quantifiers. | ||

+ | |||

+ | {{:vaananen_mostowski100.pdf|slides}} |