Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 11 / Issue 12

available in:   PDF (85 kB) PS (101 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-011-12-1878

 

Constructive Equivalents of the Uniform Continuity Theorem

Josef Berger (Mathematisches Institut, Universit√§t M√ľnchen, Germany)

Abstract: For the purpose of constructive reverse mathematics, we show the equivalence of the uniform continuity theorem to a series of propositions; this illuminates the relationship between Brouwer's fan theorem and the uniform continuity theorem

Keywords: constructive mathematics, reverse mathematics, uniform continuity

Categories: F.2.1, G.1.0