Switch to: References

Add citations

You must login to add citations.
  1. 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.
    We give an overview of the role of equicontinuity of sequences of real-valued functions on [0,1] and related notions in classical mathematics, intuitionistic mathematics, Bishop’s constructive mathematics, and Russian recursive mathematics. We then study the logical strength of theorems concerning these notions within the programme of Constructive Reverse Mathematics. It appears that many of these theorems, like a version of Ascoli’s Lemma, are equivalent to fan-theoretic principles.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Lipschitz functions in constructive reverse mathematics.I. Loeb - 2013 - Logic Journal of the IGPL 21 (1):28-43.
    Download  
     
    Export citation  
     
    Bookmark  
  • A continuity principle equivalent to the monotone $$Pi ^{0}_{1}$$ fan theorem.Tatsuji Kawai - 2019 - Archive for Mathematical Logic 58 (3-4):443-456.
    The strong continuity principle reads “every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image.” We show that this principle is equivalent to the fan theorem for monotone \ bars. We work in the context of constructive reverse mathematics.
    Download  
     
    Export citation  
     
    Bookmark