Lawless sequences of natural numbers
Compositio Mathematica (1968)
- Volume: 20, page 222-248
- ISSN: 0010-437X
Access Full Article
topHow to cite
topKreisel, G.. "Lawless sequences of natural numbers." Compositio Mathematica 20 (1968): 222-248. <http://eudml.org/doc/88982>.
@article{Kreisel1968,
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 = {http://eudml.org/doc/88982},
volume = {20},
year = {1968},
}
TY - JOUR
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 - http://eudml.org/doc/88982
ER -
References
top- L.E.J. Brouwer [1] Über Definitionsbereiche von Funktionen, Math. Ann.97 (1927), 60-76. Zbl52.0239.01MR1512354JFM52.0239.01
- 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
- L.E.J. Brouwer [3] Historical background, principles and methods of intuitionism, South African J. of Sc.49 (1952), 139-146. MR51804
- K. Gödel [4] Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Dialectica12 (1958), 280-287. Zbl0090.01003MR102482
- S.C. Kleene [5] Constructive functions in "The foundations of intuitionistic mathematics" , Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam1967. Zbl0191.28701MR252203
- G. Kreisel [6] A remark on free choice sequences and the topological completeness proofs, JSL23 (1958), 369-388. Zbl0091.01101MR113805
- 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
- G. Kreisel [8] Mathematical Logic, pp. 95-195, in: Lectures on modern mathematics, vol. 3, ed. J. L. Saaty, Wiley, NY1965. Zbl0147.24703MR177866
- 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.
- G. Kreisel and A.S. Troelstra [10] A formal system for intuitionistic analysis, to appear. Zbl0211.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, Amsterdam1965. Zbl0137.00702MR201300
- J.R. Myhill [12] Notes towards an axiomatization of intuitionistic analysis, Logique et Analyse, 35 (1967), 280-297. Zbl0187.26307MR216940
- A.S. Troelstra [13] The theory of choice sequences, Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam1967. Zbl0185.01002MR252206
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.