Editing Cauchy sequence (section)

==Further reading==
*{{cite book
 |last= Bishop
 |first= Errett Albert
 |author-link= Errett Bishop
 |title=Foundations of Constructive Analysis
 |publisher=Ishi Press
 |year=2012
 |isbn=9784871877145
}}

*{{cite book
 |last= Bourbaki
 |first= Nicolas
 |author-link= Nicolas Bourbaki
 |title=Commutative Algebra
 |url=https://archive.org/details/commutativealgeb0000bour
 |url-access=registration
 |edition=English translation
 |publisher=Addison-Wesley / Hermann
 |year=1972
 |isbn=0-201-00644-8
}}

*{{cite book
 |last= Bridges
 |first= Douglas Sutherland
 |title=Foundations of Constructive Analysis
 |publisher=Springer
 |year=1997
 |isbn=978-0-387-98239-7
}}

*{{cite journal
 |last=Krause
 |first=Henning
 |title=Completing perfect complexes: With appendices by Tobias Barthel and Bernhard Keller
 |journal=Mathematische Zeitschrift
 |volume=296
 |issue=3–4
 |year=2020
 |pages=1387–1427
 |doi=10.1007/s00209-020-02490-z
 |doi-access=free
|arxiv=1805.10751
 }}

*{{cite book
 |last= Lang
 |first= Serge
 |author-link= Serge Lang
 |title= Algebra
 |edition= 3d
 |publisher=Addison Wesley Publishing Company
 |location=Reading, Mass.
 |year=1992
 |isbn=978-0-201-55540-0
 |zbl=0848.13001
}}

*{{cite book
 |last=Spivak
 |first=Michael
 |author-link=Michael Spivak
 |title=Calculus
 |year=1994
 |edition=3rd
 |location=Berkeley, CA
 |publisher=Publish or Perish
 |isbn=0-914098-89-6
 |url=http://www.mathpop.com/bookhtms/cal.htm
 |access-date=2007-05-26
 |archive-url=https://web.archive.org/web/20070517171054/http://www.mathpop.com/bookhtms/cal.htm
 |archive-date=2007-05-17
 |url-status=dead
}}

*{{cite book
 |last1=Troelstra
 |first1=A. S.
 |author-link1=Anne Sjerp Troelstra
 |last2=van Dalen
 |first2=D. 
 |author-link2=Dirk van Dalen
 |title=Constructivism in Mathematics: An Introduction
 |date=1988
 |url=https://archive.org/details/constructivismin0002troe
 |url-access=registration
}} (for uses in constructive mathematics)