×

zbMATH — the first resource for mathematics

Lawless sequences of natural numbers. (English) Zbl 0157.33401

PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] L.E.J. Brouwer [1] Über Definitionsbereiche von Funktionen , Math. Ann. 97 (1927), 60-76. · JFM 52.0239.01
[2] 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. · Zbl 0027.04906
[3] L.E.J. Brouwer [3] Historical background, principles and methods of intuitionism , South African J. of Sc. 49 (1952), 139-146.
[4] K. Gödel [4] Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes , Dialectica 12 (1958), 280-287. · Zbl 0090.01003 · doi:10.1111/j.1746-8361.1958.tb01464.x
[5] S.C. Kleene [5] Constructive functions in ”The foundations of intuitionistic mathematics” , Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam 1967. · Zbl 0191.28701
[6] G. Kreisel [6] A remark on free choice sequences and the topological completeness proofs , JSL 23 (1958), 369-388. · Zbl 0091.01101 · doi:10.2307/2964012
[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, Amsterdam 1959. · Zbl 0134.01001
[8] G. Kreisel [8] Mathematical Logic , pp. 95-195, in: Lectures on modern mathematics, vol. 3, ed. J. L. Saaty, Wiley, NY 1965. · Zbl 0147.24703
[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, Amsterdam 1967.
[10] G. Kreisel and A.S. Troelstra [10] A formal system for intuitionistic analysis , to appear. · Zbl 0211.01101 · doi:10.1016/0003-4843(70)90001-X
[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, Amsterdam 1965. · Zbl 0137.00702
[12] J.R. Myhill [12] Notes towards an axiomatization of intuitionistic analysis , Logique et Analyse, 35 (1967), 280-297. · Zbl 0187.26307
[13] A.S. Troelstra [13] The theory of choice sequences , Proc. Int. Congress Logic, Methodology and Philosophy of Science, Amsterdam 1967. · Zbl 0185.01002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.