28 citations · 116 across the 28 of their papers we have counts for
1 paper · 2 filters
Jonathan Sterling
Extending Martín Escardó's effectful forcing technique, we give a new proof of a well-known result: Brouwer's monotone bar theorem holds for any bar that can be realized by a funct…