Translator Disclaimer
September 2013 Principles weaker than BD-N
Hannes Diener, Robert S. Lubarsky
J. Symbolic Logic 78(3): 873-885 (September 2013). DOI: 10.2178/jsl.7803090

Abstract

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.

Citation

Download Citation

Hannes Diener. Robert S. Lubarsky. "Principles weaker than BD-N." J. Symbolic Logic 78 (3) 873 - 885, September 2013. https://doi.org/10.2178/jsl.7803090

Information

Published: September 2013
First available in Project Euclid: 6 January 2014

zbMATH: 06243230
MathSciNet: MR3135502
Digital Object Identifier: 10.2178/jsl.7803090

Subjects:

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
13 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.78 • No. 3 • September 2013
Back to Top