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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-010-0189-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

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

Sequential Continuity of Functions in Constructive Analysis.Douglas Bridges & Ayan Mahalanobis - 2000 - Mathematical Logic Quarterly 46 (1):139-143.
Sequential, pointwise, and uniform continuity: A constructive note.Douglas S. Bridges - 1993 - Mathematical Logic Quarterly 39 (1):55-61.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.Tatsuji Kawai - 2023 - Mathematical Logic Quarterly 69 (3):370-391.
A continuity principle equivalent to the monotone $$Pi ^{0}_{1}$$ fan theorem.Tatsuji Kawai - 2019 - Archive for Mathematical Logic 58 (3-4):443-456.
Extending strongly continuous functions between apartness spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.
Principles of continuous choice and continuity of functions in formal systems for constructive mathematics.Michael J. Beeson - 1977 - Annals of Mathematical Logic 12 (3):249.
Constructive complements of unions of two closed sets.Douglas S. Bridges - 2004 - Mathematical Logic Quarterly 50 (3):293.
Decidable fan theorem and uniform continuity theorem with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2021 - Mathematical Logic Quarterly 67 (1):116-130.

Analytics

Added to PP
2013-11-23

Downloads
54 (#418,521)

6 months
5 (#702,808)

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 & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
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.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.

View all 13 references / Add more references