Publication Date:
2012-01-18
Description:
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.
Print ISSN:
1367-0751
Electronic ISSN:
1368-9894
Topics:
Mathematics