Finitary formal topologies and Stone's representation theorem
From MaRDI portal
Publication:949607
DOI10.1016/j.tcs.2008.06.020zbMath1187.54010OpenAlexW1975187182MaRDI QIDQ949607
Giovanni Sambin, Francesco Ciraulo
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
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ The basic Zariski topology ⋮ Finiteness in a Minimalist Foundation ⋮ Eliminating disjunctions by disjunction elimination ⋮ Some further results on pointfree convex geometry ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Fundamental results for pointfree convex geometry ⋮ A constructive notion of codimension ⋮ Some points in formal topology. ⋮ Point-Free Spectra of Linear Spreads ⋮ Convergence in formal topology: a unifying notion ⋮ Ordering groups constructively
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