Assertion: cauchy sequence | /r/ObjectUse | used by errett bishop
Facets:
value: in his foundations of constructive analysis
type: OTHER
Source sentences:
text: Regular Cauchy sequences were used by Errett Bishop in his Foundations of Constructive Analysis, and by Douglas Bridges in a non-constructive textbook (ISBN 978-0-387-98239-7).