TY  - RPRT
TI  - The cohesive principle and the Bolzano-Weierstraß principle
AU  - Alexander P. Kreuzer
PY  - 2011
DO  - 10.1002/malq.201010008
UR  - https://arxiv.org/abs/1005.5316
ID  - 1005.5316
ER  -