2008 |
8 | EE | Josef Berger,
Douglas S. Bridges:
The anti-Specker property, a Heine-Borel property, and uniform continuity.
Arch. Math. Log. 46(7-8): 583-592 (2008) |
7 | EE | Josef Berger,
Dirk Pattinson,
Peter Schuster,
Júlia Zappe:
Editorial: Math. Log. Quart. 1/2008.
Math. Log. Q. 54(1): 4 (2008) |
2006 |
6 | EE | Josef Berger:
The Logical Strength of the Uniform Continuity Theorem.
CiE 2006: 35-39 |
5 | EE | Josef Berger,
Douglas S. Bridges:
A Bizarre Property Equivalent to the Pi10-Fan Theorem.
Logic Journal of the IGPL 14(6): 867-871 (2006) |
2005 |
4 | EE | Josef Berger:
The Fan Theorem and Uniform Continuity.
CiE 2005: 18-22 |
3 | EE | Josef Berger:
Constructive Equivalents of the Uniform Continuity Theorem.
J. UCS 11(12): 1878-1883 (2005) |
2 | EE | Josef Berger:
Exact calculation of inverse functions.
Math. Log. Q. 51(2): 201-205 (2005) |
1 | EE | Josef Berger,
Hajime Ishihara:
Brouwer's fan theorem and unique existence in constructive analysis.
Math. Log. Q. 51(4): 360-364 (2005) |