[Turkmath:8207] Istanbul Bilgi University Departmental Seminar March 2- Artem Chernikov (Lyon 1)

[Pinar Ugurlu]

Dear All,

Artem Chernikov (Lyon I) will give a talk at our departmental
seminar on Friday (March 2) at 16:00 in the room D-135.
The title and abstract below.

Best,

Piotr
--------------------------------------------------------------------------
Title: Honest definitions and uniform definability of types over finite sets

Abstract: Theories without the independence property (NIP) is an
important class containing stable and o-minimal theories, and other
important examples such as algebraically closed valued fields. A
classical result of Shelah is that in a stable theory, types over
arbitrary sets are uniformly definable, and that in fact this property
characterizes stability. Laskowski conjectured that the same is true
for NIP theories, but only considering finite sets. In a joint work
with Pierre Simon we establish the conjecture  assuming that the whole
theory is NIP, by combining honest definitions with a powerful
combinatorial result of Matousek on the piercing numbers for families
with finite VC-dimension.




[http://bilgi.edu.tr/site_media/uploads/files/2011/06/20/maildisclaimer.png]