摘要：M的核心模型是V的核心模型的迭代
作者：Ralf Schindler
论文ID：math/0104073
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中