Name
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. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1093/jigpal/jzr045 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Constructive,BD-N,zero at infinity,almost Cauchy | Convergence (routing),Discrete mathematics,Constructivism (mathematics),Mathematics | Journal |
Volume | Issue | ISSN |
20 | 1 | 1367-0751 |
Citations | PageRank | References |
2 | 0.45 | 2 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Josef Berger | 1 | 11 | 2.56 |
| Douglas S. Bridges | 2 | 165 | 51.19 |
| Erik Palmgren | 3 | 233 | 43.17 |