Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

From absolute to local mathematics

This is a preview of subscription content, log in to check access.


  1. [1]

    Bell, J. L.: 1977, Boolean- Valued Models and Independence Proofs in Set Theory, Oxford University Press.

  2. [2]

    Bell, J. L.: 1981, ‘Category Theory and the Foundations of Mathematics’, British Journal for the Philosophy of Science 32, 349–358.

  3. [3]

    Bell, J. L.: 1982, ‘Categories, Toposes and Sets’, Synthese 51, 293–337.

  4. [4]

    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.

  5. [5]

    Bell, J. L. and M. Machover: 1977, A Course in Mathematical Logic, North-Holland, Amsterdam.

  6. [6]

    Davis, M.: 1977, ‘A Relativity Principle in Quantum Mechanics’, International Journal of Theoretical Physics 16, 867–874.

  7. [7]

    Fourman, M. P.: 1977, ‘The Logic of Topoi’, in Barwise, J. (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam.

  8. [8]

    Fourman, M. P. and J. Hyland: 1979, ‘Sheaf Models for Analysis’, Applications of Sheaves, Lecture Notes in Mathematics 753, Springer-Verlag, Berlin.

  9. [9]

    Goldblatt, R.: 1979, Topoi, the Categorial Analysis of Logic, North-Holland, Amsterdam.

  10. [10]

    Johnstone, P. T.: 1977, Topos Theory, Academic Press, London.

  11. [11]

    Kock, A.: 1981, ‘Synthetic Differential Geometry’, London Math. Soc. Lecture Notes 51, Cambridge University Press, Cambridge, Mass.

  12. [12]

    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.

  13. [13]

    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.

  14. [14]

    MacLane, S.: 1971, Categories for the Working Mathematician, Springer-Verlag, Berlin.

  15. [15]

    Skolem, Th.: 1981, ‘Some Remarks on Axiomatized Set Theory’, translation of original 1922 paper in From Frege to Gödel, Harvard University Press.

  16. [16]

    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.

  17. [17]

    Wigner, E. P.: 1960, ‘The Unreasonable Effectiveness of Mathematics in the Natural Sciences’, Commun. Pure & Appl. Math. 13, 1–14.

Download references

Author information

Rights and permissions

Reprints 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

Download citation