Josef Berger

According to our database, Josef Berger authored at least 25 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

On Farkas' lemma and related propositions in BISH.

Josef Berger, Gregor Svindland

Ann. Pure Appl. Log., 2022

2019

Convexity and unique minimum points.

Josef Berger, Gregor Svindland

Arch. Math. Log., 2019

The binary expansion and the intermediate value theorem in constructive reverse mathematics.

Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto

Arch. Math. Log., 2019

2018

Brouwer's Fan Theorem and convexity.

Josef Berger, Gregor Svindland

J. Symb. Log., 2018

2017

A bound for Dickson's lemma.

Josef Berger, Helmut Schwichtenberg

Log. Methods Comput. Sci., 2017

2016

A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle.

Josef Berger, Gregor Svindland

Ann. Pure Appl. Log., 2016

Convexity and constructive infima.

Josef Berger, Gregor Svindland

Arch. Math. Log., 2016

2012

The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.

Josef Berger, Hajime Ishihara, Peter Schuster

Reports Math. Log., 2012

Double sequences, almost Cauchyness and BD-N.

Josef Berger, Douglas S. Bridges, Erik Palmgren

Log. J. IGPL, 2012

A predicative completion of a uniform space.

Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster

Ann. Pure Appl. Log., 2012

Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem.

Josef Berger

Ann. Pure Appl. Log., 2012

2010

A Constructive Study of Landau's Summability Theorem.

Josef Berger, Douglas S. Bridges

J. Univers. Comput. Sci., 2010

2009

Rearranging Series Constructively.

Josef Berger, Douglas S. Bridges

J. Univers. Comput. Sci., 2009

A decomposition of Brouwer's fan theorem.

Josef Berger

J. Log. Anal., 2009

2008

Editorial: Math. Log. Quart. 1/2008.

Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe

Math. Log. Q., 2008

The weak König lemma and uniform continuity.

Josef Berger

J. Symb. Log., 2008

The anti-Specker property, a Heine-Borel property, and uniform continuity.

Josef Berger, Douglas S. Bridges

Arch. Math. Log., 2008

2006

Classifying Dini's Theorem.

Josef Berger, Peter Schuster

Notre Dame J. Formal Log., 2006

The fan theorem and unique existence of maxima.

Josef Berger, Douglas S. Bridges, Peter Schuster

J. Symb. Log., 2006

A Bizarre Property Equivalent to the Pi₁⁰-Fan Theorem.

Josef Berger, Douglas S. Bridges

Log. J. IGPL, 2006

The Logical Strength of the Uniform Continuity Theorem.

Josef Berger

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Brouwer's fan theorem and unique existence in constructive analysis.

Josef Berger, Hajime Ishihara

Math. Log. Q., 2005

Exact calculation of inverse functions.

Josef Berger

Math. Log. Q., 2005

Constructive Equivalents of the Uniform Continuity Theorem.

Josef Berger

J. Univers. Comput. Sci., 2005

The Fan Theorem and Uniform Continuity.

Josef Berger

Proceedings of the New Computational Paradigms, 2005