Sala 6.2.33, FCUL, Lisboa
António Fernandes
Instituto Superior Técnico
Abstract: The purpose of this talk (eventually a series of talks) is to exhibit a proof (by Donald Martin) that analytic determinacy holds under a certain large cardinal hypothesis. In fact we intend to convey a little bit more than just the content of this proof, we will try to enlighten the deep connection between determinacy, which is a game related concept, and the theory of definable sets of reals.
This seminar is supported by National Funding from FCT - Fundação para a Ciência e a Tecnologia, under the project: UID/MAT/04561/2013.
15h00
CMAF-CIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
