Results 1 
5 of
5
Apartness spaces as framework for constructive topology
 Ann. Pure Appl. Logic
, 2003
"... An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonst ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
An axiomatic development of the theory of apartness and nearness of a point and a set is introduced as a framework for constructive topology. Various notions of continuity of mappings between apartness spaces are compared; the constructive independence of one of the axioms from the others is demonstrated; and the product apartness structure is defined and analysed.
From intuitionistic to pointfree topology: on the foundation of homotopy theory
, 2005
"... Brouwer’s pioneering results in topology, e.g. invariance of dimension, were developed within a classical framework of mathematics. Some years later he explained ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Brouwer’s pioneering results in topology, e.g. invariance of dimension, were developed within a classical framework of mathematics. Some years later he explained
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.