Josef Berger

27 papers C 3Journal 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Constructive aspects of Riemann's permutation theorem for series.
Log. J. IGPL
Josef Berger, Douglas S. Bridges, Hannes Diener, Helmut Schwichtenberg
2022 J jnl
On Farkas' lemma and related propositions in BISH.
Ann. Pure Appl. Log.
Josef Berger, Gregor Svindland
2019 J jnl
Convexity and unique minimum points.
Arch. Math. Log.
Josef Berger, Gregor Svindland
2019 J jnl
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log.
Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
2018 J jnl
Brouwer's Fan Theorem and convexity.
J. Symb. Log.
Josef Berger, Gregor Svindland
2017 J jnl
A bound for Dickson's lemma.
Log. Methods Comput. Sci.
Josef Berger, Helmut Schwichtenberg
2016 J jnl
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle.
Ann. Pure Appl. Log.
Josef Berger, Gregor Svindland
2016 J jnl
Convexity and constructive infima.
Arch. Math. Log.
Josef Berger, Gregor Svindland
2012 J jnl
A predicative completion of a uniform space.
Ann. Pure Appl. Log.
Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster
2012 J jnl
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem.
Ann. Pure Appl. Log.
Josef Berger
2012 J jnl
Double sequences, almost Cauchyness and BD-N.
Log. J. IGPL
Josef Berger, Douglas S. Bridges, Erik Palmgren
2012 J jnl
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.
Reports Math. Log.
Josef Berger, Hajime Ishihara, Peter Schuster
2010 J jnl
A Constructive Study of Landau's Summability Theorem.
J. Univers. Comput. Sci.
Josef Berger, Douglas S. Bridges
2009 C conf
A Constructive Study of Landau's Summability Theorem.
CCA
Josef Berger, Douglas S. Bridges
2009 J jnl
A decomposition of Brouwer's fan theorem.
J. Log. Anal.
Josef Berger
2009 J jnl
Rearranging Series Constructively.
J. Univers. Comput. Sci.
Josef Berger, Douglas S. Bridges
2008 J jnl
Editorial: Math. Log. Quart. 1/2008.
Math. Log. Q.
Josef Berger, Dirk Pattinson, Peter Schuster, Júlia Zappe
2008 J jnl
The anti-Specker property, a Heine-Borel property, and uniform continuity.
Arch. Math. Log.
Josef Berger, Douglas S. Bridges
2008 J jnl
The weak König lemma and uniform continuity.
J. Symb. Log.
Josef Berger
2006 J jnl
A Bizarre Property Equivalent to the Pi
Log. J. IGPL
Josef Berger, Douglas S. Bridges
2006 J jnl
Classifying Dini's Theorem.
Notre Dame J. Formal Log.
Josef Berger, Peter Schuster
2006 C conf
The Logical Strength of the Uniform Continuity Theorem.
CiE
Josef Berger
2006 J jnl
The fan theorem and unique existence of maxima.
J. Symb. Log.
Josef Berger, Douglas S. Bridges, Peter Schuster
2005 J jnl
Brouwer's fan theorem and unique existence in constructive analysis.
Math. Log. Q.
Josef Berger, Hajime Ishihara
2005 J jnl
Constructive Equivalents of the Uniform Continuity Theorem.
J. Univers. Comput. Sci.
Josef Berger
2005 J jnl
Exact calculation of inverse functions.
Math. Log. Q.
Josef Berger
2005 C conf
The Fan Theorem and Uniform Continuity.
CiE
Josef Berger