论文信息 - Separation properties in neighbourhood and quasi-apartness spaces

Separation properties in neighbourhood and quasi-apartness spaces

We investigate separation properties for neighbourhood spaces in some details within a framework of constructive mathematics, and define corresponding separation properties for quasi-apartness spaces. We also deal with separation properties for spaces with inequality. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Hajime Ishihara | Luminita Vîta | Robin Havea

[2] Peter Aczel,et al. Aspects of general topology in constructive set theory , 2006, Ann. Pure Appl. Log..

[3] Peter Schuster,et al. From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics , 2005, From sets and types to topology and analysis.

[4] Robin J. Grayson,et al. Concepts of general topology in constructive mathematics and in sheaves, II , 1981, Ann. Math. Log..

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

[6] Peter Schuster,et al. Quasi-apartness and neighbourhood spaces , 2006, Ann. Pure Appl. Log..

[7] Giovanni Sambin,et al. Some points in formal topology , 2003, Theor. Comput. Sci..