论文信息 - Proximal Connectedness - 字舞流文

Proximal Connectedness

A notion of connectedness is introduced into the theory of apartness spaces, and various fundamental properties of connected sets are established.

Douglas S. Bridges | Luminita Vîta | D. Bridges | L. Vîta

[1] Hajime Ishihara,et al. Continuity properties in constructive mathematics , 1992, Journal of Symbolic Logic.

[2] Mark Mandelker. Connectivity of an interval , 1976 .

[3] Douglas S. Bridges,et al. A Constructive Look at the Real Number Line , 1994 .

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

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

[6] P. Schuster,et al. Products in the category of apartness spaces , 2005 .

[7] Douglas S. Bridges,et al. A constructive theory of point-set nearness , 2003, Theor. Comput. Sci..

[8] Douglas S. Bridges,et al. Apartness as a Relation Between Subsets , 2001, DMTCS.