Proximal and uniform convergence on apartness spaces

Mathematical Logic Quarterly 49 (3):255 (2003)
  Copy   BIBTEX

Abstract

The main purpose of this paper is to investigate constructively the relationship between proximal convergence, uniform sequential convergence and uniform convergence for sequences of mappings between apartness spaces. It is also shown that if the second space satisfies the Efremovic axiom, then proximal convergence preserves strong continuity

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.200310025

Other Versions

No versions found

Links

PhilArchive

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

On proximal convergence in uniform spaces.Luminiţa Simona Vîţă - 2003 - Mathematical Logic Quarterly 49 (6):550.
Apartness spaces and uniform neighbourhood structures.Douglas S. Bridges - 2016 - Annals of Pure and Applied Logic 167 (9):850-864.
Apartness, Topology, and Uniformity: a Constructive View.Luminiţa Vîţă, Peter Schuster & Douglas Bridges - 2002 - Mathematical Logic Quarterly 48 (S1):16-28.
Compactness notions for an apartness space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Metrization of the Uniform Space and Effective Convergence.Y. Tsujii, T. Mori & M. Yasugi - 2002 - Mathematical Logic Quarterly 48 (S1):123-130.
Characterising Near Continuity Constructively.Luminiţa Vîţă & Douglas Bridges - 2001 - Mathematical Logic Quarterly 47 (4):535-538.
Lebesgue’s dominated convergence theorem in Bishop’s style.Claudio Sacerdoti Coen & Enrico Zoli - 2012 - Annals of Pure and Applied Logic 163 (2):140-150.
Convergence of observables on quantum logics.W. Tomé & S. Gudder - 1990 - Foundations of Physics 20 (4):417-434.
Extending strongly continuous functions between apartness spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.
A nonstandard density theorem for weak topologies on Banach and Bochner spaces.Laurent Vanderputten - 2003 - Mathematical Logic Quarterly 49 (3):277-283.

Analytics

Added to PP
2013-12-01

Downloads
49 (#1,197,486)

6 months
14 (#871,543)

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.
A proof–technique in uniform space theory.Douglas Bridges & Luminiţa Vîţă - 2003 - Journal of Symbolic Logic 68 (3):795-802.

View all 6 citations / Add more citations

References found in this work

Constructive Analysis.Errett Bishop & Douglas Bridges - 1985 - Berlin, Heidelberg, New York, and Tokyo: Springer.
Varieties of constructive mathematics.Douglas Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.

Add more references