This is a preview of subscription content, log in via an institution to check access.
References
Bell, J. L.: 1977, Boolean- Valued Models and Independence Proofs in Set Theory, Oxford University Press.
Bell, J. L.: 1981, ‘Category Theory and the Foundations of Mathematics’, British Journal for the Philosophy of Science 32, 349–358.
Bell, J. L.: 1982, ‘Categories, Toposes and Sets’, Synthese 51, 293–337.
Bell, J. L.: 1982, ‘Some Aspects of the Category of Subobjects of Constant Objects in a Topos’, Journal of Pure and Applied Algebra 24, 245–259.
Bell, J. L. and M. Machover: 1977, A Course in Mathematical Logic, North-Holland, Amsterdam.
Davis, M.: 1977, ‘A Relativity Principle in Quantum Mechanics’, International Journal of Theoretical Physics 16, 867–874.
Fourman, M. P.: 1977, ‘The Logic of Topoi’, in Barwise, J. (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam.
Fourman, M. P. and J. Hyland: 1979, ‘Sheaf Models for Analysis’, Applications of Sheaves, Lecture Notes in Mathematics 753, Springer-Verlag, Berlin.
Goldblatt, R.: 1979, Topoi, the Categorial Analysis of Logic, North-Holland, Amsterdam.
Johnstone, P. T.: 1977, Topos Theory, Academic Press, London.
Kock, A.: 1981, ‘Synthetic Differential Geometry’, London Math. Soc. Lecture Notes 51, Cambridge University Press, Cambridge, Mass.
Lawvere, F. W.: 1976, ‘Variable Quantities and Variable Structures in Topoi’, Algebra, Topology and Category Theory, A Collection of Papers in Honor of Samuel Eilenberg, Academic Press.
Lawvere, F. W.: 1980, ‘Toward the Description in a Smooth Topos of the Dynamically Possible Motions and Deformations of a Continuous Body’, Cahiers de Topologie et Geometrie Differentielle 21, 377–392.
MacLane, S.: 1971, Categories for the Working Mathematician, Springer-Verlag, Berlin.
Skolem, Th.: 1981, ‘Some Remarks on Axiomatized Set Theory’, translation of original 1922 paper in From Frege to Gödel, Harvard University Press.
Takeuti, G.: 1978, Two Applications of Logic to Mathematics, Part I: Boolean Valued Analysis, publications of the Math. Soc. of Japan 13, Iwanami and Princeton University Press, Tokyo and Princeton 1978.
Wigner, E. P.: 1960, ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Commun. Pure & Appl. Math. 13, 1–14.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bell, J.L. From absolute to local mathematics. Synthese 69, 409–426 (1986). https://doi.org/10.1007/BF00413980
Issue Date:
DOI: https://doi.org/10.1007/BF00413980