Realizing Brouwer's sequences

Annals of Pure and Applied Logic

Volumn 81, Issue 1-3, 1996, Pages 25-74

  Vesley, Richard E ^a  

^a UNIVERSITY AT BUFFALO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030240884     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/0168-0072(94)00047-6     Document Type: Article

References (23)

1. [1] L.E.J. Brouwer, Points and spaces, in: A. Heyting, ed., L.E.J. Brouwer: Collected Works, Vol. I (North-Holland, Amsterdam, 1975); Reprinted from Can. J. Math. 44 (1954) 1-17.
2. [1] L.E.J. Brouwer, Points and spaces, in: A. Heyting, ed., L.E.J. Brouwer: Collected Works, Vol. I (North-Holland, Amsterdam, 1975); Reprinted from Can. J. Math. 44 (1954) 1-17.
3. [2] J.P. Burgess. The completeness of intuitionistic propositional calculus for its intended interpretation, Notre Dame J. Formal Logic 22 (1981) 17-28.
4. [3] D. van Dalen, An interpretation of intuitionistic analysis, Ann, Math. Logic 13 (1978) 1-43.
5. [4] D. van Dalen and A.S. Troelstra, Projections of lawless sequences, in: J. Myhill et al., eds., Intuitionism and Proof Theory (North-Holland, Amsterdam, 1970).
6. [5] G.F. van der Hoeven, Projections of Lawless Sequences (Mathematisch Centrum, Amsterdam, 1981).
7. [6] M. Hyland, The effective topos. in: A.S. Troelstra and D. van Dalen, eds, L.E.J. Brouwer Centenary Symposium (North-Holland, Amsterdam, 1982).
8. [7] S.C. Kleene, On the interpretation of intuitionistic number theory, J. Symbolic Logic 10 (1945) 109-124.
9. [8] S.C. Kleene, Introduction to Metamathematics (van Nostrand, New York, 1952).
10. [9] S.C. Kleene, Countable functionals, in: A. Heyting, ed., Constructivity in Mathematics (North-Holland, Amsterdam, 1959).
11. [10] S.C. Kleene, Formalized Recursive Functionals and Formalized Realizability, Memoirs of American Mathematical Society 89 (American Mathematical Society, Providence, 1969).
12. [11] S.C. Kleene and R.E. Vesley, The Foundations of Intuitionistic Mathematics (North-Holland, Amsterdam, 1965) (cited aboved as: FIM).
13. [12] G. Kreisel, A remark on free choice sequences and the topological completeness proofs, J. Symbolic Logic 23 (1958) 369-388.
14. [13] G. Kreisel, Lawless sequences of natural numbers. Compositio Mathematicae 20 (1968) 222-248.
15. [14] G. Kreisel, On the idea(1) of logical closure, Ann. Pure Appl. Logic 56 (1992) 19-41.
16. [15] G. Kreisel and A.S. Troelstra, Formal systems for some branches of intuitionistic analysis, Ann. Math. Logic 1 (1970) 229-387.
17. [16] J.R. Moschovakis, An intuitionistic theory of lawlike, choice and lawless sequences, in: J. Okkonene and J. Våånånrn, eds, Logic Colloquium '90 (Springer, New York, 1993).
18. [17] J. Myhill, Notes towards an axiomatization of intuitionistic analysis, Logique Anal. 9 (1965) 280-297.
19. [18] A. Scedrov and R.E. Vesley, On a weakening of Markov's principle, Archiv fur Math. Logik 23 (1983) 153-160.
20. [19] D.S. Scott, Extending the topological interpretation to intuitionistic analysis, Compositio Math. 20 (1968) 194-210.
21. [20] H.C.M. de Swart, Spreads or choice sequences? History Philosophy Logic 13 (1992) 203-213.
22. [21] A.S. Troelstra, Choice Sequences (Clarendon Press, Oxford, 1977).
23. [22] A.S. Troelstra and D. van Dalen, Constructivism in Mathematics, an Introduction, Vol. 2 (North-Holland, Amsterdam, 1988).