Flow：选择公理独立于划分原理
逻辑
2020-10-09 v1
摘要
我们引入一种称为 Flow 的通用函数理论。我们证明 ZF、非良基 ZF 和 ZFC 可作为我们框架的自然推论嵌入 Flow 中。强不可达基数的存在性由我们的公理所蕴含。我们的第一个重要应用是引入一个 Zermelo-Fraenkel 集合论模型，其中划分原理（PP）成立但选择公理（AC）不成立。因此，Flow 使我们能够回答集合论中最古老的开放问题：PP 是否蕴含 AC。
引用
@article{arxiv.2010.03664,
title = {Flow: the Axiom of Choice is independent from the Partition Principle},
author = {Adonai S. Sant'Anna and Otavio Bueno and Marcio P. P. de França and Renato Brodzinski},
journal= {arXiv preprint arXiv:2010.03664},
year = {2020}
}
备注
37 pages, 4 Figures