Double sequences, almost Cauchyness and BD-N
J. Berger, Douglas Bridges, Erik Palmgren · Logic Journal of IGPL · 2011
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.