×

确定性和L(R)的结构。 (英语) Zbl 0573.03027号

递归理论,Proc。AMS-ASL夏季研究所,伊萨卡/纽约,1982年,Proc。交响乐团。纯数学。42, 271-283 (1985).
[关于整个系列,请参见Zbl 0556.00008号.]
本文综述了有关该假设的性质和含义的一些最新结果,该假设表明确定性公理在可由(ω^{ω})构造的集合域中成立。
审核人:C.冷静

MSC公司:

03E60年 确定性原则
03E45型 内部模型,包括可构造性、顺序可定义性和核心模型
91A07型 有无限多玩家的游戏
91A05型 2人游戏
03-02 与数学逻辑和基础相关的研究展览(专著、调查文章)