![]() | ![]() |
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) |
1 | Douglas S. Bridges | [5] [8] |
2 | Hajime Ishihara | [1] |
3 | Dirk Pattinson | [7] |
4 | Peter Schuster | [7] |
5 | Júlia Zappe | [7] |