扇定理及其弱化形式的分离
逻辑
2015-10-09 v1
摘要
近来在逆构造数学中发展了扇定理的多种变体，对应于不同的连续性原理。它们形成了一个自然蕴含层次。一些蕴含已被证明是严格的，另一些在弱背景下严格，而其他则完全不严格，使用了不同的技术。在此我们提出一系列相关的Kripke模型，分离了所有迄今已识别的扇定理。
引用
@article{arxiv.1510.02141,
title = {Separating the Fan Theorem and Its Weakenings},
author = {Robert S. Lubarsky and Hannes Diener},
journal= {arXiv preprint arXiv:1510.02141},
year = {2015}
}