@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://www.numdam.org/item/CM_1968__20__222_0/} }
Kreisel, G. Lawless sequences of natural numbers. Compositio Mathematica, Tome 20 (1968), pp. 222-248. http://www.numdam.org/item/CM_1968__20__222_0/
Über Definitionsbereiche von Funktionen, Math. Ann. 97 (1927), 60-76. | EuDML | JFM | MR
[1]Zum freien Werden von Mengen und Funktionen, Proc. Dutch Acad. Sc. 45 (1942), 322-323or Indagationes 4 (1942), 107-108. | JFM | MR | Zbl
[2]Historical background, principles and methods of intuitionism, South African J. of Sc. 49 (1952), 139-146. | MR
[3]Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Dialectica 12 (1958), 280-287. | MR | Zbl
[4]Constructive functions in "The foundations of intuitionistic mathematics" , Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam 1967. | MR | Zbl
[5]A remark on free choice sequences and the topological completeness proofs, JSL 23 (1958), 369-388. | MR | Zbl
[6]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
[7]Mathematical Logic, pp. 95-195, in: Lectures on modern mathematics, vol. 3, ed. J. L. Saaty, Wiley, NY 1965. | MR | Zbl
[8]Informal rigour and completeness proofs, pp. 138-171 in: Problems in the philosophy of mathematics, ed. I. Lakatos, North Holland Press, Amsterdam 1967.
[9]A formal system for intuitionistic analysis, to appear. | Zbl
and [10]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
[11]Notes towards an axiomatization of intuitionistic analysis, Logique et Analyse, 35 (1967), 280-297. | MR | Zbl
[12]The theory of choice sequences, Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam 1967. | MR | Zbl
[13]