Search the dblp DataBase

Publications of Author

1. Josef Berger
   The Fan Theorem and Uniform Continuity. [Citation Graph (0, 0)][DBLP]
   CiE, 2005, pp:18-22 [Conf]
   
2. Josef Berger
   The Logical Strength of the Uniform Continuity Theorem. [Citation Graph (0, 0)][DBLP]
   CiE, 2006, pp:35-39 [Conf]
   
3. Josef Berger, Douglas S. Bridges
   A Bizarre Property Equivalent to the Pi₁⁰-Fan Theorem. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2006, v:14, n:6, pp:867-871 [Journal]
   
4. Josef Berger
   Constructive Equivalents of the Uniform Continuity Theorem. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2005, v:11, n:12, pp:1878-1883 [Journal]
   
5. Josef Berger
   Exact calculation of inverse functions. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2005, v:51, n:2, pp:201-205 [Journal]
   
6. Josef Berger, Hajime Ishihara
   Brouwer's fan theorem and unique existence in constructive analysis. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2005, v:51, n:4, pp:360-364 [Journal]
   
7. 
   A Constructive Study of Landau's Summability Theorem. [Citation Graph (, )][DBLP]
   
   
8. 
   The anti-Specker property, a Heine-Borel property, and uniform continuity. [Citation Graph (, )][DBLP]