一种新型的反基础公理
A new kind of anti-foundation axioms
首次发表
浏览论文内容
中文总结 AI 辅助
本文在四个反基础公理的基础上，将正则互模拟下的反基础公理AFA~推广至具有集合性质的正则互模拟情形，证明该推广可构造出新的反基础公理，具有实质性意义。
中文摘要 AI 辅助
在四个著名的反基础公理中，BAFA、FAFA、SAFA和AFA，后三者均为AFA~（~是正则互模拟）的特例。本文将其推广为AFA~（~是正则且具有所谓集合性质），并通过构造新的反基础公理证明该推广具有实质性。
英文摘要
Among the four well-known anti-foundation axioms, $\mathsf{BAFA}$, $\mathsf{FAFA}$, $\mathsf{SAFA}$, and $\mathsf{AFA}$, the latter three are all special cases of $\mathsf{AFA}^\sim$ ($\sim$ is one of the regular bisimulations). In this paper, we generalize it to $\mathsf{AFA}^\sim$ ($\sim$ is regular and has the so-called set property), and show that this generalization is substantial by constructing new anti-foundation axioms.
