Josef Berger

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 7

Top Topics

Decision Function

Fixed Point Theorem

Separating Hyperplane

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Josef Berger, Gregor Svindland
On Farkas' lemma and related propositions in BISH. Ann. Pure Appl. Log. 173 (2) (2022)
Josef Berger, Gregor Svindland
Convexity and unique minimum points. Arch. Math. Log. 58 (1-2) (2019)
Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Log. 58 (1-2) (2019)
Josef Berger, Gregor Svindland
Brouwer's Fan Theorem and convexity. J. Symb. Log. 83 (4) (2018)
Josef Berger, Helmut Schwichtenberg
A bound for Dickson's lemma. Log. Methods Comput. Sci. 13 (3) (2017)
Josef Berger, Gregor Svindland
Convexity and constructive infima. Arch. Math. Log. 55 (7-8) (2016)
Josef Berger, Gregor Svindland
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle. Ann. Pure Appl. Log. 167 (11) (2016)
Josef Berger, Douglas S. Bridges, Erik Palmgren
Double sequences, almost Cauchyness and BD-N. Log. J. IGPL 20 (1) (2012)
Josef Berger
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem. Ann. Pure Appl. Log. 163 (8) (2012)
Josef Berger, Hajime Ishihara, Peter Schuster
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. Reports Math. Log. 47 (2012)
Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster
A predicative completion of a uniform space. Ann. Pure Appl. Log. 163 (8) (2012)
Josef Berger, Douglas S. Bridges
A Constructive Study of Landau's Summability Theorem. J. Univers. Comput. Sci. 16 (18) (2010)
Josef Berger, Douglas S. Bridges
Rearranging Series Constructively. J. Univers. Comput. Sci. 15 (17) (2009)
Josef Berger, Douglas S. Bridges
A Constructive Study of Landau's Summability Theorem. CCA (2009)
Josef Berger
A decomposition of Brouwer's fan theorem. J. Log. Anal. 1 (2009)
Josef Berger
The weak König lemma and uniform continuity. J. Symb. Log. 73 (3) (2008)
Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe
Editorial: Math. Log. Quart. 1/2008. Math. Log. Q. 54 (1) (2008)
Josef Berger, Douglas S. Bridges
The anti-Specker property, a Heine-Borel property, and uniform continuity. Arch. Math. Log. 46 (7-8) (2008)
Josef Berger, Douglas S. Bridges
-Fan Theorem. Log. J. IGPL 14 (6) (2006)
Josef Berger, Peter Schuster
Classifying Dini's Theorem. Notre Dame J. Formal Log. 47 (2) (2006)
Josef Berger, Douglas S. Bridges, Peter Schuster
The fan theorem and unique existence of maxima. J. Symb. Log. 71 (2) (2006)
Josef Berger
The Logical Strength of the Uniform Continuity Theorem. CiE (2006)
Josef Berger, Hajime Ishihara
Brouwer's fan theorem and unique existence in constructive analysis. Math. Log. Q. 51 (4) (2005)
Josef Berger
The Fan Theorem and Uniform Continuity. CiE (2005)
Josef Berger
Exact calculation of inverse functions. Math. Log. Q. 51 (2) (2005)
Josef Berger
Constructive Equivalents of the Uniform Continuity Theorem. J. Univers. Comput. Sci. 11 (12) (2005)