Archive for Mathematical Logic 49 (5):603-616 (2010)
| Authors |
|
| 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
|
| Keywords | Constructive mathematics Continuity Glueing Reverse mathematics |
| Categories | (categorize this paper) |
| DOI | 10.1007/s00153-010-0189-4 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Sequences of Real Functions on [0, 1] in Constructive Reverse Mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
View all 12 references / Add more references
Citations of this work BETA
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.
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.
Glueing of Analysis Models in an Intuitionistic Setting.D. Dalen - 1986 - Studia Logica 45 (2):181 - 186.
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.
On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Sequential Continuity of Functions in Constructive Analysis.Douglas Bridges & Ayan Mahalanobis - 2000 - Mathematical Logic Quarterly 46 (1):139-143.
The Anti-Specker Property, a Heine–Borel Property, and Uniform Continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.
Extending Strongly Continuous Functions Between Apartness Spaces.Luminiţa Simona Vîţă - 2006 - Archive for Mathematical Logic 45 (3):351-356.
Sequences of Real Functions on [0, 1] in Constructive Reverse Mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
On Maximal Continuity Regulators for Constructive Functions.A. O. Slisenko - 1969 - In Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 82--84.
Analytics
Added to PP index
2013-11-23
Total views
16 ( #665,485 of 2,506,168 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,168 )
2013-11-23
Total views
16 ( #665,485 of 2,506,168 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,168 )
How can I increase my downloads?
Downloads
