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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Spatiality and classical logic.Milena Stefanova & Silvio Valentini - 2011 - Mathematical Logic Quarterly 57 (4):432-440.
    In this short note we show that any proof of a general spatiality theorem for inductively generated formal topologies requires full classical logic. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Download  
     
    Export citation  
     
    Bookmark  
  • Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
    We propose a formal representation of objects , those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject’s role, which is constructive for the mathematical objects and constitutive for the empirical ones.
    Download  
     
    Export citation  
     
    Bookmark  
  • Constructive version of Boolean algebra.F. Ciraulo, M. E. Maietti & P. Toto - 2013 - Logic Journal of the IGPL 21 (1):44-62.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Vagueness, Kant and Topology: a Study of Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2008 - Journal of Philosophical Logic 37 (2):141-168.
    In this paper we propose an approach to vagueness characterised by two features. The first one is philosophical: we move along a Kantian path emphasizing the knowing subject’s conceptual apparatus. The second one is formal: to face vagueness, and our philosophical view on it, we propose to use topology and formal topology. We show that the Kantian and the topological features joined together allow us an atypical, but promising, way of considering vagueness.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Cosheaves and connectedness in formal topology.Steven Vickers - 2012 - Annals of Pure and Applied Logic 163 (2):157-174.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Compactness in locales and in formal topology.Steven Vickers - 2006 - Annals of Pure and Applied Logic 137 (1-3):413-438.
    If a locale is presented by a “flat site”, it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is derived for compactness of the locale . Although its derivation uses impredicative constructions, it is also shown predicatively using the inductive generation of formal topologies. A predicative proof of the binary Tychonoff theorem is given, including a characterization of the finite covers of the product by basic opens. The discussion (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • (1 other version)Factorizing the Top\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Top}$$\end{document}–Loc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {Loc}$$\end{document} adjunction through positive topologies. [REVIEW]Francesco Ciraulo, Tatsuji Kawai & Samuele Maschio - 2021 - Archive for Mathematical Logic 60 (7-8):967-979.
    We characterize the category of Sambin’s positive topologies as the result of the Grothendieck construction applied to a doctrine over the category Loc of locales. We then construct an adjunction between the category of positive topologies and that of topological spaces Top, and show that the well-known adjunction between Top and Loc factors through the constructed adjunction.
    Download  
     
    Export citation  
     
    Bookmark