Finitary formal topologies and Stone's representation theorem
type: Item
instance of: scholarly article
title: Finitary formal topologies and Stone's representation theorem
zbMATH Open document ID: 1187.54010
author: Francesco Ciraulo
author: Giovanni Sambin
published in: Theoretical Computer Science
publication date: 2008-10-21T00:00:00Z
Mathematics Subject Classification ID: 54A99
Mathematics Subject Classification ID: 03F65
zbMATH DE Number: 5354939
zbMATH Keywords: formal topology
zbMATH Keywords: positivity
zbMATH Keywords: Stone's representation
zbMATH Keywords: constructive methods
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.06.020
OpenAlex ID: W1975187182
cites work: Pretopologies and a uniform presentation of sup-lattices, quantales and frames
cites work: Q3803111
cites work: Convergence in formal topology: a unifying notion
cites work: Finiteness in a Minimalist Foundation
cites work: Inductively generated formal topologies.
cites work: Spatiality for formal topologies
cites work: Q5718565
cites work: Q4896531
cites work: Q3481701
cites work: Q4247310
cites work: Formal Zariski topology: Positivity and points
cites work: Constructivism in mathematics. An introduction. Volume I
DOI: 10.1016/J.TCS.2008.06.020
description: scientific article; zbMATH DE number 5354939