Math 773: Computability Theory
Prerequisites:
Consent of instructor
Instructor:
Mingzhong Cai
Time and Place:
MWF 2:25-3:15pm
textbooks:
Soare: Recursively enumerable sets and degrees
Course Content:
Turing degrees and jump, strong reducibilities, arithmetic hierarchy; Kleene-Post Theorem, jump classes; c.e. sets and degrees, injury arguments; minimal degrees and tree constructions; pseudo-jump operator.