Double sequences, almost Cauchyness and BD-N

作者：Berger Josef^*; Bridges Douglas; Palmgren Erik

来源：Logic Journal of the IGPL, 2012, 20(1): 349-354.

DOI：10.1093/jigpal/jzr045

• Constructive
• BD-N
• zero at infinity
• almost Cauchy

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.

• 出版日期2012-2