Differences

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

Link to this comparison view

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}}