On the Cauchy completeness of the constructive Cauchy reals

• Autores: Robert S. Lubarsky
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 53, Nº. 4-5, 2007, págs. 396-414
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.