Recursion theorem + logical theories + Turing reducibility + descriptive complexity
Source:
CoCo lecture, UCPH, DIKU, 2021;
Introduction to the theory of computation, Michael Sipser, 3rd edition
