埃德蒙·罗宾逊 PER的完成程度如何？ （英语） Zbl 0717.03028号 计算机科学中的逻辑，Proc。第四届年度交响乐团。，Pacific Grove/CA（美国）1989，106-111（1989）。 摘要：[有关整个系列，请参阅Zbl 0713.00018号.]近年来，自然数上的部分等价关系（PER）范畴被广泛用于建模各种形式的高阶类型理论。众所周知，PER可以被视为直觉主义Zermelo-Fraenkel集合理论非标准模型中的一类集合。使用PER作为建模类型理论的工具，源于该类别的完备性属性。本文的目的是证明这些完备性性质，并从建设性的角度证明一些完备范畴比其他范畴更完备。 引用于5文件 MSC公司： 03G30型 分类逻辑，拓扑 18A35型 允许极限的范畴（完备范畴），保持极限的函子，完备 关键词：自然数上的部分等价关系范畴;每;高阶类型理论;完整性;完整的类别 引文：Zbl 0713.00018号 PDF格式BibTeX公司 XML格式