Josef Berger

According to our database1, Josef Berger authored at least 24 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Convexity and unique minimum points.
Arch. Math. Log., 2019

The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log., 2019

2018
Brouwer's Fan Theorem and convexity.
J. Symb. Log., 2018

2017
A bound for Dickson's lemma.
Logical Methods in Computer Science, 2017

2016
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle.
Ann. Pure Appl. Logic, 2016

Convexity and constructive infima.
Arch. Math. Log., 2016

2012
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.
Reports on Mathematical Logic, 2012

Double sequences, almost Cauchyness and BD-N.
Logic Journal of the IGPL, 2012

A predicative completion of a uniform space.
Ann. Pure Appl. Logic, 2012

Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem.
Ann. Pure Appl. Logic, 2012

2009
Rearranging Series Constructively.
J. UCS, 2009

A decomposition of Brouwer's fan theorem.
J. Logic & Analysis, 2009

A Constructive Study of Landau's Summability Theorem.
Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

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

The weak König lemma and uniform continuity.
J. Symb. Log., 2008

The anti-Specker property, a Heine-Borel property, and uniform continuity.
Arch. Math. Log., 2008

2006
Classifying Dini's Theorem.
Notre Dame Journal of Formal Logic, 2006

The fan theorem and unique existence of maxima.
J. Symb. Log., 2006

A Bizarre Property Equivalent to the Pi10-Fan Theorem.
Logic Journal of the IGPL, 2006

The Logical Strength of the Uniform Continuity Theorem.
Proceedings of the Logical Approaches to Computational Barriers, 2006

2005
Brouwer's fan theorem and unique existence in constructive analysis.
Math. Log. Q., 2005

Exact calculation of inverse functions.
Math. Log. Q., 2005

Constructive Equivalents of the Uniform Continuity Theorem.
J. UCS, 2005

The Fan Theorem and Uniform Continuity.
Proceedings of the New Computational Paradigms, 2005


  Loading...