Lawless sequences of natural numbers
Compositio Mathematica, Volume 20  (1968), p. 222-248
@article{CM_1968__20__222_0,
     author = {Kreisel, G.},
     title = {Lawless sequences of natural numbers},
     journal = {Compositio Mathematica},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     pages = {222-248},
     zbl = {0157.33401},
     mrnumber = {226992},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__222_0}
}
Kreisel, G. Lawless sequences of natural numbers. Compositio Mathematica, Volume 20 (1968) , pp. 222-248. http://www.numdam.org/item/CM_1968__20__222_0/

L.E.J. Brouwer [1] Über Definitionsbereiche von Funktionen, Math. Ann. 97 (1927), 60-76. | JFM 52.0239.01 | MR 1512354

L.E.J. Brouwer [2] Zum freien Werden von Mengen und Funktionen, Proc. Dutch Acad. Sc. 45 (1942), 322-323or Indagationes 4 (1942), 107-108. | JFM 68.0101.01 | MR 10518 | Zbl 0027.04906

L.E.J. Brouwer [3] Historical background, principles and methods of intuitionism, South African J. of Sc. 49 (1952), 139-146. | MR 51804

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

S.C. Kleene [5] Constructive functions in "The foundations of intuitionistic mathematics" , Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam 1967. | MR 252203 | Zbl 0191.28701

G. Kreisel [6] A remark on free choice sequences and the topological completeness proofs, JSL 23 (1958), 369-388. | MR 113805 | Zbl 0091.01101

G. Kreisel [7] Interpretation of analysis by means of constructive functionals of finite types, pp. 101-128, in: Constructivity in mathematics, ed. A. Heyting, North-Holland Press, Amsterdam 1959. | MR 106838 | Zbl 0134.01001

G. Kreisel [8] Mathematical Logic, pp. 95-195, in: Lectures on modern mathematics, vol. 3, ed. J. L. Saaty, Wiley, NY 1965. | MR 177866 | Zbl 0147.24703

G. Kreisel [9] Informal rigour and completeness proofs, pp. 138-171 in: Problems in the philosophy of mathematics, ed. I. Lakatos, North Holland Press, Amsterdam 1967.

G. Kreisel and A.S. Troelstra [10] A formal system for intuitionistic analysis, to appear. | Zbl 0211.01101

S.A. Kripke [11] Semantical analysis of intuitionistic logic I, pp. 92-130 in: Formal systems and recursive functions, ed. J. N. Crossley and M. A. E. Dummett, North Holland Press, Amsterdam 1965. | MR 201300 | Zbl 0137.00702

J.R. Myhill [12] Notes towards an axiomatization of intuitionistic analysis, Logique et Analyse, 35 (1967), 280-297. | MR 216940 | Zbl 0187.26307

A.S. Troelstra [13] The theory of choice sequences, Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam 1967. | MR 252206 | Zbl 0185.01002