We can conclude more from Corollary REF . Namely, in \(\mathsf {ZF}+\mathsf {AC}\)  it is known by a Theorem of Martin [1]} that every
Borel set \(A\subseteq {{N}}^{{N}}\)  is determined, i.e., either player I or player II has a winning strategy
(see also [2]}).
