摘要：关于在内部集合论IST的模型中嵌入集合论ZFC的标准模型M的特征化
作者：Vladimir Kanovei and Michael Reeken
论文ID：math/9711205
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中