[Turkmath:8844] Reminder: ISTB-8 (Istanbul Number Theory Meetings-8)

[KAZIM Büyükboduk]

Dear Colleagues,

This a kind reminder for the 8th of the INTM which will take place tomorrow
(March 16th, Saturday) at 10:00. Details regarding the location and the
talks are attached below.

Best Regards,

Kazim Buyukboduk


Istanbul Number Theory Meetings - 8
Date: March 16th, Saturday
Location: Galatasaray University, Room P22

(Directions: "Matematik bölümüne gider gibi tüneli geçip, tünelden çıkınca
sağa değil sola dönüyorsunuz. Biraz ileride soldaki binadan (adı Yiğit
Okur) girdikten sonra, giriş katında sağ dipteki oda P22.")


Morning Talk (10:00-12:00):

Speaker: Sonat Suer
Title: A Fast Introduction to O-minimality
Abstract: An ordered first order structure M is called order minimal, or
o-minimal for short, if every definable subset of M can be defined using
the order alone. Any real closed field is o-minimal by a theorem of Tarski.
A more recent example is the real field together with restricted analytic
functions and the full exponential function. In any o-minimal structure M
one can decompose definable subsets of M^n into well behaved definable
subsets called cells, and using this, one can define notions of dimension
and Euler characteristics. In this respect, o-minimality is an axiomatic
approach to Grothendieck's hoped-for notion of tame topology.

In the first part of the talk, we will sketch the proof of the cell
decomposition theorem. The second part will be about uniformaization
theorems in o-minimal structures, setting the stage for the following talk
by Ayhan Günaydın.


Afternoon talk (13:30-15:30):

Speaker: Ayhan Günaydın
Title: Implementations of Pila-Wilkie counting theorem on number theoretic
problems
Abstract: Assuming the knowledge of the statement of Pila-Wilkie Theorem on
counting rational points of sets definable in o-minimal structures, we
present proofs of certain number theoretic problems of Diophantine nature.
The main example is a (re)-proof of the Manin-Mumford conjecture by Pila
and Zannier.  After presenting this proof, we shall focus on more general
problems of André-Oort type. (This is an expository talk, and none of the
results are due to the speaker.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/private/turkmath/attachments/20130315/7d5e6ebc/attachment.html>