摘要：广义化Kiss的结论，我们提供了一个游戏，描述了任意可分距离度量空间之间的Baire 1类函数。我们证明了我们的游戏的确定性等价于广义化的Baire大定理，并且这两个陈述在AD和Solovay的模型下都成立。
作者：Lorenzo Notaro
论文ID：2301.11805
分类：Logic
分类简称：math.LO
提交时间：2023-06-30
PDF 下载： 英文版 中文版pdf翻译中