×

强行进行分析。 (英语) Zbl 0391.03024号

高等集理论,Proc。Oberwolfach 1977年,Lect。数学笔记。669, 277-302 (1978).

MSC公司:

03E40型 强制模型和布尔值模型的其他方面
03E15年 描述集合论
03D55号 可计算性和可定义性的层次结构