I'm reading a theorem due to Oxtoby about the link between the Baire spaces and the Choquet Game. I found it in Kechris, Classical Descriptive Set Theory, pag. 43.
I can't understand what he means with "transitive exaustion argument" in the second part of the proof. The Zorn's Lemma argument clearly works for construct the family required, but can it be avoid?
