Real numbers and other completions

Mathematical Logic Quarterly

Volumn 54, Issue 1, 2008, Pages 98-108

  Richman, Fred ^a  

^a FLORIDA ATLANTIC UNIVERSITY   (United States)

Author keywords

Completions; Countable choice; Real numbers

Indexed keywords

EID: 55549136406     PISSN: 09425616     EISSN: 15213870     Source Type: Journal    
DOI: 10.1002/malq.200710024     Document Type: Article

References (13)

1. B. Banaschewski, On proving the existence of complete ordered fields. Amer. Math. Monthly 105, 548 - 551 (1998).
2. E. Bishop, Foundations of Constructive Analysis (McGraw-Hill, 1968)
3. D. S. Bridges, Constructive mathematics: a foundation for computable analysis. Theoret. Comput. Sci. 219, 95 - 109 (1999).
4. D. S. Bridges and L. S. Luminiţa, Techniques of Constructive Analysis (Springer, 2006).
5. J. H. Conway, The surreals and the reals. In: Real Numbers, Generalizations of the Reals and Theories of Continua (P. Ehrlich, ed.), pp. 93 - 106 (Kluwer Academic Publishers, 1994).
6. R. J. Grayson, Concepts of general topology in constructive mathematics and in sheaves II. Annals Math. Logic 23, 55 - 98 (1982).
7. D. Hilbert, Über den Zahlbegriff. Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180 - 184 (1900).
8. R. S. Lubarsky, On the Cauchy completeness of the constructive Cauchy reals. Math. Logic Quart. 53, 396 - 414 (2007).
9. F. Richman, Generalized real numbers in constructive mathematics. Indagationes Mathematicae 9, 595 - 606 (1998).
10. F. Richman, The fundamental theorem of algebra: a constructive development without choice. Pacific J. Mathematics 196, 213 - 230 (2000).
11. W. Rudin, Principles of Mathematical Analysis (McGraw-Hill, 1964).
12. G. Stolzenberg, Sets as limits. Preprint (1988).
13. A. Troelstra and D. van Dalen, Constructivism in Mathematics, an Introduction, Volume 1 (North-Holland, 1988).