Product a-frames and proximity

Mathematical Logic Quarterly 54 (1):12-26 (2008)
  Copy   BIBTEX

Abstract

Continuing the study of apartness in lattices, begun in [8], this paper deals with axioms for a product a-frame and with their consequences. This leads to a reasonable notion of proximity in an a-frame, abstracted from its counterpart in the theory of set-set apartness

Categories

Keywords

Reprint years

DOI

10.1002/malq.200710033

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,053

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

A discrete duality between apartness algebras and apartness frames.Ivo Düntsch & Ewa Orlowska - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):213-227.
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.
How to construct a product of a‐frames.Douglas S. Bridges - 2012 - Mathematical Logic Quarterly 58 (4-5):281-293.
Apartness, Topology, and Uniformity: a Constructive View.Douglas Bridges, Peter Schuster & Luminiţa Vîţă - 2002 - Mathematical Logic Quarterly 48 (4):16-28.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
On proximal convergence in uniform spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (6):550.
Separation properties in neighbourhood and quasi-apartness spaces.Robin Havea, Hajime Ishihara & Luminiţa Vîţă - 2008 - Mathematical Logic Quarterly 54 (1):58-64.
Generalising compactness.Hannes Diener - 2008 - Mathematical Logic Quarterly 54 (1):49-57.
Extending strongly continuous functions between apartness spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.

Analytics

Added to PP
2013-12-01

Downloads
42 (#510,527)

6 months
2 (#1,734,265)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reflections on function spaces.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (2):101-110.
Almost new pre-apartness from old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.
How to construct a product of a‐frames.Douglas S. Bridges - 2012 - Mathematical Logic Quarterly 58 (4-5):281-293.

Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
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.

Add more references