Skip to main content
SpringerLink
Log in
Book cover

Applications of Sheaves pp 302–401Cite as

Sheaves and logic

Part of the Lecture Notes in Mathematics book series (LNM,volume 753)

Keywords

  • Topological Space
  • Complete Lattice
  • Global Section
  • Intuitionistic Logic
  • Congruence Relation

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Artin, M., Grothendieck, A., Verdier, J.L.: Théorie des topos et cohomologie étale des schémas (SGA4). Lecture Notes in Mathematics, 269 (1972), 270 (1972), 305 (1973). Berlin and New York: Springer

    Google Scholar 

  2. Benabou, J.: Treillis locaux et paratopologies. Séminaire C. Ehresmann, 1957/58. Fac. des Sciences de Paris, 1969

    Google Scholar 

  3. Courbet, G.: Les cribleuses de blé. Nantes, Musée des Beaux-Arts, 1854

    Google Scholar 

  4. van Dalen, D.: A model for HAS, a topological interpretation of the theory of species of natural numbers. Fund. Math., 82 (1974), 167–174

    MathSciNet  MATH  Google Scholar 

  5. Dowker, C.H., Papert, D.: Quotient frames and subspaces. Proc. London Math. Soc. (3), 16 (1966), 275–296

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Dummett, M.: Elements of Intuitionism. Oxford: Oxford University Press, 1977

    MATH  Google Scholar 

  7. Ellerman, D.P.: Sheaves of structures and generalized ultraproducts. Annals of Math. Logic, 7 (1974), 163–195

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Fitting, M.: Intuitionistic Logic, Model Theory and Forcing. North-Holland 1969

    Google Scholar 

  9. Fourman, M.P.: The logic of topoi. In Handbook of Mathematical Logic (ed. Barwise), 1053–1090. North-Holland, 1977

    Google Scholar 

  10. Fourman, M.P.: A representation of internal sober spaces. (Abstract). Notices of the Amer. Math. Soc., 24, 3 (1977)

    Google Scholar 

  11. Fourman, M.P.: Formal spaces. In preparation. (Abstract: Tagungsbericht, Oberwolfach, Kategorien 31.7.-6.8.77, 38–39)

    Google Scholar 

  12. Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. This volume

    Google Scholar 

  13. Freyd, P.J.: Aspects of topoi. Bull. Austral. Math. Soc., 7 (1972), 1–76

    CrossRef  MathSciNet  MATH  Google Scholar 

  14. Godement, R.: Topologie algébrique et théorie des faisceaux. Revised edition. Paris: Hermann 1964

    MATH  Google Scholar 

  15. Gray, J.W.: The meeting of the midwest category seminar in Zurich. In Reports of the midwest category seminar (ed. Gray). Lecture Notes in Mathematics, 195 (1971), 248–255. Berlin and New York: Springer

    CrossRef  Google Scholar 

  16. Grayson, R.: Heyting-valued models for intuitionistic set-theory. This volume.

    Google Scholar 

  17. Grothendieck, A., Dieudonné, J.: Eléments de géometrie algébrique (EGA I). Springer 1971

    Google Scholar 

  18. Higgs, D.: A category approach to boolean-valued set theory. Preprint. Waterloo, 1973

    Google Scholar 

  19. Hyland, J.M.E.: Aspects of constructivity in mathematics. In Oxford Logic Colloquim '76 (eds. Hyland and Gandy). North-Holland 1977

    Google Scholar 

  20. Hyland, J.M.E.: Continuity in spatial toposes. This volume

    Google Scholar 

  21. Isbell, J.R.: Atomless parts of spaces. Math. Scand., 31 (1972), 5–32

    MathSciNet  MATH  Google Scholar 

  22. Johnstone, P.T.: Rings, fields and spectra. J. Algebra, 49 (1977), 238–260

    CrossRef  MathSciNet  MATH  Google Scholar 

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

    Google Scholar 

  24. Johnstone, P.T.: Conditions related to de Morgan's law. This volume

    Google Scholar 

  25. Johnstone, P.T., Paré, R. (eds.): Indexed categories and their applications. Lecture Notes in Mathematics, 661. Berlin and New York: Springer 1978

    MATH  Google Scholar 

  26. Kaiser, J.: On generic stalks of sheaves. J. London Math. Soc., 16 (1977), 385–392

    CrossRef  MathSciNet  MATH  Google Scholar 

  27. Kennison, J.F.: Integral domain type representations in sheaves and other topoi. Math. Z., 151 (1976), 35–56

    CrossRef  MathSciNet  MATH  Google Scholar 

  28. Kock, A., LeCouturier, P., Mikkelsen, C.J.: Some topos theoretic concepts of finiteness. In Model theory and topoi (ed. Lawvere et al.). Lecture Notes in Mathematics, 445 (1975), 209–283. Berlin and New York: Springer

    CrossRef  Google Scholar 

  29. Lawvere, F.W.: Quantifiers and sheaves. In Actes de Congres International des Maths., Nice, 1 (1970), 329–334

    MathSciNet  Google Scholar 

  30. Lawvere, F.W.: Variable quantities and variable structures in topoi. In Algebra, topology, and category theory. Papers in honor of S. Eilenberg. (Eds. Heller and Tierney), 101–131. Academic Press 1976

    Google Scholar 

  31. Lawvere, F.W., Tierney, M.: Lectures on elementary topoi. Zurich, August 1970 Reported in Gray [15]

    Google Scholar 

  32. MacLane, S.: Categories for the Working Mathematician. Springer 1971

    Google Scholar 

  33. MacNab, D.S.: Modal operators on Heyting algebras. To appear

    Google Scholar 

  34. Makkai, M., Reyes, G.: First-order categorical logic. Lecture Notes in Mathematics, 611 (1977). Berlin and New York: Springer

    CrossRef  MATH  Google Scholar 

  35. Moschovakis, J.R.: A topological interpretation of second-order intuitionistic arithmetic. Comp. Math. (3), 26 (1973), 261–275

    MathSciNet  MATH  Google Scholar 

  36. Mulvey, C.J.: Intuitionistic algebra and representations of rings. In Recent advances in the representation theory of rings and C*-algebras by continuous sections (ed. Hofmann). Mem. Amer. Math. Soc., 148 (1974)

    Google Scholar 

  37. Mulvey, C.J.: Representation of rings and modules. This volume

    Google Scholar 

  38. Osius, G.: The internal and external aspects of logic and set theory in elementary topoi. Cah. Top. Géom. Diff., 14 (1973), 47–49

    Google Scholar 

  39. Osius, G.: Logical and set theoretical tools in elementary topoi. In Model theory and topoi (ed. Lawvere et al.). Lecture Notes in Mathematics, 445 (1975), 297–345. Berlin and New York: Springer

    CrossRef  Google Scholar 

  40. Osius, G.: A note on Kripke-Joyal semantics for the internal language of topoi. Ibid. In, 349–354. Berlin and New York: Springer

    CrossRef  Google Scholar 

  41. Pierce, R.S.: Modules over commutative regular rings. Mem. Amer. Math. Soc., 70 (1967)

    Google Scholar 

  42. Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Warsaw 1963

    Google Scholar 

  43. Rousseau, C.: Topos theory and complex analysis. This volume

    Google Scholar 

  44. Scott, D.S.: Extending the topological interpretation to intuitionistic analysis. Part I. Composito Math. 20 (1968), 194–210. Part II. In Intuitionism and Proof Theory (eds. Myhill et al.), 235–255. North-Holland 1970

    MATH  Google Scholar 

  45. Scott, D.S.: Continuous lattices. In Toposes, algebraic geometry and logic (ed. Lawvere). Lecture Notes in Mathematics, 274 (1972), 97–136. Berlin and New York: Springer

    CrossRef  Google Scholar 

  46. Scott, D.S.: Identity and existence in intuitionistic logic. This volume

    Google Scholar 

  47. Simmons, H.: A framework for topology. In Logic Colloquium '77 (Wrocław), to appear

    Google Scholar 

  48. Smorynski, C.: Applications of Kripke models. In Metamathematical investigations of intuitionistic arithmetic and analysis (ed. Troelstra). Lecture Notes in Mathematics, 344. Berlin and New York: Springer 1973

    Google Scholar 

  49. Tierney, M.: On the spectrum of a ringed topos. In Algebra, topology and category theory. Papers in honor of S. Eilenberg (eds. Heller and Tierney). Academic Press 1976

    Google Scholar 

  50. Tierney, M.: Forcing topologies and classifying topoi. Ibid.

    Google Scholar 

  51. Wraith, G.C.: Lectures on elementary topoi. In Model theory and topoi (ed. Lawvere et al.). Lecture Notes in Mathematics, 445 (1975), 114–206. Berlin and New York: Springer

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Columbia University, 10027, New York, NY, USA

    M. P. Fourman

  2. Merton College, Oxford, England

    D. S. Scott

Authors
  1. M. P. Fourman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. S. Scott
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

    Rights and permissions

    Reprints and Permissions

    Copyright information

    © 1979 Springer-Verlag

    About this chapter

    Cite this chapter

    Fourman, M.P., Scott, D.S. (1979). Sheaves and logic. In: Fourman, M., Mulvey, C., Scott, D. (eds) Applications of Sheaves. Lecture Notes in Mathematics, vol 753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061824

    Download citation

    • DOI: https://doi.org/10.1007/BFb0061824

    • Published:

    • Publisher Name: Springer, Berlin, Heidelberg

    • Print ISBN: 978-3-540-09564-4

    • Online ISBN: 978-3-540-34849-8

    • eBook Packages: Springer Book Archive

    search

    Navigation