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
Jing Zhang Carnegie Mellon University Title: Recursion Theory and Trees Abstract: We will begin by covering basics of computability notions, including Turing reducibility (with oracle), Turing degrees, Levy Hierarchy of sets etc. Then we will look at some basis theorems regarding recursive trees (eg. is it true that for every recursive tree we can find a branch with property A?). Time permitting, we will also investigate the trees formed by complete extensions of Peano Arithmetic and associated degree structures. Nothing is assumed! Anything related to Alan Turing is amazing! Date: Tuesday, September 8, 2015 Time: 5:30 pm Location: Wean Hall 8220 Submitted by: Zilin Jiang 