3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…