A.苏瓦拉斯。 与NF一致性相关的组合学。 （英语） Zbl 1203.03080号 Crabbé，Marcel（编辑）等人，剑桥NF会议70周年会议记录。纪念奎因的开创性论文《数学逻辑的新基础》出版70周年，英国剑桥，2007年5月26日至27日。卢瓦因·拉纽夫：布鲁兰学院（ISBN 978-2-87209-937-5/pbk）。物流中心Cahiers du Centre de Logique 16，109-136（2009）。 摘要：我们详细阐述并完善了年开发的NF一致性方法的某些方面[A.祖瓦拉斯，J.Symb。日志。72，第1号，285–304（2007年；Zbl 1116.03046号)]通过相干对及其可扩展性。给出了一些进一步的结果、概念和问题。首先，提供了NF（_3）一致性的快速证明。接下来，根据分区的“相干三元组”给出了相干对的另一种等价形式化。对可扩展性进行了仔细检查，结果表明，与一般分区不同，只有“简单分区”，即由无限集和单元素集组成的分区，才能贯穿始终。此外，还提出了一个弱于（n）可扩展性的属性，称为“（n）增强性”。一些特殊的（n）-可扩充性问题被证明是肯定的，而其他问题，尤其是吸引人的（0，0，n）-扩充性问题，仍然是开放的。解决了这一问题的部分情况，同时讨论了其硬度的来源。最后，简要概述了如何将所有这些问题表述为ZFC单独的组合问题，而不参考TST模型。关于整个系列，请参见[Zbl 1186.03003号]. 引用于1审查引用于1文件 MSC公司： 03E70型 非经典和二阶集合论 03E35号 一致性和独立性结果 关键词：NF一致性;相干对;可扩展性;增强性;ZFC的组合问题 引文：Zbl 1116.03046号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tzouvaras}，加利福尼亚州。美分。日志。16、109--136（2009年；Zbl 1203.03080）