Choice sequences and Markov's principle
Compositio Mathematica, Tome 24 (1972) no. 1, p. 33-53
@article{CM_1972__24_1_33_0,
     author = {Vesley, R. E.},
     title = {Choice sequences and Markov's principle},
     journal = {Compositio Mathematica},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {24},
     number = {1},
     year = {1972},
     pages = {33-53},
     zbl = {0237.02005},
     mrnumber = {313023},
     language = {en},
     url = {http://www.numdam.org/item/CM_1972__24_1_33_0}
}
Vesley, R. E. Choice sequences and Markov's principle. Compositio Mathematica, Tome 24 (1972) no. 1, pp. 33-53. http://www.numdam.org/item/CM_1972__24_1_33_0/

Errett Bishop [1] Mathematics as a numerical language, Intuitionism and Proof Theory, edited by John Myhill, A. Kino and R. E. Vesley, North-Holland, Amsterdam, (1970), 53-71. | MR 270894 | Zbl 0205.01201

Kurt Gödel [2] Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Dialectica 12 (1958), 280-287. | MR 102482 | Zbl 0090.01003

S.C. Kleene [3] Classical extensions of intuitionistic mathematics, Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science, edited by Y. Bar-Hillel, North-Holland, Amsterdam, (1965), 31-44. | MR 209124 | Zbl 0192.03002

S.C. Kleene [4] Countable functionals, Constructivity in Mathematics, edited by A. Heyting, North-Holland, Amsterdam, (1959), 81-100. | MR 112837 | Zbl 0100.24901

S.C. Kleene [5] Introduction to Metamathematics, Van Nostrand, New York, 1952. | MR 51790 | Zbl 0047.00703

S.C. Kleene And R.E. Vesley [6] The Foundations of Intuitionistic Mathematics, North-Holland, Amsterdam, 1965. | MR 176922 | Zbl 0133.24601

G. Kreisel [7] Interpretation of analysis by means of constructive functionals of finite types, Constructivity in Mathematics, edited by A. Heyting, North-Holland, Amsterdam (1959), 101-128. | MR 106838 | Zbl 0134.01001

G. Kreisel [8] On weak completeness of intuitionistic predicate logic, Journal of Symbolic Logic, vol. 27 (1962), 139-158. | MR 161796 | Zbl 0117.01005

John Myhill [9] Lecture notes for a seminar in logic, S.U.N.Y. at Buffalo, Spring 1969, and University of Michigan, Fall 1969.

M. Yasugi [10] Intuitionistic analysis and Gödel's interpretation, Journal of the Mathematical Society of Japan, vol. 15 (1963), 101-112. | MR 152438 | Zbl 0117.25702