加载中…
We consider a real-valued function defined on the set of infinite branches of a countably branching pruned tree . The function is said to be a if there is a function $u \colon T \to f(x) = \limsup_{t \to \infty} u(x_{0},\dots,x_{t})$ for each . We study a game characterization of limsup functions, as well as a novel game characterization of functions of Baire class 1.

生成讲解博客的中文版本

生成AI智能校验的中文版本