3 citations · 3 across the 1 of their papers we have counts for
3 papers
math.LO2021
On Farkas' Lemma and Related Propositions in BISH
Josef Berger, Gregor Svindland
In this paper we analyse in the framework of constructive mathematics (BISH) the validity of Farkas' lemma and related propositions, namely the Fredholm alternative for solvability…
math.LO2020
Brouwer's fan theorem
Josef Berger
Brouwer's fan theorem states that every bar is a uniform bar. We give an overview of the status of this axiom in Bishop's constructive mathematics. In particular, we describe the r…
math.LO2013★ 3 cited
Constructive aspects of Riemann's permutation theorem for series
J. Berger, D. Bridges, H. Diener +1
The notions of permutable and weak-permutable convergence of a series of real numbers are introduced. Classically, these two notions are equivalent, and,…