After successful completion of the course, students are able to independently prove various advanced computability-theoretic statements and facts, and to apply results presented in the lectures to achieve this.
Advanced results from computability theory. Finite and infinite injury constructions, computability-theoretic forcing, recent computability-theoretic results.
Lecture and independent work
Oral exam
Not necessary
This is a course for advanced students. Basic knowledge of computability theory, including the ideas of injury constructions (at least the Friedberg-Muchnik theorem) is required.