Linked bibliography for the SEP article "Intuitionism in the Philosophy of Mathematics" by Rosalie Iemhoff |
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Aczel, P., 1978, ‘The type-theoretic interpretation of constructive set theory,’ in Logic Colloquium ‘77, A. Macintyre, L. Pacholski, J. Paris (eds.), North-Holland. (Scholar)
- van Atten, M. and D. van Dalen, 2002, ‘Arguments for the continuity principle,’ Bulletin of Symbolic Logic, 8(3): 329-374. (Scholar)
- van Atten, M., 2004, On Brouwer, (Wadsworth Philosophers Series), Belmont: Wadsworth/Thomson Learning. (Scholar)
- van Atten, M., 2007, Brouwer meets Husserl (On the phenomenology of choice sequences), Dordrecht: Springer. (Scholar)
- van Atten, M., 2008, ‘On the hypothetical judgement in the history of intuitionistic logic,’ in Logic, Methodology, and philosophy of science XIII: Proceedings of the 2007 International Congress in Beijing, C. Glymour and W. Wang and D. Westerståhl (eds.), London: King's College Publications. (Scholar)
- Beth, E.W., 1956, ‘Semantic construction of intuitionistic logic,’ KNAW Afd. Let. Med., Nieuwe serie, 19/11: 357-388. (Scholar)
- Brouwer, L.E.J., 1975, Collected works I, A. Heyting (ed.), Amsterdam: North-Holland. (Scholar)
- Brouwer, L.E.J., 1976, Collected works II, H. Freudenthal (ed.), Amsterdam: North-Holland. (Scholar)
- Brouwer, L.E.J., 1905, Leven, kunst en mystiek, Delft: Waltman. (Scholar)
- Brouwer, L.E.J., 1907, Over de grondslagen der wiskunde, Ph.D. Thesis, University of Amsterdam, Department of Physics and Mathematics. (Scholar)
- L.E.J. Brouwer, 1925, ‘Zur Begründung der intuitionistischen Mathematik I,’ Mathematische Annalen, 93: PAGES. (Scholar)
- L.E.J. Brouwer, 1925, ‘Zur Begründung der intuitionistischen Mathematik II,’ Mathematische Annalen, 95: 453-472. (Scholar)
- L.E.J. Brouwer, 1952, ‘Historical background, principles and methods of intuitionism,’ South African Journal of Science, 49 (October-November): 139-146. (Scholar)
- L.E.J. Brouwer, 1953, ‘Points and Spaces,’ Canadian Journal of Mathematics, 6: 1-17. (Scholar)
- L.E.J. Brouwer, 1981, Brouwer's Cambridge lectures on intuitionism, D. van Dalen (ed.), Cambridge: Cambridge University Press, Cambridge. (Scholar)
- L.E.J. Brouwer, 1992, Intuitionismus, D. van Dalen (ed.), Mannhein: Wissenschaftsverlag. (Scholar)
- L.E.J. Brouwer, and C.S. Adama van Scheltema, 1984, Droeve snaar, vriend van mij - Brieven , D. van Dalen (ed.), Amsterdam: Uitgeverij de Arbeiderspers. (Scholar)
- Coquand, T., 1995, ‘A constructive topological proof of van der Waerden's theorem,’ Journal of Pure and Applied Algebra, 105: 251-259 (Scholar)
- van Dalen, D., 1997, ‘How connected is the intuitionistic continuum?,’ Journal of Symbolic Logic, 62(4): 1147-1150. (Scholar)
- van Dalen, D., 2001, L.E.J. Brouwer (een biografie), Amsterdam: Uitgeverij Bert Bakker. (Scholar)
- van Dalen, D., 1999/2005, Mystic, geometer and intuitionist, Volumes I (1999) and II (2005), Oxford: Clarendon Press. (Scholar)
- van Dalen, D. (ed.), 2001, L.E.J. Brouwer en de grondslagen van de wiskunde, Utrecht: Epsilon Uitgaven. (Scholar)
- Diaconescu, R., 1975, ‘Axiom of choice and complementation,’ in Proceedings of the American Mathematical Society, 51: 176-178. (Scholar)
- Fourman, M., and R. Grayson, 1982, ‘Formal spaces,’ in The L.E.J. Brouwer centenary symposium, A.S. Troelstra and D. van Dalen (eds.), Amsterdam: North-Holland. (Scholar)
- Gentzen, G., 1934, ‘Untersuchungen über das logische Schließen I,II,’ Mathematische Zeitschrift, 39: 176-210, 405-431. (Scholar)
- Gödel, K., 1958, ‘Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes,’ Dialectia, 12: 280-287. (Scholar)
- Heyting, A., 1930, ‘Die formalen Regeln der intuitionistischen Logik,’ Sitzungsberichte der Preussischen Akademie von Wissenschaften. Physikalisch-mathematische Klasse, 42-56. (Scholar)
- Heyting, A., 1956, Intuitionism, an introduction, Amsterdam: North-Holland. (Scholar)
- van der Hoeven, G., and I. Moerdijk, 1984, ‘Sheaf models for choice sequences,’ Annals of Pure and Applied Logic, 27: 63-107. (Scholar)
- Kleene, S.C., and R.E. Vesley, 1965, The foundations of intuitionistic mathematics, Amsterdam: North-Holland. (Scholar)
- Kreisel, G., 1959, ‘Interpretation of analysis by means of constructive functionals of finite type,’ in Constructivity in mathematics, A. Heyting (ed.), Amsterdam: North-Holland. (Scholar)
- Kreisel, G., 1962, ‘On weak completeness of intuitionistic predicate logic,’ Journal of Symbolic Logic, 27: 139-158. (Scholar)
- Kreisel, G., 1968, ‘Lawless sequences of natural numbers,’ Compositio Mathematica, 20: 222-248. (Scholar)
- Kripke, S.A., 1965, ‘Semantical analysis of intuitionistic logic,’ in Formal systems and recursive functions, J. Crossley and M. Dummett (eds.), Amsterdam: North-Holland. (Scholar)
- Maietti, M.E., and G. Sambin, 2007, ‘Toward a minimalist foundation for constructive mathematics,’ in From sets and types to topology and analysis: toward a minimalist foundation for constructive mathematics, L. Crosilla and P. Schuster (eds.), Oxford: Oxford University Press. (Scholar)
- Martin-Löf, P., 1970, Notes on constructive mathematics, Stockholm: Almqvist & Wiskell. (Scholar)
- Martin-Löf, P., 1984, Intuitionistic type theory, Napoli: Bibliopolis. (Scholar)
- Moschovakis, J.R., 1986, ‘Relative lawlessness in intuitionistic analysis,’ Journal of Symbolic Logic, 52(1): 68-87. (Scholar)
- Myhill, J., 1975, ‘Constructive set theory,’ Journal of Symbolic Logic, 40: 347-382. (Scholar)
- van Oosten, J., 2008, Realizability: An introduction to its categorical side, (Studies in Logic and the Foundations of Mathematics: Volume 152), Amsterdam: Elsevier. (Scholar)
- Sambin, G., 1987, ‘Intuitionistic formal spaces,’ in Mathematical Logic and its Applications, D. Skordev (ed.), New York: Plenum. (Scholar)
- Scott, D., 1968, ‘Extending the topological interpretation to intuitionistic analysis,’ Compositio Mathematica, 20: 194-210. (Scholar)
- Tarski, A., 1938, ‘Der Aussagenkalkül und die Topologie,’ Fundamenta Mathematicae, 31: 103-134. (Scholar)
- Troelstra, A.S., 1973, Metamathematical investigations of intuitionistic arithmetic and analysis, (Lecture Notes in Mathematics: Volume 344), Berlin: Springer. (Scholar)
- Troelstra, A.S., 1977, Choice sequences, (Oxford Logic Guides), Oxford: Clarendon Press. (Scholar)
- Troelstra, A.S., and D. van Dalen, 1988, Constructivism I and II, Amsterdam: North-Holland. (Scholar)
- Veldman, W., 1976, ‘An intuitionistic completeness theorem for intuitionistic predicate logic,’ Journal of Symbolic Logic, 41(1): 159-166. (Scholar)
- Veldman, W., 2000, ‘The Borel hierarchy and the projective hierarchy in intuitionistic mathematics,’ Report Number 0103, Deptartment of Mathematics, University of Nijmegen; forthcoming in the Journal of Symbolic Logic. (Scholar)
- Veldman, W., 2004, ‘An intuitionistic proof of Kruskal's theorem,’ Archive for Mathematical Logic, 43(2): 215-264. (Scholar)
- Weyl, H., 1921, ‘Über die neue Grundlagenkrise der Mathematik,’ Mathematische Zeitschrift, 10: 39-70. (Scholar)
Generated Thu Apr 25 11:00:49 2013
