保罗·德德克 范畴理论和数学基础。 （英语） Zbl 0574.18001号 数学逻辑和形式系统，Coll。爸爸。尊敬的N.C.A.da Costa，Lect。Notes纯应用。数学。94, 67-85 (1985). [关于整个系列，请参见兹比尔0563.00002.]本文讨论了作者和N.C.A.da Costa关于范畴理论基础的一些建议。作者特别关注修改BG公理集的问题，以便在某些情况下允许类的类（但无论如何要避免罗素悖论）。讨论了一些模型，这些模型也是通过引入Grothendieck-Sonner宇宙构建的。范畴理论的基础问题也有一个历史背景，它忽略了一些（更多）最近的结果和建议S.费费曼，逻辑，找到。数学。，计算。理论；程序。第五届国际会议。，伦敦/安大略省1975年，第1部分，149-169（1977；Zbl 0401.18001号)和其他]。审核人：P.L.法拉利 MSC公司： 18甲15 基础、与逻辑和演绎系统的关系 03B30型 经典理论基础（包括逆向数学） 03E30年 经典集合论及其片断的公理化 关键词：范畴理论的基础;罗素悖论;格罗森迪克-索纳宇宙 引文：Zbl 0563.0002号;Zbl 0401.18001号 PDF格式BibTeX公司 XML格式