Glueing continuous functions constructively

Archive for Mathematical Logic 49 (5):603-616 (2010)
  Copy   BIBTEX

Abstract

The glueing of (sequentially, pointwise, or uniformly) continuous functions that coincide on the intersection of their closed domains is examined in the light of Bishop-style constructive analysis. This requires us to pay attention to the way that the two domains intersect

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,685

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Continuity properties in constructive mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.

Analytics

Added to PP
2013-11-23

Downloads
17 (#734,021)

6 months
1 (#1,016,089)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Iris Loeb
VU University Amsterdam

Citations of this work

On the constructive notion of closure maps.Mohammad Ardeshir & Rasoul Ramezanian - 2012 - Mathematical Logic Quarterly 58 (4-5):348-355.
Lipschitz functions in constructive reverse mathematics.I. Loeb - 2013 - Logic Journal of the IGPL 21 (1):28-43.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.
Constructive Analysis.Errett Bishop & Douglas S. Bridges - 1985 - Berlin, Heidelberg, New York, and Tokyo: Springer.

View all 14 references / Add more references