A classical view of the intuitionistic continuum

Annals of Pure and Applied Logic

Volumn 81, Issue 1-3, 1996, Pages 9-24

  Moschovakis, Joan Rand ^a,b  

^a OCCIDENTAL COLLEGE   (United States)

^b NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030240883     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/0168-0072(95)00050-X     Document Type: Article

References (20)

1. [1] K. Gödel, On intuitionistic arithmetic and number theory, (translated by S. Bauer-Mengelberg and J. van Heijenoort), in: S. Feferman, ed., Kurt Gödel: Collected Works, Vol. I (Oxford University Press, New York, 1993).
2. [2] A. Heyting, Intuitionism, an Introduction (North-Holland, Amsterdam. Third, revised edition 1972).
3. [3] A. Heyting, Some remarks on intuitionism, in: A. Heyting, ed., Constructivity in Mathematics (North-Holland, Amsterdam, 1959) 69-71.
4. [4] S.C. Kleene, On the interpretation of intuitionistic number theory, J. Symbolic Logic 10 (1945) 109-124.
5. [5] S.C. Kleene, Recursive functions and intuitionistic mathematics, in: Proceedings of the International Congress of Mathematicians, 1950 (American Mathematical Society, Providence, RI, 1952) 679-685.
6. [6] S.C. Kleene, Introduction to Metamathematics (North-Holland, Amsterdam 1952).
7. [7] S.C. Kleene, Classical extensions of intuitionistic mathematics, in: ICM 1964 (North-Holland, Amsterdam, 1965) 31-44.
8. [8] S.C. Kleene, Constructive functions in "The Foundations of Intuitionistic Mathematics", in: Logic, Methodology and Philos, of Science III (North-Holland, Amsterdam, 1967) 137-144.
9. [9] S.C. Kleene, Formalized recursive functionals and formalized realizability, Mem. Amer. Math. Soc. 89 (1969).
10. [10] S.C. Kleene and R.E. Vesley, The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions (North-Holland, Amsterdam, 1965).
11. [11] G. Kreisel, Lawless sequences of natural numbers, Compos. Math. 20 (1968) 222-248.
12. [12] G. Kreisel and A.S. Troelstra, Formal systems for some branches of intuitionistic analysis, Ann. Math. Logic 1 (1970) 229-387.
13. [13] A. Levy, Definability in axiomatic set theory, in: Math. Logic and Foundations of Set Theory (Proc., Jerusalem, 1968), (North-Holland, Amsterdam, 1970) 129-145.
14. [14] J.R. Moschovakis, Disjunction, existence and λ-eliminability in formalized intuitionistic analysis, Ph.D. thesis, University of Wisconsin, 1965.
15. [15] J.R. Moschovakis, Relative lawlessness in intuitionistic analysis, J. Symbolic Logic 52 (1987) 68-88.
16. [16] J.R. Moschovakis, An intuitionistic theory of lawlike, choice and lawless sequences, in: J. Oikkonen and J. Väänänen, eds., Logic Colloquium '90, Lecture Notes in Logic 2 (Springer, Berlin, 1993) 191-209. (See following item for an important correction.)
17. [17] J. R. Moschovakis, More about relatively lawless sequences, J. Symbolic Logic 59 (1994) 813-829.
18. [18] D. Nelson, Recursive functions and intuitionistic number theory, Trans. Amer. Math. Soc. 61 (1947) 307-368.
19. [19] A.S. Troelstra, Choice Sequences, a Chapter of Intuitionistic Mathematics (Clarendon Press, Oxford, 1977).
20. [20] A.S. Troelstra and D. van Dalen, Constructivism in Mathematics: An Introduction, Vols. 1 and 2 (North-Holland, Amsterdam, 1988).