Extending strongly continuous functions between apartness spaces

Archive for Mathematical Logic 45 (3):351-356 (2006)
  Copy   BIBTEX

Abstract

A natural extension theorem for strongly continuous mappings, the morphisms in the category of apartness spaces, is proved constructively

Categories

Keywords

Reprint years

2005

DOI

10.1007/s00153-005-0299-6

Links

PhilArchive



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

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.
Apartness, Topology, and Uniformity: a Constructive View.Douglas Bridges, Peter Schuster & Luminiţa Vîţă - 2002 - Mathematical Logic Quarterly 48 (4):16-28.
Separation properties in neighbourhood and quasi-apartness spaces.Robin Havea, Hajime Ishihara & Luminiţa Vîţă - 2008 - Mathematical Logic Quarterly 54 (1):58-64.
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.
On proximal convergence in uniform spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (6):550.
Proximal and uniform convergence on apartness spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (3):255.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
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.
Product a-frames and proximity.Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (1):12-26.

Analytics

Added to PP
2013-11-23

Downloads
19 (#824,557)

6 months
2 (#1,259,303)

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

Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Mathematical Logic Quarterly 24 (25‐30):461-461.
Choice Implies Excluded Middle.N. Goodman & J. Myhill - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):461-461.
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.

View all 8 references / Add more references