References
Brouwer, L.E.J.: Essentieel negatieve eigenschappen. Indagationes Math.10, 322–323 (1948)
Brouwer, L.E.J.: Consciousness, philosophy and mathematics. In: Beth, E.W., et al. (eds.) Library of the Tenth International Congress of Philosophy, August 1948, Amsterdam, vol. I, pp. 1235–1249. Amsterdam: North-Holland 1949 A
Brouwer, L.E.J.: De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum. Indagationes Math.11, 37–39 (1949 B)
Brouwer, L.E.J.: Over accumulatiekernen van oneindige kernsoorten. Indagationes Math.14, 439–441 (1952)
Brouwer, L.E.J.: Intuitionistische differentieerbaarheid. Indagationes Math.16, 201–203 (1954 A)
Brouwer, L.E.J.: An example of contradictory in classical theory of functions. Indagationes Math.16, 204–205 (1954 B)
Dalen, D.van: An interpretation of intuitionistic analysis. Ann. Math. Logic13, 1–41 (1978)
Dalen, D.van.: Intuitionistic logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of philosophical logic, vol. III, pp. 225–339. Dordrecht: Reidel 1986
Dantzig, D.van.: Comments on Brouwer's theorem on essentially-negative predicates. Indagationes Math.11, 347–355 (1949)
Dummett, M.A.E.: Elements of intuitionism. Oxford: Clarendon Press 1977
Gabbay, D.M.: A new version of Beth semantics for intuitionistic logic. J. Symb. Logic.42, 306–308 (1977)
Gabbay, D.M.: Semantical investigations in Heyting's intuitionistic logic. Synthese Library, vol. 148. Dordrecht: Reidel 1981
Heyting, A.: Intuitionism. An introduction, 3rd rev. edn. Amsterdam: North-Holland 1971
Kreisel, G.: Informal rigour and completeness proofs. In: Lakatos, I. (ed.) Problems in the philosophy of mathematics, pp. 138–171. Amsterdam: North-Holland 1967
Kripke, S.A.: Semantical analysis of intuitionistic logic I. In: Grossley, J., Dummett, M.A.E. (eds.) Formal systems and recursive functions, pp. 92–130. Amsterdam: North-Holland 1965
Myhill, J.: Notes towards an axiomatization of intuitionistic analysis. Logique et analyse35, 280–297 (1967)
Myhill, J.: Formal systems of intuitionistic analysis I. In: van Rootselaar, B., Staal, J. (eds.) Logic, methodology and philosophy of science, vol. III, pp. 161–178. Amsterdam: North-Holland 1968
Myhill, J.: Formal systems of intuitionistic analysis II. In: Kino, A., et al. (eds.) Intuitionism and proof theory, pp. 151–162. Amsterdam: North-Holland 1970
Rootselaar, B.van.: On subjective mathematical assertions. In: Kino, A., et al. (eds.) Intuitionism and proof theory, pp. 187–196. Amsterdam: North-Holland 1970
Swart, H.de.: Another intuitionistic completeness proof. J. Symb. Logic41, 644–662 (1976)
Troelstra, A.S., van Dalen, D.: Constructivism in mathematics, vols. I and II. Amsterdam: North-Holland 1988
Troelstra, A.S.: Principles of intuitionism. Lect. Notes Math., vol. 95. Berlin Heidelberg New York: Springer 1969
Troelstra, A.S.: Choice sequences, a chapter of intuitionistic mathematics. Oxford: Clarendon Press 1977
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Krivtsov, V.N. Creative subject, Beth models and neighbourhood functions. Arch Math Logic 35, 89–102 (1996). https://doi.org/10.1007/BF01273687
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01273687