Skip to main content

Conditions related to de Morgan's law

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

Keywords

  • Local Ring
  • Heyting Algebra
  • Commutative Monoid
  • Stone Algebra
  • Global Element

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.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (Canada)
  • 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.

References

  1. Acuña-Ortega, O., Linton, F.E.J.: Finiteness and decidability. This volume

    Google Scholar 

  2. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press 1974

    Google Scholar 

  3. Bénabou, J.: Logique catégorique. Sem. de mathématiques supérieures, Université de Montréal 1974 (unpublished)

    Google Scholar 

  4. De Morgan, A.: Formal Logic; or, the calculus of inference, necessary and probable. London: Taylor and Walton 1847.

    Google Scholar 

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

    Google Scholar 

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

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Gillman, L., Jerison, M.: Rings of Continuous Functions. Van Nostrand 1960 (reprinted as: Graduate Texts in Mathematics 43, Springer Verlag 1976)

    Google Scholar 

  8. Horn, A.: Logic with truth values in a linearly ordered Heyting algebra. J. Symbolic Logic 34, 395–408 (1969)

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. Johnstone, P.T.: Topos Theory. L.M.S. Mathematical Monographs 10. Academic Press 1977

    Google Scholar 

  10. Johnstone, P.T.: Automorphisms of Ω. Algebra Universalis, to appear

    Google Scholar 

  11. Mikkelsen, C.J.: Lattice-theoretic and logical aspects of elementary topoi. Aarhus Universitet Various Publications Series 25 (1976)

    Google Scholar 

  12. Mulvey, C.J.: The real numbers in a topos. To appear

    Google Scholar 

  13. Stout, L.N.: Topological properties of the real numbers object in a topos. Cahiers top. et géom. diff. 17, 295–326 (1976)

    MathSciNet  MATH  Google Scholar 

  14. Walker, R.C.: The Stone-Čech Compactification. Ergebnisse der Mathematik, Band 83, Springer Verlag 1974

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1979 Springer-Verlag

About this chapter

Cite this chapter

Johnstone, P.T. (1979). Conditions related to de Morgan's law. 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/BFb0061829

Download citation

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

  • 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