How to construct a product of a‐frames

Mathematical Logic Quarterly 58 (4-5):281-293 (2012)
  Copy   BIBTEX

Abstract

It is shown how, under certain circumstances and within Bishop‐style constructive mathematics, one can construct a product of two a‐frames (the structures underlying the constructive theory of apartness on frames).

Categories

Keywords

Reprint years

DOI

10.1002/malq.201110059

Links

PhilArchive



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

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

Product a-frames and proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.
Powers of positive elements in C *-algebras.Hiroki Takamura - 2011 - Mathematical Logic Quarterly 57 (5):481-484.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Compactness under constructive scrutiny.Hajime Ishihara & Peter Schuster - 2004 - Mathematical Logic Quarterly 50 (6):540-550.
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.
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.
The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
Generalising compactness.Hannes Diener - 2008 - Mathematical Logic Quarterly 54 (1):49-57.
Review: Geoffrey Hellman, Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem; Douglas S. Bridges, Constructive Mathematics and Unbounded Operators -- A Reply to Hellman; Geoffrey Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics -- A Rejoinder to Bridges. [REVIEW]Boris A. Kushner - 1999 - Journal of Symbolic Logic 64 (1):397-398.

Analytics

Added to PP
2013-10-31

Downloads
9 (#1,281,906)

6 months
24 (#121,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Almost new pre-apartness from old.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (8):1009-1015.

Add more citations

References found in this work

Product a-frames and proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.

Add more references