BD-N is a weak principle of constructive analysis. Severalinteresting principles implied by BD-N have already beenidentified, namely the closure of the anti-Specker spaces underproduct, the Riemann Permutation Theorem, and the Cauchyness ofall partially Cauchy sequences. Here these are shown to bestrictly weaker than BD-N, yet not provable in set theory aloneunder constructive logic.
"Principles weaker than BD-N." J. Symbolic Logic 78 (3) 873 - 885, September 2013. https://doi.org/10.2178/jsl.7803090