Results 1 
2 of
2
Cauchy nets in the constructive theory of apartness spaces
 Scientiae Mathematicae Japonicae
, 2002
"... Abstract. A notion of Cauchy net is introduced into the constructive theory of apartness spaces. It is shown that for a sequence in a metric space this notion is equivalent to the standard metric notion of Cauchy sequence. Applications of this notion are then given, culminating in a generalisation o ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. A notion of Cauchy net is introduced into the constructive theory of apartness spaces. It is shown that for a sequence in a metric space this notion is equivalent to the standard metric notion of Cauchy sequence. Applications of this notion are then given, culminating in a generalisation of Bishop’s Lemma on locatedness. 1 Introduction Axioms for a constructive theory of apartness between sets were introduced in [12], where the particular example of a uniform space was discussed in detail. In the present paper we discuss Cauchy and convergent sequences in the framework of that theory. By constructive mathematics we mean mathematics developed with intuitionistic logic
A Constructive Theory of PointSet Nearness
 in Proceedings of Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Seminar in Dagstuhl, Germany, 4–9 June 2000; Springer Lecture Notes in Computer Science
, 2001
"... An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology. ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.