弱于BD-N的原理
逻辑
2015-10-09 v1
摘要
BD-N是构造性分析的一个弱原理。已经识别出若干由BD-N蕴含的有趣原理，即反斯佩克空间在乘积下的闭包、黎曼置换定理以及所有部分柯西序列的柯西性。此处表明这些原理严格弱于BD-N，但在构造性逻辑下仅用集合论无法证明。
引用
@article{arxiv.1510.02139,
title = {Principles Weaker than BD-N},
author = {Robert S. Lubarsky and Hannes Diener},
journal= {arXiv preprint arXiv:1510.02139},
year = {2015}
}