Long games and determinacy when sets are universally Baire

project number
V 844 Richter-Programm (inkl. Richter-PEEK)
project lead
decision board
2020/11/23

project details