nLab sequentially Cauchy-complete space

Contents

Context

Analysis

Constructivism, Realizability, Computability

Contents

Definition

Let SS be a Cauchy space (such as a uniform space or a metric space). SS is sequentially Cauchy-complete if every Cauchy sequence in SS converges.

Examples

See also

References

Last revised on May 6, 2022 at 13:55:44. See the history of this page for a list of all contributions to it.