Cosheaves and connectedness in formal topology

Annals of Pure and Applied Logic 163 (2):157-174 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.024

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Independence results in formal topology.Silvio Valentini - 2012 - Annals of Pure and Applied Logic 163 (2):151-156.
Maximal and partial points in formal topology.E. Palmgren - forthcoming - Annals of Pure and Applied Logic.
Preface of special issue on formal topology.Thierry Coquand & Giovanni Sambin - forthcoming - Annals of Pure and Applied Logic.
Review: Steven Vickers, Topology via Logic. [REVIEW]P. T. Johnstone - 1991 - Journal of Symbolic Logic 56 (3):1101-1102.
Steven Vickers - Topology via Logic.Giovanni Cinà - 2011 - Rivista Italiana di Filosofia Analitica Junior 1 (2):71-74.
Topology and duality in modal logic.Giovanni Sambin & Virginia Vaccaro - 1988 - Annals of Pure and Applied Logic 37 (3):249-296.
Metric spaces in synthetic topology.Andrej Bauer & Davorin Lešnik - 2012 - Annals of Pure and Applied Logic 163 (2):87-100.
The intrinsic topology of Martin-Löf universes.Martín Hötzel Escardó & Thomas Streicher - 2016 - Annals of Pure and Applied Logic 167 (9):794-805.
Maximal and partial points in formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):291-298.
Multi-posets in algebraic logic, group theory, and non-commutative topology.Wolfgang Rump - 2016 - Annals of Pure and Applied Logic 167 (11):1139-1160.

Analytics

Added to PP
2013-10-27

Downloads
43 (#110,248)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Continuity and geometric logic.Steven Vickers - 2014 - Journal of Applied Logic 12 (1):14-27.

Add more citations

References found in this work

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
Compactness in locales and in formal topology.Steven Vickers - 2006 - Annals of Pure and Applied Logic 137 (1-3):413-438.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.

View all 7 references / Add more references