罗伯特·卢巴斯基。 IKP和朋友们。 （英语） Zbl 1039.03041号 J.塞姆。日志。 67，第4期，1295-1322（2002）. 导言：多年来，人们对直觉方法越来越感兴趣。然而，关于直觉集理论的工作相对较少，其中大部分是关于直觉ZF的。这项调查是关于直觉主义的可接受性和类似强度的理论。本文有几个更具体的目标。一种是获得更多的各种集合理论的克里普克模型。那些涉及IZF的论文通常在本质上更具实证性，并且没有提供模型。此外，这里许多结构的灵感来自经典的强制论证。虽然强迫和克里普克结构之间的对应关系并不紧密，但这两种方法之间的关系很有趣，一些示例即使只是提示性的，也应该帮助我们更好地理解强迫和克里普结构之间的关系。沿着不同的方向，归纳定义的最小不动点和最大不动点这一主题虽然是计算机科学家感兴趣的，但尚未得到建设性的研究，而且可能会有一些惊喜。当然，可接受性是本研究合适的理论背景。最后，虽然这里提到的大多数经典材料长期以来都是标准的，但其中一些还没有得到很好的编纂，甚至可能是未知的，因此在这一过程中，我们甚至会填补古典文学的空白。下一节将介绍IKP的基础知识，包括归纳定义不动点的一些备注。然后介绍了一些与KP相关的经典理论，其中哪些理论暗示了哪些理论是完全表征的。虽然它们一般不等价，但当限制为（经典）L的初始段时，它们是等价的。然而，后面的章节表明，在直觉主义L中，这种等价性被打破了。我们以一些问题结束。 引用于4文件 MSC公司： 03E70型 非经典和二阶集合论 03楼55 直觉数学 关键词：直觉集合论;直觉可容许性;克里普克模型;强制;归纳定义的不动点 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Lubarsky}，J.Symb（J.塞姆）。日志。67，第4号，1295--1322（2002；Zbl 1039.03041） 全文： 内政部 arXiv公司 参考文献： [1] 集合论（1978） [2] 数学进展第1页–（1985） [3] 建构数学基础（1985） [4] 可接受的集合和结构（1975） [5] 多重强制（1986） [6] 计算机科学中的逻辑方法：Nerode会议第555页（1993年） [7] 有时，袋压力需要帮助才能产生最小上限pp 490–（1989）·Zbl 0706.03040号 [8] Curry-Howard同构8 pp 257–（1995） [9] 将哥德尔的否定解释扩展到采埃孚第221页–（1975）·Zbl 0356.02049号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。