×

射影层次中的有效Ramsey定理。 (英语) Zbl 0507.03023号

81年逻辑学术讨论会,Proc。赫布兰德交响乐团。,1981年马赛,《发现逻辑研究》。数学。107, 179-187 (1982).

MSC公司:

03E60年 确定性原则
03E15年 描述性集合论
03D55号 可计算性和可定义性的层次结构