Games characterizing limsup functions and Baire class 1 functions

Márton Elekes, János Flesch, Viktor Kiss +3

We consider a real-valued function $f$ defined on the set of infinite branches $X$ of a countably branching pruned tree $T$. The function $f$ is said to be a \textit{limsup functio…