论文信息 - Apartness, compactness and nearness

Apartness, compactness and nearness

We investigate constructively a pre-apartness structure that is classically important in the characterisation of compact proximity spaces, and that may help identify a good constructive notion of compactness for not-necessarily-uniform apartness spaces. In addition, we produce what may be the right notion of ''nearness'' in the theory of apartness spaces.

[1] Douglas S. Bridges,et al. Apartness, Topology, and Uniformity: a Constructive View , 2002 .

[2] Douglas S. Bridges,et al. Journey into Apartness Space , 2009 .

[3] V. A. Lifshits. Investigation of constructive functions by the method of fillings , 1972 .

[4] P. Aczel,et al. Notes on constructive set theory , 1997 .

[5] S. A. Naimpally,et al. Nearness — A Better Approach to Continuity and Limits , 1974 .

[6] Stefan Friedrich,et al. Topology , 2019, Arch. Formal Proofs.

[7] Douglas S. Bridges,et al. Apartness, Topology, and Uniformity: a Constructive View , 2002, Math. Log. Q..

[8] Luminita Vîta. On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces , 2005, J. Univers. Comput. Sci..

[9] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .

[10] Douglas S. Bridges,et al. Apartness spaces as a framework for constructive topology , 2003, Ann. Pure Appl. Log..