Apartness spaces and uniform neighbourhood structures

Annals of Pure and Applied Logic 167 (9):850-864 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.04.007

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quasi-apartness and neighbourhood spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
Two subcategories of apartness spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.
Relating Bishopʼs function spaces to neighbourhood spaces.Hajime Ishihara - 2013 - Annals of Pure and Applied Logic 164 (4):482-490.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Andou, Y., Church–Rosser property of a simple reduction for full first-order classical natural deduction (1–3) 225–237 Bridges, D. and Vıˆt-a, L., Apartness spaces as a framework for constructive topology (1–3) 61–83 Di Nasso, M. and Hrbacek, K., Combinatorial principles in. [REVIEW]Q. Feng, W. H. Woodin & M. Gitik - 2003 - Annals of Pure and Applied Logic 119 (1-3):295.
Separation properties in neighbourhood and quasi-apartness spaces.Robin Havea, Hajime Ishihara & Luminiţa Vîţă - 2008 - Mathematical Logic Quarterly 54 (1):58-64.
Distance structures for generalized metric spaces.Gabriel Conant - 2017 - Annals of Pure and Applied Logic 168 (3):622-650.
On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry.Cameron Donnay Hill - 2016 - Annals of Pure and Applied Logic 167 (11):1093-1122.
Almost new pre-apartness from old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.

Analytics

Added to PP
2016-06-03

Downloads
19 (#791,096)

6 months
2 (#1,445,852)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.
Two subcategories of apartness spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.
Quasi-apartness and neighbourhood spaces.Hajime Ishihara, Ray Mines, Peter Schuster & Luminiţa Vîţă - 2006 - Annals of Pure and Applied Logic 141 (1):296-306.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.

Add more references