莱布尼茨律与 ZFC 的亚相容模型
逻辑
2024-02-28 v2
摘要
在本文中,我们给出若干亚相容集合论(PSTs)的完全模型。这些模型建立在 Fidel 语义之上,其中它们是模型论意义下特定的 First-order 结构。这些结构在文献中被称为 F-结构,并且它们不是泛代数意义下的代数。我们通过改编著名的 John Lane Bell 著作中给出的证明,展示了如何为本文所研究的任一 PST 给出 ZFC 的亚相容模型;总体而言,我们在全文中改编了上述著作中的证明。
引用
@article{arxiv.2210.06626,
title = {Leibniz's law and paraconsistent models of ZFC},
author = {Aldo Figallo-Orellano},
journal= {arXiv preprint arXiv:2210.06626},
year = {2024}
}
备注
arXiv admin note: text overlap with arXiv:2007.11958