Josef Berger
Orcid: 0000000238211749Affiliations:
 Ludwig Maximilian University of Munich, Germany
According to our database^{1},
Josef Berger
authored at least 25 papers
between 2005 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on andrej.com
On csauthors.net:
Bibliography
2022
Ann. Pure Appl. Log., 2022
2019
Arch. Math. Log., 2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log., 2019
2018
J. Symb. Log., 2018
2017
Log. Methods Comput. Sci., 2017
2016
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle.
Ann. Pure Appl. Log., 2016
Arch. Math. Log., 2016
2012
The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.
Reports Math. Log., 2012
Log. J. IGPL, 2012
Ann. Pure Appl. Log., 2012
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem.
Ann. Pure Appl. Log., 2012
2010
J. Univers. Comput. Sci., 2010
2009
J. Univers. Comput. Sci., 2009
J. Log. Anal., 2009
2008
Math. Log. Q., 2008
J. Symb. Log., 2008
Arch. Math. Log., 2008
2006
Notre Dame J. Formal Log., 2006
J. Symb. Log., 2006
Log. J. IGPL, 2006
Proceedings of the Logical Approaches to Computational Barriers, 2006
2005
Math. Log. Q., 2005
Math. Log. Q., 2005
J. Univers. Comput. Sci., 2005
Proceedings of the New Computational Paradigms, 2005