Iterated Forcing with ωω-bounding and Semiproper Preorders (公理的集合論)
Iterated Forcing with ωω-bounding and Semiproper Preorders (公理的集合論)
复制标题
具有 ωω 边界和半正确预序的迭代强迫（公理集理论）
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
宮元 忠敏
中科院分区：
文献类型：
--
作者：
宮元 忠敏
