Abstract
We give an account of the logical and model theoretic aspects of sheaf theory and describe how this formalism leads to a new interpretation of the role of sheaves in the twistor description of massless fields.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Beth, E. (1947). Semantical considerations on intuitionistic logic.Indag. Math.,9, 572–577.
Chang, C., Keisler, H. (1973).Model Theory. North-Holland, Amsterdam.
Dummett, M. (1977).Elements of Intuitionism. Oxford University Press, New York.
Eastwood, M., Penrose, R., and Wells, R. O., Jr. (1981). Cohomology and massless fields,Communications in Mathematical Physics,78, 305–351.
Fourman, M. P., and Scott, D. S. (1979).Sheaves and Logic, Springer Lecture Notes in Mathematics, Vol. 753, pp. 302–401. Springer, New York.
Johnstone, P. T. (1977).Topos Theory. Academic Press, New York.
Jozsa, R. (1981). Models in categories and twistor theory, D. Phil. thesis, Oxford University (unpublished).
Kripke, S. (1965). Semantical analysis of intuitionistic logic I, inFormal Systems and Recursive Functions, J. Crossley, and M. Dummett, eds. pp. 92–130. North-Holland, Amsterdam.
Lawvere, F. W. (1975). Continuously variable sets: algebraic geometry = geometric logic. inBristol Logic Colloquium '73, J. Shepherdson and H. Rose, eds. pp. 135–156. North-Holland, Amsterdam.
Lawvere, F. W. (1976). Variable quantities and variable structures in topoi, inAlgebra, Topology and Category Theory — A Collection of Papers in Honour of S. Eilenberg, A. Heller and M. Tierney, eds. pp. 101–131. Academic Press, New York.
MaLane, S., and Birkhoff, G. (1967).Algebra. MacMillan, New York.
Makkai, M., and Reyes, G. E. (1979).First Order Categorical Logic, Springer Lecture Notes in Mathematics, Vol. 611. Springer, New York.
Mulvey, C. (1974). Intuitionistic algebra and representations of rings,Memoirs of the American Mathematics Society,148, 3–57.
Penrose, R. (1968). The structure of spacetime, inBattelle Rencontres 1967, pp. 121–235. Benjamin, New York.
Penrose, R., and Rindler, W. (to appear).Spinors and Spacetime Structure. Cambridge, Cambridge University Press, Cambridge.
Rousseau, C. (1979).Topos Theory and Complex Analysis, in Springer Lecture Notes in Mathematics, Vol. 753, pp. 623–659. Springer, New York.
Wells, R. O., Jr. (1979). Complex manifolds in mathematical physics,Bulletin of the American Mathematics Society (new series),1, 296–336.
Author information
Authors and Affiliations
Additional information
Most of this work was carried out while the author was Junior Lecturer in Mathematics, University of Oxford, United Kingdom.
Rights and permissions
About this article
Cite this article
Jozsa, R. Sheaf models and massless fields. Int J Theor Phys 23, 67–97 (1984). https://doi.org/10.1007/BF02080672
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02080672