Generalized real numbers in constructive mathematics

Indagationes Mathematicae

Volumn 9, Issue 4, 1998, Pages 595-606

  Richman, Fred ^a  

^a FLORIDA ATLANTIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032342699     PISSN: 00193577     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0019-3577(98)80037-2     Document Type: Article

References (6)

1. 1. Bishop, Errett - Foundations of constructive analysis. McGraw-Hill (1967).
2. 2. Bishop, Errett - Schizophrenia in contemporary mathematics. AMS Colloquium Lectures, Missoula, Montana (1973), reprinted in Contemporary Mathematics, 39, 1-32 (1985).
3. 3. Bridges, Douglas A., Fred Richman and Wang Yuchuan - Sets, complements and boundaries. Indag. Math. 7, 425-445 (1996).
4. 4. Staples, John - On constructive fields. Proc. London Math. Soc. 23, 753-768 (1971).
5. 5. Troelstra, Anne S. - Intuitionistic extensions of the reals. Nieuw Archief voor Wiskunde 28 63-113 (1980).
6. 6. Troelstra, Anne S. and Dirk van Dalen - Constructivism in Mathematics. Studies in Mathematical Logic and the Foundations of Mathematics, Vols 121 and 123, North-Holland, Amsterdam (1988).