Product a-frames and proximity

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

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
Keywords apartness spaces  compactness  Constructive mathematics
Categories (categorize this paper)
DOI 10.1002/malq.200710033
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,938
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

Citations of this work BETA

How to Construct a Product of a‐Frames.Douglas S. Bridges - 2012 - Mathematical Logic Quarterly 58 (4-5):281-293.
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.

Add more citations

Similar books and articles

Compactness Notions for an Apartness Space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Generalising Compactness.Hannes Diener - 2008 - Mathematical Logic Quarterly 54 (1):49-57.
On Local Non‐Compactness in Recursive Mathematics.Jakob G. Simonsen - 2006 - Mathematical Logic Quarterly 52 (4):323-330.
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.
Unique Solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
How to Construct a Product of a‐Frames.Douglas S. Bridges - 2012 - Mathematical Logic Quarterly 58 (4-5):281-293.
Reclassifying the Antithesis of Specker's Theorem.Hannes Diener - 2012 - Archive for Mathematical Logic 51 (7-8):687-693.
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.
Can Constructive Mathematics Be Applied in Physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.

Analytics

Added to PP index
2013-12-01

Total views
9 ( #659,692 of 2,319,338 )

Recent downloads (6 months)
3 ( #430,423 of 2,319,338 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature