论文标题
表征Limsup功能和Baire 1类功能的游戏
Games characterizing limsup functions and Baire class 1 functions
论文作者
论文摘要
我们考虑在无限分支的集合$ x $上定义的真实值$ f $ f $。如果有一个函数$ u \ u \ colon t \ to \ mathbb {r} $，则该函数$ f $被说为textit {limsup函数}，这样，$ f（x）= \ limsup_ {t \ t \ to \ to \ infty}我们研究了LIMSUP功能的游戏表征，以及Baire 1类功能的新型游戏表征。
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 function} if there is a function $u \colon T \to \mathbb{R}$ such that $f(x) = \limsup_{t \to \infty} u(x_{0},\dots,x_{t})$ for each $x \in X$. We study a game characterization of limsup functions, as well as a novel game characterization of functions of Baire class 1.
