×
Author ID: berger.josef Recent zbMATH articles by "Berger, Josef"
Published as: Berger, Josef; Berger, J.
Homepage: https://www.mathematik.uni-muenchen.de/~jberger/

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 156 times in 70 Documents Cited by Year
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
18
2005
A fan-theoretic equivalent of the antithesis of Specker’s theorem. Zbl 1132.03031
Berger, Josef; Bridges, Douglas
18
2007
The logical strength of the uniform continuity theorem. Zbl 1145.03339
Berger, Josef
17
2006
The fan theorem and uniform continuity. Zbl 1115.03088
Berger, Josef
12
2005
The fan theorem and unique existence of maxima. Zbl 1107.03064
Berger, Josef; Bridges, Douglas; Schuster, Peter
9
2006
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
8
2019
On nonstandard product measure spaces. Zbl 1014.03059
Berger, Josef; Osswald, Horst; Sun, Yeneng; Wu, Jiang-Lun
7
2002
A separation result for varieties of Brouwer’s fan theorem. Zbl 1198.03081
Berger, J.
7
2010
The anti-Specker property, a Heine-Borel property, and uniform continuity. Zbl 1143.03031
Berger, Josef; Bridges, Douglas
7
2008
Classifying Dini’s theorem. Zbl 1156.03055
Berger, Josef; Schuster, Peter
6
2006
A bizarre property equivalent to the \(\Pi_1^0\)-fan theorem. Zbl 1156.03054
Berger, Josef; Bridges, Douglas S.
6
2006
The fan theorem and positive-valued uniformly continuous functions on compact intervals. Zbl 1190.03053
Berger, Josef; Bridges, Douglas
6
2008
Convexity and constructive infima. Zbl 1402.03094
Berger, Josef; Svindland, Gregor
6
2016
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov’s principle. Zbl 1402.03093
Berger, Josef; Svindland, Gregor
4
2016
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
4
2012
Dini’s theorem in the light of reverse mathematics. Zbl 1162.03032
Berger, Josef; Schuster, Peter
3
2009
The weak König lemma and uniform continuity. Zbl 1171.03032
Berger, Josef
3
2008
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
Convexity and unique minimum points. Zbl 1441.03045
Berger, Josef; Svindland, Gregor
3
2019
Constructive equivalents of the uniform continuity theorem. Zbl 1120.03047
Berger, J.
2
2005
A decomposition of Brouwer’s fan theorem. Zbl 1285.03072
Berger, Josef
2
2009
Exact calculation of inverse functions. Zbl 1061.03076
Berger, Josef
1
2005
Rearranging series constructively. Zbl 1298.03114
Berger, J.; Bridges, D. S.
1
2009
Double sequences, almost Cauchyness and BD-N. Zbl 1315.03117
Berger, Josef; Bridges, Douglas; Palmgren, Erik
1
2012
A bound for Dickson’s lemma. Zbl 1459.03092
Berger, Josef; Schwichtenberg, Helmut
1
2017
Brouwer’s fan theorem and convexity. Zbl 1522.03328
Berger, Josef; Svindland, Gregor
1
2018
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Zbl 07006134
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; Nemoto, Takako
8
2019
Convexity and unique minimum points. Zbl 1441.03045
Berger, Josef; Svindland, Gregor
3
2019
Brouwer’s fan theorem and convexity. Zbl 1522.03328
Berger, Josef; Svindland, Gregor
1
2018
A bound for Dickson’s lemma. Zbl 1459.03092
Berger, Josef; Schwichtenberg, Helmut
1
2017
Convexity and constructive infima. Zbl 1402.03094
Berger, Josef; Svindland, Gregor
6
2016
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov’s principle. Zbl 1402.03093
Berger, Josef; Svindland, Gregor
4
2016
The weak König lemma, Brouwer’s fan theorem, De Morgan’s law, and dependent choice. Zbl 1325.03076
Berger, Josef; Ishihara, Hajime; Schuster, Peter
4
2012
A predicative completion of a uniform space. Zbl 1257.03092
Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter
3
2012
Double sequences, almost Cauchyness and BD-N. Zbl 1315.03117
Berger, Josef; Bridges, Douglas; Palmgren, Erik
1
2012
A separation result for varieties of Brouwer’s fan theorem. Zbl 1198.03081
Berger, J.
7
2010
Dini’s theorem in the light of reverse mathematics. Zbl 1162.03032
Berger, Josef; Schuster, Peter
3
2009
A decomposition of Brouwer’s fan theorem. Zbl 1285.03072
Berger, Josef
2
2009
Rearranging series constructively. Zbl 1298.03114
Berger, J.; Bridges, D. S.
1
2009
The anti-Specker property, a Heine-Borel property, and uniform continuity. Zbl 1143.03031
Berger, Josef; Bridges, Douglas
7
2008
The fan theorem and positive-valued uniformly continuous functions on compact intervals. Zbl 1190.03053
Berger, Josef; Bridges, Douglas
6
2008
The weak König lemma and uniform continuity. Zbl 1171.03032
Berger, Josef
3
2008
A fan-theoretic equivalent of the antithesis of Specker’s theorem. Zbl 1132.03031
Berger, Josef; Bridges, Douglas
18
2007
The logical strength of the uniform continuity theorem. Zbl 1145.03339
Berger, Josef
17
2006
The fan theorem and unique existence of maxima. Zbl 1107.03064
Berger, Josef; Bridges, Douglas; Schuster, Peter
9
2006
Classifying Dini’s theorem. Zbl 1156.03055
Berger, Josef; Schuster, Peter
6
2006
A bizarre property equivalent to the \(\Pi_1^0\)-fan theorem. Zbl 1156.03054
Berger, Josef; Bridges, Douglas S.
6
2006
Brouwer’s fan theorem and unique existence in constructive analysis. Zbl 1079.03059
Berger, Josef; Ishihara, Hajime
18
2005
The fan theorem and uniform continuity. Zbl 1115.03088
Berger, Josef
12
2005
Constructive equivalents of the uniform continuity theorem. Zbl 1120.03047
Berger, J.
2
2005
Exact calculation of inverse functions. Zbl 1061.03076
Berger, Josef
1
2005
On nonstandard product measure spaces. Zbl 1014.03059
Berger, Josef; Osswald, Horst; Sun, Yeneng; Wu, Jiang-Lun
7
2002

Citations by Year