Lawless sequences of natural numbers

G. Kreisel

Compositio Mathematica (1968)

  • Volume: 20, page 222-248
  • ISSN: 0010-437X

How to cite


Kreisel, G.. "Lawless sequences of natural numbers." Compositio Mathematica 20 (1968): 222-248. <>.

author = {Kreisel, G.},
journal = {Compositio Mathematica},
keywords = {mathematical logic},
language = {eng},
pages = {222-248},
publisher = {Wolters-Noordhoff Publishing},
title = {Lawless sequences of natural numbers},
url = {},
volume = {20},
year = {1968},

AU - Kreisel, G.
TI - Lawless sequences of natural numbers
JO - Compositio Mathematica
PY - 1968
PB - Wolters-Noordhoff Publishing
VL - 20
SP - 222
EP - 248
LA - eng
KW - mathematical logic
UR -
ER -


  1. L.E.J. Brouwer [1] Über Definitionsbereiche von Funktionen, Math. Ann.97 (1927), 60-76. Zbl52.0239.01MR1512354JFM52.0239.01
  2. L.E.J. Brouwer [2] Zum freien Werden von Mengen und Funktionen, Proc. Dutch Acad. Sc.45 (1942), 322-323or Indagationes4 (1942), 107-108. Zbl0027.04906MR10518JFM68.0101.01
  3. L.E.J. Brouwer [3] Historical background, principles and methods of intuitionism, South African J. of Sc.49 (1952), 139-146. MR51804
  4. K. Gödel [4] Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Dialectica12 (1958), 280-287. Zbl0090.01003MR102482
  5. S.C. Kleene [5] Constructive functions in "The foundations of intuitionistic mathematics" , Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam1967. Zbl0191.28701MR252203
  6. G. Kreisel [6] A remark on free choice sequences and the topological completeness proofs, JSL23 (1958), 369-388. Zbl0091.01101MR113805
  7. 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, Amsterdam1959. Zbl0134.01001MR106838
  8. G. Kreisel [8] Mathematical Logic, pp. 95-195, in: Lectures on modern mathematics, vol. 3, ed. J. L. Saaty, Wiley, NY1965. Zbl0147.24703MR177866
  9. G. Kreisel [9] Informal rigour and completeness proofs, pp. 138-171 in: Problems in the philosophy of mathematics, ed. I. Lakatos, North Holland Press, Amsterdam1967. 
  10. G. Kreisel and A.S. Troelstra [10] A formal system for intuitionistic analysis, to appear. Zbl0211.01101
  11. 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, Amsterdam1965. Zbl0137.00702MR201300
  12. J.R. Myhill [12] Notes towards an axiomatization of intuitionistic analysis, Logique et Analyse, 35 (1967), 280-297. Zbl0187.26307MR216940
  13. A.S. Troelstra [13] The theory of choice sequences, Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam1967. Zbl0185.01002MR252206

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.