Almost new pre-apartness from old

Annals of Pure and Applied Logic 163 (8):1009-1015 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.12.023

Links

PhilArchive



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

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

Apartness spaces and uniform neighbourhood structures.Douglas S. Bridges - 2016 - Annals of Pure and Applied Logic 167 (9):850-864.
Two subcategories of apartness spaces.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (2):132-139.
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.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
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.
New-from-old full dualities via axiomatisation.Brian A. Davey, Jane G. Pitkethly & Ross Willard - 2018 - Annals of Pure and Applied Logic 169 (7):588-615.
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.
Almost orthogonal regular types.Ehud Hrushovski - 1989 - Annals of Pure and Applied Logic 45 (2):139-155.
Almost universal cupping and diamond embeddings.Jiang Liu & Guohua Wu - 2012 - Annals of Pure and Applied Logic 163 (6):717-729.
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.

Analytics

Added to PP
2013-10-27

Downloads
10 (#395,257)

6 months
2 (#1,816,284)

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

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.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Product a-frames and proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
How to construct a product of a‐frames.Douglas S. Bridges - 2012 - Mathematical Logic Quarterly 58 (4-5):281-293.

Add more references