 | 2012 |
| 17 |  | Josef Berger,
Hajime Ishihara,
Erik Palmgren,
Peter Schuster:
A predicative completion of a uniform space.
Ann. Pure Appl. Logic 163(8): 975-980 (2012) |
| 16 |  | Josef Berger:
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem.
Ann. Pure Appl. Logic 163(8): 981-985 (2012) |
| 15 |  | Josef Berger,
Douglas S. Bridges,
Erik Palmgren:
Double sequences, almost Cauchyness and BD-N.
Logic Journal of the IGPL 20(1): 349-354 (2012) |
| 2010 |
| 14 |  | Josef Berger,
Douglas S. Bridges:
A Constructive Study of Landau's Summability Theorem.
J. UCS 16(18): 2523-2534 (2010) |
| 2009 |
| 13 |  | Josef Berger,
Douglas S. Bridges:
A Constructive Study of Landau's Summability Theorem.
CCA 2009 |
| 12 |  | Josef Berger,
Douglas S. Bridges:
Rearranging Series Constructively.
J. UCS 15(17): 3160-3168 (2009) |
| 2008 |
| 11 |  | 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) |
| 10 |  | Josef Berger:
The weak König lemma and uniform continuity.
J. Symb. Log. 73(3): 933-939 (2008) |
| 9 |  | Josef Berger,
Dirk Pattinson,
Peter Schuster,
Júlia Zappe:
Editorial: Math. Log. Quart. 1/2008.
Math. Log. Q. 54(1): 4 (2008) |
| 2006 |
| 8 |  | Josef Berger:
The Logical Strength of the Uniform Continuity Theorem.
CiE 2006: 35-39 |
| 7 |  | Josef Berger,
Douglas S. Bridges,
Peter Schuster:
The fan theorem and unique existence of maxima.
J. Symb. Log. 71(2): 713-720 (2006) |
| 6 |  | Josef Berger,
Douglas S. Bridges:
A Bizarre Property Equivalent to the Pi10-Fan Theorem.
Logic Journal of the IGPL 14(6): 867-871 (2006) |
| 5 |  | Josef Berger,
Peter Schuster:
Classifying Dini's Theorem.
Notre Dame Journal of Formal Logic 47(2): 253-262 (2006) |
| 2005 |
| 4 |  | Josef Berger:
The Fan Theorem and Uniform Continuity.
CiE 2005: 18-22 |
| 3 |  | Josef Berger:
Constructive Equivalents of the Uniform Continuity Theorem.
J. UCS 11(12): 1878-1883 (2005) |
| 2 |  | Josef Berger:
Exact calculation of inverse functions.
Math. Log. Q. 51(2): 201-205 (2005) |
| 1 |  | Josef Berger,
Hajime Ishihara:
Brouwer's fan theorem and unique existence in constructive analysis.
Math. Log. Q. 51(4): 360-364 (2005) |