University Seminar- Computability, Complexity, and Algebraic Structure: Relativized Computability Theoretic Properties and Their Syntactic Characterization

Time: Wednesday, November 6, 2:20 – 3:20pm

Place: Rome Hall, Room 352

Speaker:  Philip White, GWU

Title: Relativized Computability Theoretic Properties and Their Syntactic Characterization

Abstract:  In this talk, we discuss various computability theoretic properties as well as their syntactic characterizations. Instead of focusing on classical computability theoretic properties, such as immunity and hyper-immunity, we will focus on their relativized counterparts. We aim to syntactically characterize these relativized properties using the forcing framework we discussed previously.