- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Formal continuity implies uniform continuity near compact images on metric spaces
Mathematical Logic Quarterly 60 (1-2):66-69 (2014)
Abstract
The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image.My notes
Similar books and articles
The Pseudocompactness of [0.1] Is Equivalent to the Uniform Continuity Theorem.Douglas Bridges & Hannes Diener - 2007 - Journal of Symbolic Logic 72 (4):1379 - 1384.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Resolution of the uniform lower bound problem in constructive analysis.Erik Palmgren - 2008 - Mathematical Logic Quarterly 54 (1):65-69.
Strong continuity implies uniform sequential continuity.Douglas Bridges, Hajime Ishihara, Peter Schuster & Luminiţa Vîţa - 2005 - Archive for Mathematical Logic 44 (7):887-895.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Real-valued models with metric equality and uniformly continuous predicates.Michael Katz - 1982 - Journal of Symbolic Logic 47 (4):772-792.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
The weak König lemma and uniform continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
Characterising Near Continuity Constructively.Douglas Bridges & Luminiţa Vîţă - 2001 - Mathematical Logic Quarterly 47 (4):535-538.
Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
Open subspaces of locally compact metric spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Analytics
Added to PP
2014-02-05
Downloads
8 (#1,315,307)
6 months
2 (#1,192,898)
2014-02-05
Downloads
8 (#1,315,307)
6 months
2 (#1,192,898)
Historical graph of downloads
Citations of this work
Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Formally continuous functions on Baire space.Tatsuji Kawai - 2018 - Mathematical Logic Quarterly 64 (3):192-200.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-pjbg5 uwo