On the Cauchy completeness of the constructive Cauchy reals

Mathematical Logic Quarterly

Volumn 53, Issue 4-5, 2007, Pages 396-414

  Lubarsky, Robert S ^a  

^a FLORIDA ATLANTIC UNIVERSITY   (United States)

Author keywords

Cauchy sequences; Constructive analysis; Topological models

Indexed keywords

EID: 34548583765     PISSN: 09425616     EISSN: 15213870     Source Type: Journal    
DOI: 10.1002/malq.200710007     Document Type: Conference Paper

References (7)

1. M. P. Fourman and J. M. E. Hyland, Sheaf models for analysis. In: Applications of Sheaves. Lecture Notes in Mathematics 753, pp. 280 - 301 (Springer-Verlag, 1979).
2. M. Escardo and A. Simpson, A universal characterization of the closed Euclidean interval. In: Sixteenth Annual IEEE Symposium on Logic in Computer Science, pp. 115 - 125 (2001).
3. R. J. Grayson, Heyting-valued models for intuitionistic set theory. In: Applications of Sheaves. Lecture Notes in Mathematics 753, pp. 402-414 (Springer-Verlag, 1979).
4. R. Lubarsky and M. Rathjen, On the constructive Dedekind reals. Submitted to Logic and Analysis.
5. R. Lubarsky and F. Richman, Representing real numbers without choice. In preparation.
6. S. MacLane and I. Moerdijk, Sheaves in Geometry and Logic (Springer-Verlag, 1992).
7. A. S. Troelstra and D. van Dalen, Constructivism in Mathematics, Vol. 1 (North-Holland, 1988).