布劳威尔扇定理
逻辑
2021-08-06 v2
摘要
布劳威尔(Brouwer)扇定理断言每个bar都是一致bar。我们概述了该公理在Bishop构造性数学中的地位。特别地，我们描述了扇定理、弱K"onig引理与一致连续性定理之间的关系。
引用
@article{arxiv.2001.00064,
title = {Brouwer's fan theorem},
author = {Josef Berger},
journal= {arXiv preprint arXiv:2001.00064},
year = {2021}
}