On the Cauchy completeness of the constructive Cauchy reals

DOI10.1002/malq.200710007zbMath1127.03045arXiv1510.00639OpenAlexW2569523952MaRDI QIDQ5307608

Robert S. Lubarsky

Publication date: 17 September 2007

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.00639

zbMATH Keywords

Cauchy sequencesindependence resultsconstructive set theorytopological modelsconstructive analysisconstructive Cauchy reals

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonclassical and second-order set theories (03E70) Constructive real analysis (26E40)

Related Items (3)

Partiality, Revisited ⋮ On the constructive Dedekind reals ⋮ Completion of premetric spaces

Cites Work

• On the constructive Dedekind reals
• Constructivism in mathematics. An introduction. Volume I

This page was built for publication: On the Cauchy completeness of the constructive Cauchy reals