Computability and Banach-Mazur games
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.
Tuesday April 16, 2019 at 3:30 PM in 427 SEO