Switch to: References

Add citations

You must login to add citations.
  1. Embedding Locales and Formal Topologies Into Positive Topologies.Francesco Ciraulo & Giovanni Sambin - 2018 - Archive for Mathematical Logic 57 (7-8):755-768.
    A positive topology is a set equipped with two particular relations between elements and subsets of that set: a convergent cover relation and a positivity relation. A set equipped with a convergent cover relation is a predicative counterpart of a locale, where the given set plays the role of a set of generators, typically a base, and the cover encodes the relations between generators. A positivity relation enriches the structure of a locale; among other things, it is a tool to (...)
    No categories
    Direct download (2 more)  
    Export citation  
  • Positivity Relations on a Locale.Francesco Ciraulo & Steven Vickers - 2016 - Annals of Pure and Applied Logic 167 (9):806-819.
    Direct download (5 more)  
    Export citation  
    Bookmark   1 citation