佛朗哥·蒙塔格纳 “病理学”中的两个句法类别的部分映射。 （英语） Zbl 0665.03038号 圣母院J.形式逻辑 30，第1期，105-116（1989）. 关于R.A.Di Paola先生和A.海勒的项目[J.Symb.Logic 52，594-635（1987；Zbl 0649.03032号)]考虑了部分映射的S类和S’类。在S（S'）中，这些映射取模PA可证明等式（模等式对于任何固定的参数值都是PA可证明的）。结果表明，S和S'不是支配范畴，因此Di Paola-Heller的总体概念与预期的概念不符。作者建议使用Rosolini指向p范畴的概念。据他说，与Di Paola-Heller项目相对应的所有结果都是负面的。本文的积极方面：Rosolini的p-范畴模型的相关示例；用范畴理论方法对总体进行句法分类；递归范畴的许多重要性质对S和S’（以及所有具有图灵态射的p范畴）的扩展；图灵态射的p范畴与主范畴之间的相关差异。审核人：S.V.索洛维耶夫 引用于1审查引用于2文件 理学硕士： 03D75号 抽象公理可计算性和递归理论 03G30型 分类逻辑，拓扑 18B99型 特殊类别 关键词：部分映射的类别;不完全性定理;主范畴;Rosolini尖p-categories;范畴论方法对整体性的句法分类;图灵同构;递归类别 引文：Zbl 0606.03011号;Zbl 0649.03032号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}，圣母院J.形式逻辑30，No.1，105--116（1989；Zbl 0665.03038） 全文： 内政部