Juegos infinitos

Los juegos infinitos han servido como herramienta en varias aplicaciones en lógica, combinatoria, y otras áreas. Lo que los hace interesantes en la teoría de la computabilidad es la alta complejidad que pueden llegar a tener las estrategias para juegos relativamente simples. En esta charla, describiremos estos juegos, tal vez juguemos un poco, y explicaremos los conocimientos básicos necesarios para entender la respuesta --- dada por el autor y Richard Shore --- a la siguiente pregunta: ¿Cuánta determinación de juegos puede demostrarse sin usar objetos no numerables? Los esperamos a las 13:00 para tomar un café antes de la charla.