On the Cauchy completeness of the constructive Cauchy reals

DOI10.1002/MALQ.200710007MaRDI QIDQ5307608zbMATH OpenOpenAlexFDO

Authors 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 sequencesconstructive analysisconstructive Cauchy realsconstructive set theoryindependence resultstopological models

Mathematics Subject Classification ID

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

Abstract: It is consistent with constructive set theory (without Countable Choice, clearly) that the Cauchy reals (equivalence classes of Cauchy sequences of rationals) are not Cauchy complete. Related results are also shown, such as that a Cauchy sequence of rationals may not have a modulus of convergence, and that a Cauchy sequence of Cauchy sequences may not converge to a Cauchy sequence, among others.

Recommendations

• On the Cauchy completeness of the constructive Cauchy reals
• On the constructive Dedekind reals
• Real numbers and other completions
• On the Constructive Dedekind Reals: Extended Abstract
• The continuum as a formal space

Cites work

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

Cited in

(23)

• On the constructive Dedekind reals
• On constructivity and the Rosser property: a closer look at some Gödelean proofs
• Notions of Cauchyness and metastability
• Partiality, Revisited
• The Degrees of Constructibility of Cohen Reals
• On the Cauchy completeness of the constructive Cauchy reals
• A Constructive Look at Generalised Cauchy Reals
• Notions of Cauchyness and metastability
• On the Constructive Dedekind Reals: Extended Abstract
• Real numbers and other completions
• Completion of premetric spaces
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively
• Maps for learning indexable classes
• On the necessity of some topological spaces
• Remarks on the Dedekind completion of a nonstandard model of the reals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307608)