Zermelo-Fraenkel集合论的亚相容模型
逻辑
2022-10-18 v1
摘要
在本文中，我们遵循为Heyting值模型所开发的方法论构建Fidel结构值模型；需回顾Fidel结构并非泛代数意义下的代数。取验证莱布尼茨律的模型，我们能够证明ZF的所有集合论公理在这些模型上均有效。该证明强烈依赖于莱布尼茨律的亚相容模型的存在性。在此设定下，讨论了使用标准解释映射为负公式律构造代数亚相容模型的困难，表明莱布尼茨律模型的存在性对于获得ZF的模型至关重要。
引用
@article{arxiv.2210.08070,
title = {Paraconsistent models of Zermelo-Fraenkel set theory},
author = {Aldo Figallo-Orellano and Juan Sebastian Slagter},
journal= {arXiv preprint arXiv:2210.08070},
year = {2022}
}
备注
arXiv admin note: text overlap with arXiv:2210.06626, arXiv:2007.11958