\
Josef Berger
Dr Josef Berger
Research assistant
Office B 422
Theresienstr. 39, D-80333 München
E-mail: Josef.Berger[at]mathematik[dot]uni[hyphen]muenchen[dot]de
Tel.: +49 (0)89 2180-4419
Office hours: Thursday 13–14
Workshops and meetings
Teaching
-
Übungen zu: Mathematik III für Physiker (Prof. Dürr)
Seminar:
Beweistheorie (mit Prof. Schwichtenberg)
Research networks
Selected publications
-
Brouwer's fan theorem and unique existence in constructive analysis (with Hajime Ishihara),
Math. Log. Quart. 51, no. 4 (2005), 360–364
-
The fan theorem and unique existence of maxima (with Douglas Bridges and Peter Schuster),
J. Symbolic Logic 71, iss. 2 (2006), 713–720
-
The anti-Specker property, a Heine–Borel
property, and uniform continuity (with Douglas Bridges),
Arch. Math. Log. 46, no. 7–8 (2008), 583–592
-
The weak König lemma and uniform continuity,
J. Symbolic Logic 73, iss. 3 (2008), 933–939
-
A decomposition of Brouwer's fan theorem,
Journal of
Logic and Analysis 1 (2009), 1–8,
DOI: 10.4115/jla.2009.1.6
- A separation result for varieties of Brouwer's fan theorem.
Accepted for publication in the Proceedings of the 10th Asian Logic Conference.
28. October 2009
