Time:  3:30pm  4:30 pm 
Room: 
Wean Hall 8220

Speaker: 
Vahagn Aslanyan Department of Mathematical Sciences CMU 
Title: 
AxSchanuel and related problems

Abstract: 
Ax proved a functional analogue of Schanuel's conjecture in 1971. I will show how one can use it to axiomatise the firstorder theory of the exponential differential equation in analogy with Zilber's pseudoexponentiation. Then I will discuss the possibility of AxSchanuel type results for other functions (differential equations), and some related problems. If time permits, I will show how AxSchanuel can be applied to prove a weak version of the Conjecture on Intersections with Tori. 