From absolute to local mathematics

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

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

   Google Scholar 

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

   Google Scholar 

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.

   Google Scholar 

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

   Google Scholar 

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

   Google Scholar 

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

   Google Scholar 

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

   Google Scholar 

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

   Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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. 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.

    Google Scholar 

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

    Google Scholar 

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. 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.

    Google Scholar 

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

    Google Scholar 

Download references