摘要：使用候选集猜测和其他pcf构造来证明给定的偏序类别中不存在最大或最普遍元素的研究调查
作者：Mirna Dv{z}amonja
论文ID：math/0608330
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中