The cohesive principle and the Bolzano-Weierstra principle
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.
cohesive principle bolzano-weierstra principle msc (2010) 03f60 03d80 03b30