Computability Cheat Sheets
Here is a list of cheat sheets about computability-theoretic topics written by my students William Gaudelier, Ahmed Mimouni and Quentin Le Houerou.
Classical Computability Theory
Pi01 classes and PA degrees
Ahmed Mimouni and Ludovic Patey
Immunity and function growth
William Gaudelier and Ludovic Patey
Arithmetic Hierarchy
Ahmed Mimouni and Ludovic Patey
Reverse Mathematics
Induction
Quentin Le Houerou and Ludovic Patey
