Skip to main content Accessibility help
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Print publication year: 2017
  • Online publication date: March 2017

An intuitionistic theory of lawlike, choice and lawless sequences

Brouwer, L. E. J. [1918], Begrundung der Mengenlehre unαbhαngig vom logischen Sαtz vom αusgeschlossenen Dritten. Erster Teil: Allgemeine Mengenlehre , Ver. Kon. Akαd. v. Wet. I , 12, no. 5; reprinted in [1975, 286–290].
Brouwer, L. E. J. [1975], Collected Works, I (Heyting, A., editor), North-Holland, Amsterdam.
Brouwer, L. E. J. [1981], Brouwer's Cambridge Lectures on Intuitionism (van Dalen, D., editor), Cambridge Univ. Press, Cambridge.
Fourman, M. P. [1981], talk at the Brouwer, L. E. J. Centenary Symposium.
Kleene, S. C. [1952], Introduction to Metamathematics , North-Holland, Amsterdam.
Kleene, S. C. [1967], Constructive functions in “The Foundations of Intuitionistic Mathematics”, in Logic, Methodology and Philos. of Science III , North-Holland, Amsterdam, 137–144.
Kleene, S. C. [1969], Formalized recursive functionals and formalized realizability , Mem. Amer. Math. Soc. , 89.
Kleene, S. C. and Vesley, R. E. [1965], The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions, North-Holland, Amsterdam.
Kreisel, G. [1968], Lawless sequences of natural numbers , Compos. Math. , 20, 222–248.
Kreisel, G. and Troelstra, A. S. [1970], Formal systems for some branches of intuitionistic analysis , Ann. Math. Logic , 1, 229–387.
Levy, A. [1970], Definability in axiomatic set theory, in Mathematical Logic and Foundations of Set Theory (Proceedings, Jerusalem 1968), North-Holland, Amsterdam, 129–145.
Moschovakis, J. R. [1987], Relative lawlessness in intuitionistic analysis , Jour. Symb. Logic , 52, 68–88.
Moschovakis, J. R. [1994], More about relatively lawless sequences , Jour. Symb. Logic , to appear.
Troelstra, A. S. [1977], Choice Sequences, a Chapter of Intuitionistic Mathematics , Clarendon Press, Oxford.
Troelstra, A. S. and van Dalen, D. [1988], Constructivism in Mathematics: An Introduction , 1 and 2 , North-Holland, Amsterdam.
Vesley, R. E. [1980], Intuitionistic analysis: The search for axiomatization and understanding , in The Kleene Symposium , North-Holland, Amsterdam, 317–331.