[PPT] - Set-theoretical aspects of proof theory via Turing progressions PowerPoint Presentation