Finitary formal topologies and Stone's representation theorem
From MaRDI portal
Publication:949607
DOI10.1016/J.TCS.2008.06.020zbMATH Open1187.54010OpenAlexW1975187182MaRDI QIDQ949607FDOQ949607
Authors: Francesco Ciraulo, Giovanni Sambin 
Publication date: 21 October 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.020
Recommendations
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Title not available (Why is that?)
- Formal Zariski topology: Positivity and points
- Spatiality for formal topologies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inductively generated formal topologies.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Finiteness in a Minimalist Foundation
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- Convergence in formal topology: a unifying notion
Cited In (14)
- Title not available (Why is that?)
- Fundamental results for pointfree convex geometry
- The basic Zariski topology
- Convergence in formal topology: a unifying notion
- Some points in formal topology.
- Ordering groups constructively
- A general Glivenko-Gödel theorem for nuclei
- Finiteness in a Minimalist Foundation
- Point-Free Spectra of Linear Spreads
- Some further results on pointfree convex geometry
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- A constructive notion of codimension
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
This page was built for publication: Finitary formal topologies and Stone's representation theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q949607)
