TY - JOUR AU - Vesley, R. E. TI - Choice sequences and Markov's principle JO - Compositio Mathematica PY - 1972 SP - 33 EP - 53 VL - 24 IS - 1 PB - Wolters-Noordhoff Publishing UR - http://www.numdam.org/item/CM_1972__24_1_33_0/ LA - en ID - CM_1972__24_1_33_0 ER -