[论文解读] Acyclic Comprehension is equal to Stratified Comprehension

Zuhair Al-Johar, M. Randall Holmes|arXiv (Cornell University)|Oct 7, 2020

Logic, Reasoning, and Knowledge被引用 5

一句话总结

本文证明了在新基础集合论（New Foundations）中，无环概括（acyclic comprehension）——即断言由无环公式定义的集合存在的概括——在逻辑上等价于分层概括（stratified comprehension）。作者表明，通过变量连接的图论无环性定义的无环公式，其集合存在强度与经典的分层准则完全相同，从而解决了长期以来关于无环概括可能严格弱于分层概括的猜想。

ABSTRACT

A new criterion of comprehension is defined, initially termed by myself as "connected" and finally as "Acyclic" by Mr. Randall Holmes. Acyclic comprehension simply asserts that for any acyclic formula phi, the set {x:phi} exists. I first presented this criterion semi-formally to Mr. Randall Holmes, who further made the first rigorous definition of it, a definition that I finally simplified to the one presented here. Later Mr. Holmes made another presentation of the definition which is also mentioned here. He pointed to me that acyclic comprehension is implied by stratification, and posed the question as to whether it is equivalent to full stratification or strictly weaker. He and initially I myself thought that it was strictly weaker; Mr. Randall Holmes actually conjectured that it is very weak. Surprisingly it turned to be equivalent to full stratification as I proved here

研究动机与目标

• 研究无环概括——一种新的集合存在准则——是否在新基础（NF）集合论中与经典的分层概括等价。
• 解决Randall Holmes提出的开放问题：无环概括是否严格弱于分层概括。
• 通过证明相互蕴含，建立无环概括与分层概括之间的形式等价性。
• 使用变量关系的图论连通性与无环性，对无环公式提供严谨定义与特征刻画。

提出的方法

• 通过图 $ G_{\phi} $ 定义无环公式，其中顶点为变量，边表示原子连接关系（$ x \in y $, $ y \in x $, $ x = y $, $ y = x $）。
• 若 $ G_{\phi} $ 不含环，则称该公式为无环公式，确保任一变量无法通过链式关系回到自身。
• 通过利用 $ G_{\phi} $ 的连通分量并基于唯一路径构造分层，证明分层概括蕴含无环概括。
• 通过仅从无环概括与外延性公理推导出分层概括的有限公理化体系的所有公理，证明无环概括蕴含分层概括。
• 使用Wiener序对及定义性工具（如域、逆关系、相对积）在无环概括下重建标准NF结构。
• 验证在无环概括下，所有必要的集合运算（补集、并集、笛卡尔积、投影）均可定义且保持一致。

实验结果

研究问题

• RQ1 无环概括是否严格弱于分层概括，还是二者等价？
• RQ2 能否从无环概括与外延性公理推导出分层概括的公理？
• RQ3 基于变量连接图的无环性条件，是否足以捕捉分层的全部强度？
• RQ4 能否仅使用无环概括与外延性公理，重构分层概括的有限公理化体系？

主要发现

• 在新基础集合论中，无环概括与分层概括在逻辑上等价。
• 公式图论无环性条件确保每个变量在其连通分量中具有唯一通向根节点的路径，从而支持一致的分层构造。
• 分层概括蕴含无环概括，因为任何分层公式自动满足无环性，其分层结构在变量连接上形成类似树的结构。
• 无环概括蕴含分层概括，通过仅使用无环概括与外延性公理，证明了分层概括的完整有限公理化体系。
• 该证明在强外延性与弱外延性下均成立，当弱外延性中用 $ V $ 替代 $ 0 $ 时仅需微小调整。