A constructive theory of point-set nearness

Authors:
L. S. Vîţă;D. S. Bridges
Affiliations:
Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand;Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand
Venue:
Theoretical Computer Science - Topology in computer science
Year:
2003

Citing 3
Cited 3

Continuity and nondiscontinuity in constructive mathematics

Journal of Symbolic Logic
Constructive mathematics: a foundation for computable analysis

Theoretical Computer Science - Special issue on computability and complexity in analysis
Computable analysis: an introduction

Computable analysis: an introduction

Decisions under subjective information

TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Proximal Connectedness

Fundamenta Informaticae
Proximal Connectedness

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.