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

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.