This mathematician names a type of equivalence relation on a Polish space and a reducibility between them that is used to compare classification problems. If the payoff set of a Gale–Stewart game has a property named for this mathematician, then there exists a winning strategy by a namesake determinacy. The collections “capital Sigma-sub-one-superscript-zero” and “capital-Pi-sub-one-superscript-zero” appear in a construct named for this mathematician whose second level consists of all F-sigma and G-delta sets. An object named for this mathematician is (*) generated by all intervals under complements and countable unions. This mathematician names the sigma-algebra generated by open sets. For 10 points, what French mathematician’s name appears second in a theorem equating closed and bounded sets with compact sets, which is co-named for Eduard Heine? ■END■
ANSWER: Émile Borel [or Félix Édouard Justin Émile Borel; accept Borel equivalence relation, Borel determinacy theorem, Borel hierarchy, Borel sigma-algebras, or Borel sets]
<Tim Morrison, Other Science - Mathematics>
= Average correct buzz position