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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Acuña-Ortega, O., Linton, F.E.J.: Finiteness and decidability. This volume
Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press 1974
Bénabou, J.: Logique catégorique. Sem. de mathématiques supérieures, Université de Montréal 1974 (unpublished)
De Morgan, A.: Formal Logic; or, the calculus of inference, necessary and probable. London: Taylor and Walton 1847.
Fourman, M.P., Hyland, J.M.E.: Sheaf models for analysis. This volume
Freyd, P.J.: Aspects of topoi. Bull. Austral. Math. Soc. 7, 1–76 (1972)
Gillman, L., Jerison, M.: Rings of Continuous Functions. Van Nostrand 1960 (reprinted as: Graduate Texts in Mathematics 43, Springer Verlag 1976)
Horn, A.: Logic with truth values in a linearly ordered Heyting algebra. J. Symbolic Logic 34, 395–408 (1969)
Johnstone, P.T.: Topos Theory. L.M.S. Mathematical Monographs 10. Academic Press 1977
Johnstone, P.T.: Automorphisms of Ω. Algebra Universalis, to appear
Mikkelsen, C.J.: Lattice-theoretic and logical aspects of elementary topoi. Aarhus Universitet Various Publications Series 25 (1976)
Mulvey, C.J.: The real numbers in a topos. To appear
Stout, L.N.: Topological properties of the real numbers object in a topos. Cahiers top. et géom. diff. 17, 295–326 (1976)
Walker, R.C.: The Stone-Čech Compactification. Ergebnisse der Mathematik, Band 83, Springer Verlag 1974
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
