Switch to: References

Add citations

You must login to add citations.
  1. Glueing continuous functions constructively.Douglas S. Bridges & Iris Loeb - 2010 - Archive for Mathematical Logic 49 (5):603-616.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Constructive complements of unions of two closed sets.Douglas S. Bridges - 2004 - Mathematical Logic Quarterly 50 (3):293.
    It is well known that in Bishop-style constructive mathematics, the closure of the union of two subsets of ℝ is ‘not’ the union of their closures. The dual situation, involving the complement of the closure of the union, is investigated constructively, using completeness of the ambient space in order to avoid any application of Markov's Principle.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•