探索
探索
讲义
小文章
讨论室
写作
写作
新页面
写作计划
上传文件
搜索
搜索
个人工具
创建账户
登录
通知
名字空间
讲义
讨论
视图
查看
查看源代码
历史
讲义:
集合论基础 (OperatorP)
上一节:
6.6. 对偶性质
下一节:
6.8. 解析集
TeX 导言:
集合论基础 (OperatorP)/preamble
6.7. 游戏与决定性
这一小节, 我们介绍更多的游戏, 并列举其性质与应用.
新的游戏
分离游戏与 Hurewicz 定理
Wadge 游戏与 Turing 度
Borel 决定性