分段可定义函数类的博弈表示
逻辑
2011-12-01 v1
摘要
我们提出了一种在 \omega\ 上定义各种归约博弈的一般方法,这些博弈“表示”了相应的拓扑定义的函数类。特别地,我们将展示如何为分段定义的函数、作为特定函数序列逐点极限的函数以及 -可测函数构造博弈。这些博弈作为组合工具,对于研究 Baire 空间子集的一般可归约性非常有用 [10]。
引用
@article{arxiv.1111.7197,
title = {Game representations of classes of piecewise definable functions},
author = {Luca Motto Ros},
journal= {arXiv preprint arXiv:1111.7197},
year = {2011}
}
备注
19 pages