Martín Moroni, 2015-11-11: “Grados de Turing”

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”.

One thought on “Martín Moroni, 2015-11-11: “Grados de Turing”

  1. Pedro Sánchez Terraf Post author

    La charla estuvo interesante; el metateorema citado fue un resultado de H. Friedman que dice que es necesario del axioma-esquema de reemplazo para demostrar que todo juego Borel está determinado.

    Es uno de los pocos teoremas que puede pensarse como parte de la “matemática usual” que requiere este axioma.

Leave a Reply

Your email address will not be published. Required fields are marked *