Noah Schweber : Computability and Banach-Mazur games

Posted by Sherwood Hachtman , part of the Logic Seminar.

At

April 16, 2019, 3:30 p.m.

In

427 SEO

Abstract

Over the last several decades, general determinacy principles have been studied extensively in computability theory and reverse mathematics, and a largely-complete analysis has emerged. However, determinacy principles for *topological* games - such as the Banach-Mazur game - are much less well understood. I'll present some initial results about the Banach-Mazur game for subsets of Baire space, including a full analysis of Borel Banach-Mazur determinacy and some comments on *lightface* versions of determinacy principles.