Sets, complements and boundaries

Indagationes Mathematicae

Volumn 7, Issue 4, 1996, Pages 425-445

  Bridges, Douglas ^a   Richman, Fred ^b   Yuchuan, Wang ^a  

^a Dept of Mathematics and Statistics ^*  (New Zealand)

^b FLORIDA ATLANTIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030524090     PISSN: 00193577     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0019-3577(97)89131-8     Document Type: Article

References (9)

1. 1. Beeson, Michael - Foundations of Constructive Mathematics. Ergebnisse der Math. und ihrer Grenzgebiete, 3. Folge, Bd. 6. Springer-Verlag, Heidelberg-Berlin-New York (1985).
2. 2. Bishop, Errett and Douglas Bridges - Constructive Analysis. Grundlehren der math. Wissenschaften, Bd. 279. Springer-Verlag, Heidelberg-Berlin-New York (1985).
3. 3. Bridges, Douglas - Locatedness, convexity, and Lebesgue measurability. Quart. J. Math. Oxford 39 (2), 411-421 (1988).
4. 4. Bridges, Douglas and Fred Richman - Varieties of Constructive Mathematics. London Math. Soc. Lecture Notes 97. Cambridge University Press, London (1987).
5. 5. Gilbarg, D. and N.S. Trudinger - Elliptic Partial Differential Equations of Second Order. Grundlehren der math. Wissenschaften, Bd. 224. Springer-Verlag, Heidelberg-Berlin-New York (1977).
6. 6. Kushner, B.A. - Lectures on Constructive Mathematical Analysis. Translations of Mathematical Monographs 60. American Math. Soc., Providence, R.I. (1984).
7. 7. Rauch, Jeffrey - Partial Differential Equations. Graduate Texts in Mathematics 128. Springer-Verlag, Heidelberg-Berlin-New York (1991).
8. 8. Troelstra, A.S. and D. van Dalen - Constructivism in Mathematics. Studies in Mathematical Logic and the Foundations of Mathematics, Vols 121 and 123. North-Holland, Amsterdam (1988).
9. 9. Yuchuan, Wang - D. Phil. Thesis. University of Waikato. In preparation.