论布尔巴基不动点定理与选择公理
逻辑
2019-06-05 v2
摘要
在本注记中，我们推广了 Moroianu 的不动点定理。我们给出了布尔巴基不动点定理与我们的结果的一个非常简洁的共同证明。我们应用我们的结果，非常简洁地证明了在 Zermelo-Fraenkel 系统中，选择公理等价于下列各个命题：H. Kneser 引理、Zorn 引理、Zermelo 引理。
引用
@article{arxiv.1905.09782,
title = {On the Bourbaki's fixed point theorem and the axiom of choice},
author = {Mohssin Zarouali-Darkaoui},
journal= {arXiv preprint arXiv:1905.09782},
year = {2019}
}