Skip to main content
SpringerLink
Log in

Locales and Toposes as Spaces

  • Chapter
Handbook of Spatial Logics

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Abramsky, S. (1991a). Domain theory in logical form. Annals of Pure and Applied Logic, 51:1–77.

    Article  Google Scholar 

  • Abramsky, Samson (1991b). A domain equation for bisimulation. Information and Computation, 92(2):161–218.

    Article  Google Scholar 

  • Barr, M. and Wells, C. (1984). Toposes, Triples and Theories. Springer-Verlag. Reissued as Barr and Wells, 2005.

    Google Scholar 

  • Barr, M. and Wells, C. (2005). Toposes, Triples and Theories. Number 12 in Reprints in Theory and Applications of Categories. Theory and Applications of Categories, Mount Allison University. Originally published as Barr and Wells, 1984.

    Google Scholar 

  • Carboni,A., Pedicchio, M.C., and Rosolini, G., editors (1991). Category Theory-Proceedings, Como 1990, number 1488 in Lecture Notes in Mathematics. Springer-Verlag.

    Google Scholar 

  • Coquand, T., Sambin, G., Smith, J., and Valentini, S. (2003). Inductively generated formal topologies. Annals of Pure and Applied Logic, 124:71–106.

    Article  Google Scholar 

  • Fourman, M.P. and Grayson, R.J. (1982). Formal spaces. In Troelstra and van Dalen, editors, The L.E.J. Brouwer Centenary Symposium, pages 107–122. North Holland.

    Google Scholar 

  • Fourman, M.P. and Hyland, J.M.E. (1979). Sheaf models for analysis. In Four-man et al., 1979, pages 280–301.

    Google Scholar 

  • Fourman, M.P., Mulvey, C.J., and Scott, D., editors (1979). Applications of Sheaves, number 753 in Lecture Notes in Mathematics. Springer-Verlag.

    Google Scholar 

  • Ghilardi, Silvio (1989). Presheaf semantics and independence results for some nonclassical first-order logics. Arch. Math. Logic, 29(2):125–136.

    Article  Google Scholar 

  • Ghilardi, Silvio (1991). Incompleteness results in Kripke semantics. J. Symbolic Logic, 56(2):517–538.

    Google Scholar 

  • Ghilardi, Silvio (1992). Quantified extensions of canonical propositional intermediate logics. Studia Logica, 51(2):195–214.

    Article  Google Scholar 

  • Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., and Scott, D.S. (1980). A Compendium of Continuous Lattices. Springer-Verlag.

    Google Scholar 

  • Goldblatt, Robert (1979). Topoi: The Categorial Analysis of Logic, volume 98 of Studies in Logic and the Foundations of Mathematics. North-Holland.

    Google Scholar 

  • Goldblatt, Robert (1981). Grothendieck topology as geometric modality. Z. Math. Logik Grundlag. Math., 27(6):495–529.

    Google Scholar 

  • Isoda, Eiko (1997). Kripke bundle semantics and C-set semantics. Studia Logica, 58(3):395–401.

    Article  Google Scholar 

  • Johnstone, P.T. (1982). Stone Spaces. Number 3 in Cambridge Studies in Advanced Mathematics. Cambridge University Press.

    Google Scholar 

  • Johnstone, P.T. (1985). Vietoris locales and localic semi-lattices. In Hoffmann, R.-E., editor, Continuous Lattices and their Applications, number 101 in Pure and Applied Mathematics, pages 155–18. Marcel Dekker.

    Google Scholar 

  • Johnstone, P.T. (2002a). Sketches of an Elephant: A Topos Theory Compendium, vol. 1. Number 44 in Oxford Logic Guides. Oxford University Press.

    Google Scholar 

  • Johnstone, P.T. (2002b). Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Number 44 in Oxford Logic Guides. Oxford University Press.

    Google Scholar 

  • Johnstone, P.T. and Vickers, S.J. (1991). Preframe presentations present. In Carboni et al., 1991, pages 193–212.

    Google Scholar 

  • Joyal, A. and Tierney, M. (1984). An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society, 309.

    Google Scholar 

  • Lambek, J. and Scott, P.J. (1986). Introduction to Higher-Order Categorical Logic. Cambridge University Press.

    Google Scholar 

  • Lavendhomme, R., Lucas, Th., and Reyes, G. (1989). Formal systems for topos-theoretic modalities. Bull. Soc. Math. Belg. Sér. A, 41(2):333–372.

    Google Scholar 

  • Mac Lane, S. (1971). Categories for the Working Mathematician. Springer-Verlag.

    Google Scholar 

  • Mac Lane, S. and Moerdijk, I. (1992). Sheaves in Geometry and Logic. Springer-Verlag.

    Google Scholar 

  • Maietti, Maria Emilia (2003). Joyal’s arithmetic universes via type theory. In Blute, Rick and Selinger, Peter, editors, Category Theory and Computer Science (CTCS ‘02), number 69 in Electronic Notes in Theoretical Computer Science. Elsevier. doi:10.1016/S1571-0661(04)80569-3.

    Google Scholar 

  • Makkai, M. and Reyes, G. (1995). Completeness results for intuitionistic and modal logic in a categorical setting. Ann. Pure Appl. Logic, 72(1):25–101.

    Article  Google Scholar 

  • McKinsey, J.C.C. and Tarski, A. (1944). The algebra of topology. Ann. of Math., 45(2):141–191.

    Article  Google Scholar 

  • Nagaoka, K. and Isoda, E. (1997). Incompleteness results in Kripke bundle semantics. Math. Logic Quart., 43(4):485–498.

    Article  Google Scholar 

  • Palmgren, Erik and Vickers, Steven (2007). Partial Horn logic and cartesian categories. Ann. Pure. Appl. Logic, 145(3):314–353.

    Article  Google Scholar 

  • Plotkin, G.D. (1981). Postgraduate lecture notes in advanced domain theory. Technical report, Dept of Computing Science, University of Edinburgh.

    Google Scholar 

  • Reyes, G. and Zolfaghari, H. (1991). Topos-theoretic approaches to modality. In Carboni et al., 1991, pages 359–378.

    Google Scholar 

  • Reyes, G. and Zolfaghari, H. (1996). Bi-Heyting algebras, toposes and modalities. J. Philos. Logic, 25(1):25–43.

    Article  Google Scholar 

  • Reyes, Gonzalo (1991). A topos-theoretic approach to reference and modality. Notre Dame J. Formal Logic, 32(3):359–391.

    Article  Google Scholar 

  • Robinson, E. (1986). Power-domains, modalities and the Vietoris monad. Technical Report 98, Computer Laboratory, University of Cambridge.

    Google Scholar 

  • Sambin, G. (1987). Intuitionistic formal spaces—a first communication. In Skordev, Dimiter G., editor, Mathematical Logic and its Applications, pages 187–204. Plenum.

    Google Scholar 

  • Shehtman, Valentin B. and Skvortsov, D.P. (1990). Semantics of non-classical first order predicate logics. In Petkov, P., editor, Mathematical Logic, pages 105–116. Plenum Press, New York.

    Google Scholar 

  • Shirasu, Hiroyuki (1998). Duality in superintuitionistic and modal predicate logics. In Kracht, Marcus, de Rijke, Maarten, Wansing, Heinrich, and Zakharyaschev, Michael, editors, Advances in Modal Logic, Volume 1 (Berlin, 1996), number 87 in CSLI Lecture Notes, pages 223–236. CSLI Publications, Stanford.

    Google Scholar 

  • Skvortsov, D. and Shehtman, V. (1993). Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Ann. Pure Appl. Logic, 63(1): 69–101.

    Article  Google Scholar 

  • Skvortsov, Dmitrij (1996). On finite intersections of intermediate predicate logics. In Ursini, A. and P., Agliano, editors, Logic and Algebra (Pontignano 1994), number 180 in Lect. Notes Pure Appl. Math., pages 667–688. Marcel Dekker.

    Google Scholar 

  • Skvortsov, Dmitrij (2003). An incompleteness result for predicate extensions of intermediate propositional logics. In Balbiani, Philippe, Suzuki, Nobu-Yuki, Wolter, Frank, and Zakharyaschev, Michael, editors, Advances in Modal Logic, Volume 4, pages 461–474. King’s College Publications, London.

    Google Scholar 

  • Smyth, M. (1978). Power domains. Journal of Computer and System Sciences, 16:23–36.

    Article  Google Scholar 

  • Suzuki, Nobu-Yuki (1990). Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics. Studia Logica, 49(3): 289–306.

    Article  Google Scholar 

  • Suzuki, Nobu-Yuki (1993). Some results on the Kripke sheaf semantics for superintuitionistic predicate logics. Studia Logica, 52(1):73–94.

    Article  Google Scholar 

  • Tarski, Alfred (1938). Der Aussagenkalcül und die Topologie. Fund. Math., 31:103–134.

    Google Scholar 

  • Vickers, S.J. (1995). Locales are not pointless. In Hankin, C.L., Mackie, I.C., and Nagarajan, R., editors, Theory and Formal Methods of Computing 1994, pages 199–216, Imperial College Press. London.

    Google Scholar 

  • Vickers, S.J. and Townsend, C.F. (2004). A universal characterization of the double powerlocale. Theoretical Computer Science, 316:297–321.

    Article  Google Scholar 

  • Vickers, Steven (1989). Topology via Logic. Cambridge University Press.

    Google Scholar 

  • Vickers, Steven (1997). Constructive points of powerlocales. Math. Proc. Cam. Phil. Soc., 122:207–222.

    Article  Google Scholar 

  • Vickers, Steven (1999). Topical categories of domains. Mathematical Structures in Computer Science, 9:569–616.

    Article  Google Scholar 

  • Vickers, Steven (2001). Strongly algebraic = SFP (topically). Mathematical Structures in Computer Science, 11:717–742.

    Article  Google Scholar 

  • Vickers, Steven (2004). The double powerlocale and exponentiation: A case study in geometric reasoning. Theory and Applications of Categories, 12: 372–422.

    Google Scholar 

  • Vickers, Steven (2005). Some constructive roads to Tychonoff. In Crosilla, Laura and Schuster, Peter, editors, From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, number 48 in Oxford Logic Guides, pages 223–238. Oxford University Press.

    Google Scholar 

  • Vickers, Steven (2006). Compactness in locales and formal topology. Annals of Pure and Applied Logic, 137:413–438.

    Article  Google Scholar 

  • Viglas, K. (2004). Topos Aspects of the Extended Priestley Duality. PhD thesis, Department of Computing, Imperial College, London.

    Google Scholar 

  • Wraith, G.C. (1979). Generic Galois theory of local rings. In Fourman et al., 1979, pages 739–767.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Birmingham, UK

    Steven Vickers

Authors
  1. Steven Vickers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Groningen, The Netherlands

    Marco Aiello

  2. University of Manchester, UK

    Ian Pratt-Hartmann

  3. University of Amsterdam, The Netherlands

    Johan Van Benthem

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer

About this chapter

Cite this chapter

Vickers, S. (2007). Locales and Toposes as Spaces. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds) Handbook of Spatial Logics. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-5587-4_8

Download citation

Publish with us

Policies and ethics

Search

Navigation