Graduate Programs
Graduate Home
Ph D Programs
Masters Degree
Ph D Program Requirements
Course Descriptions
Current Courses
Admissions
Current Graduate Students
Graduate Student Seminar
SIAM Chapter Seminar
Recent Graduates
Incoming Students

Graduate Seminar
Marcos Mazari Armida CMU Title: Ax Theorem via Model Theory Abstract: It is easy to show that if f is an injective function between two finite sets of the same size then f must be surjective. In this talk, we will show the following theorem due to Ax: if f is an injective polynomial from the complex numbers to the complex numbers then f is surjective. In order to do that, we will present some basic notions of model theory and the way they interact between them. Date: Tuesday, February 20, 2018 Time: 5:30 pm Location: Wean Hall 8220 Submitted by: Son Van 