A Omitted Details from Section

A Polish space is a separable topological space that can be metrized by a complete metric. We move on to the discussion of universally measurable functions. Polish spaces are the same as Borel sets, from a probabilistic perspective. W e say that H has an infinite VCL tree if it has a VCL tree of depth d = 1 . We briefly discuss some important facts about Gale-Stewart games.