Josef Berger
According to our database^{1},
Josef Berger
authored at least 24 papers
between 2005 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org

at andrej.com
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 BDN.
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 antiSpecker property, a HeineBorel 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 Pi_{1}^{0}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