Next Wednesday M. Moroni (CIEM-FaMAF) will give us a talk relating descriptive set theory to the Turing degree structure.
Título: Grados de Turing
Resumen: repasaremos algunos conceptos básicos de teoría de conjuntos descriptiva hasta definir la noción de grados de Turing y su estructura asociada $\langle \mathbf{D}, \leq\rangle$. Luego presentaremos un teorema de D. A. Martin y cómo se usa para probar un “metateorema” del tipo “toda prueba del enunciado X usa la afirmación Y”.
(source)