![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 7
Zeitschriftenartikel
Berger, Josef und Svindland, Gregor
(2021):
On Farkas' lemma and related propositions in BISH.
In: Annals of Pure and Applied Logic, Bd. 173, Nr. 2, 103059
Berger, Josef und Svindland, Gregor
(2019):
Convexity and unique minimum points.
In: Archive for Mathematical Logic, Bd. 58, Nr. 1-2: S. 27-34
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki und Nemoto, Takako
(2019):
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
In: Archive for Mathematical Logic, Bd. 58, Nr. 1-2: S. 203-217
Berger, Josef und Svindland, Gregor
(2018):
BROUWER'S FAN THEOREM AND CONVEXITY.
In: Journal of Symbolic Logic, Bd. 83, Nr. 4: S. 1363-1375
Berger, Josef und Svindland, Gregor
(2018):
Brouwer’s Fan Theorem and Convexity.
In: Journal of Symbolic Logic, Bd. 83, Nr. 4: S. 1363-1375
[PDF, 152kB]
Berger, Josef und Svindland, Gregor
(2016):
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle.
In: Annals of Pure and Applied Logic, Bd. 167, Nr. 11: S. 1161-1170
Berger, Josef und Svindland, Gregor
(2016):
Convexity and constructive infima.
In: Archive for Mathematical Logic, Bd. 55, Nr. 7-8: S. 873-881