Finitary formal topologies and Stone's representation theorem
From MaRDI portal
Publication:949607
DOI10.1016/j.tcs.2008.06.020zbMath1187.54010MaRDI QIDQ949607
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
Related Items
Convergence in formal topology: a unifying notion, Fundamental results for pointfree convex geometry, Some points in formal topology., A constructive notion of codimension, Finiteness in a Minimalist Foundation
Cites Work
- Constructivism in mathematics. An introduction. Volume I
- Inductively generated formal topologies.
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- Formal Zariski topology: Positivity and points
- Spatiality for formal topologies
- Finiteness in a Minimalist Foundation
- Convergence in formal topology: a unifying notion
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item