Lawless sequences of natural numbers
Compositio Mathematica, Tome 20 (1968), pp. 222-248.
corrigé par Errata : “Lawless sequences of natural numbers” 
@article{CM_1968__20__222_0,
     author = {Kreisel, G.},
     title = {Lawless sequences of natural numbers},
     journal = {Compositio Mathematica},
     pages = {222--248},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     mrnumber = {226992},
     zbl = {0157.33401},
     language = {en},
     url = {http://archive.numdam.org/item/CM_1968__20__222_0/}
}
TY  - JOUR
AU  - Kreisel, G.
TI  - Lawless sequences of natural numbers
JO  - Compositio Mathematica
PY  - 1968
SP  - 222
EP  - 248
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://archive.numdam.org/item/CM_1968__20__222_0/
LA  - en
ID  - CM_1968__20__222_0
ER  - 
%0 Journal Article
%A Kreisel, G.
%T Lawless sequences of natural numbers
%J Compositio Mathematica
%D 1968
%P 222-248
%V 20
%I Wolters-Noordhoff Publishing
%U http://archive.numdam.org/item/CM_1968__20__222_0/
%G en
%F CM_1968__20__222_0
Kreisel, G. Lawless sequences of natural numbers. Compositio Mathematica, Tome 20 (1968), pp. 222-248. http://archive.numdam.org/item/CM_1968__20__222_0/

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

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 | MR | Zbl

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

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

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

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

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 | Zbl

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

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

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 | Zbl

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

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