\
Josef Berger
Dr Josef Berger
Research assistant
Office B 422
Theresienstraße 39, D-80333 München
E-mail: Josef.Berger[at]mathematik[dot]uni[hyphen]muenchen[dot]de
Tel.: +49 (0)89 2180-4419
Office hour: Wednesday 13:00–14:00
Workshops and meetings
Research networks
Teaching
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,
Proceedings of the 10th Asian Logic Conference, World Scientific Pub Co Inc (2010)
-
Rearranging Series Constructively (with Douglas Bridges),
Journal of Universal Computer Science 15, no. 17 (2009), 3160 – 3168
A complete list of my publications
Small notes
Website maintenance
14 July 2010