Invariant uniformization

Alexander S. Kechris, Michael Wolman

Standard results in descriptive set theory provide sufficient conditions for a Borel set $P\subseteq {\mathbb{N}}^{\mathbb{N}}\times {\mathbb{N}}^{\mathbb{N}}$ to admit a Borel uniformiz…