Finitary formal topologies and Stone's representation theorem

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

zbMATH Keywords

positivityformal topologyconstructive methodsStone's representation

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Generalities in topology (54A99)

Related Items (12)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Finitary formal topologies and Stone's representation theorem