-
Views
-
Cite
Cite
Josef Berger, Douglas Bridges, Erik Palmgren, Double sequences, almost Cauchyness and BD-N, Logic Journal of the IGPL, Volume 20, Issue 1, February 2012, Pages 349–354, https://doi.org/10.1093/jigpal/jzr045
- Share Icon Share
Abstract
It is shown that, relative to Bishop-style constructive mathematics, the boundedness principle BD-N is equivalent both to a general result about the convergence of double sequences and to a particular one about Cauchyness in a semi-metric space.
This content is only available as a PDF.
© The Author 2011. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected]
Issue Section:
Original Articles
You do not currently have access to this article.