Finitary formal topologies and Stone's representation theorem

DOI10.1016/J.TCS.2008.06.020MaRDI QIDQ949607zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

positivityformal topologyconstructive methodsStone's representation

Mathematics Subject Classification ID

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

Recommendations

• Publication:4896531
• scientific article; zbMATH DE number 1301740
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• scientific article; zbMATH DE number 202572
• scientific article; zbMATH DE number 1420795

Cites work

• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1302065 (Why is no real title available?)
• scientific article; zbMATH DE number 937390 (Why is no real title available?)
• scientific article; zbMATH DE number 2247253 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume I
• Convergence in formal topology: a unifying notion
• Finiteness in a Minimalist Foundation
• Formal Zariski topology: Positivity and points
• Inductively generated formal topologies.
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Spatiality for formal topologies

Cited in

(14)

• scientific article; zbMATH DE number 937390 (Why is no real title available?)
• 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)