The Fan Theorem and Uniform Continuity. - Josef Berger (CiE, 2005)

Constructive Equivalents of the Uniform Continuity Theorem. - Josef Berger (J. Univers. Comput. Sci., 2005)

Exact calculation of inverse functions. - Josef Berger (Math. Log. Q., 2005)

Brouwer's fan theorem and unique existence in constructive analysis. - Josef Berger; Hajime Ishihara (Math. Log. Q., 2005)

The Logical Strength of the Uniform Continuity Theorem. - Josef Berger (CiE, 2006)

A Bizarre Property Equivalent to the Pi10-Fan Theorem. - Josef Berger; Douglas S. Bridges (Log. J. IGPL, 2006)

The fan theorem and unique existence of maxima. - Josef Berger; Douglas S. Bridges; Peter Schuster 001 (J. Symb. Log., 2006)

Classifying Dini's Theorem. - Josef Berger; Peter Schuster 001 (Notre Dame J. Formal Log., 2006)

The anti-Specker property, a Heine-Borel property, and uniform continuity. - Josef Berger; Douglas S. Bridges (Arch. Math. Log., 2008)

The weak König lemma and uniform continuity. - Josef Berger (J. Symb. Log., 2008)

Editorial: Math. Log. Quart. 1/2008. - Josef Berger; Dirk Pattinson; Peter Schuster 001; Júlia Zappe (Math. Log. Q., 2008)

A decomposition of Brouwer's fan theorem. - Josef Berger (J. Log. Anal., 2009)

Rearranging Series Constructively. - Josef Berger; Douglas S. Bridges (J. Univers. Comput. Sci., 2009)

A Constructive Study of Landau's Summability Theorem. - Josef Berger; Douglas S. Bridges (J. Univers. Comput. Sci., 2010)

Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem. - Josef Berger (Ann. Pure Appl. Log., 2012)

A predicative completion of a uniform space. - Josef Berger; Hajime Ishihara; Erik Palmgren; Peter Schuster 001 (Ann. Pure Appl. Log., 2012)

Double sequences, almost Cauchyness and BD-N. - Josef Berger; Douglas S. Bridges; Erik Palmgren (Log. J. IGPL, 2012)

The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. - Josef Berger; Hajime Ishihara; Peter Schuster 001 (Reports Math. Log., 2012)

Convexity and constructive infima. - Josef Berger; Gregor Svindland (Arch. Math. Log., 2016)

A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle. - Josef Berger; Gregor Svindland (Ann. Pure Appl. Log., 2016)

A bound for Dickson's lemma. - Josef Berger; Helmut Schwichtenberg (Log. Methods Comput. Sci., 2017)

Brouwer's Fan Theorem and convexity. - Josef Berger; Gregor Svindland (J. Symb. Log., 2018)

The binary expansion and the intermediate value theorem in constructive reverse mathematics. - Josef Berger; Hajime Ishihara; Takayuki Kihara; Takako Nemoto (Arch. Math. Log., 2019)

Convexity and unique minimum points. - Josef Berger; Gregor Svindland (Arch. Math. Log., 2019)

On Farkas' lemma and related propositions in BISH. - Josef Berger; Gregor Svindland (Ann. Pure Appl. Log., 2022)

Constructive aspects of Riemann's permutation theorem for series. - Josef Berger; Douglas S. Bridges; Hannes Diener; Helmut Schwichtenberg (Log. J. IGPL, 2025)