A. S. Troelstra and D. van Dalen, Constructivism inMathematics, Vol. 2, North-Holland, Amsterdam, 1988. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Various Continuity Properties in Constructive Analysis - Ishihara, Mines (Correct)
....of mathematics: both Brouwer s intuitionistic mathematics and recursive constructive mathematics of the Markov School are models of Bishop s constructive mathematics. For background material on Bishop constructive mathematics see [1, 2, 7] background on other constructive schools can be found in [8, 15, 18, 19]; and applications of sequential continuity in constructive analysis are given in [12, 13] 2. Basic de nitions For the readers convenience, we gather together the basic de nitions that we will use in this paper. Let f : X Y by a function between two metric spaces. The various types of ....
A. S. Troelstra and D. van Dalen, Constructivism inMathematics, Vol. 2, North-Holland, Amsterdam, 1988.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC