16 citations · 67 across the 20 of their papers we have counts for
1 paper · 2 filters
Alexander P. Kreuzer
The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstraß principle (BW) and a weak variant of it. We show that BW is inst…