Continuous domains as formal spaces

SARA NEGRI

doi:10.1017/S0960129501003450

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The connections between formal topology and domain theory are surveyed and various types of continuous domains are represented as formal spaces through locally Stone and locally Scott formal topologies.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Coquand, Thierry Sambin, Giovanni Smith, Jan and Valentini, Silvio 2003. Inductively generated formal topologies. Annals of Pure and Applied Logic, Vol. 124, Issue. 1-3, p. 71.

Maietti, Maria Emilia and Valentini, Silvio 2004. A structural investigation on formal topology: coreflection of formal covers and exponentiability. Journal of Symbolic Logic, Vol. 69, Issue. 4, p. 967.

Schuster, Peter 2006. Formal Zariski topology: Positivity and points. Annals of Pure and Applied Logic, Vol. 137, Issue. 1-3, p. 317.

Vickers, Steven 2006. Compactness in locales and in formal topology. Annals of Pure and Applied Logic, Vol. 137, Issue. 1-3, p. 413.

Vickers, Steven 2007. Sublocales in formal topology. Journal of Symbolic Logic, Vol. 72, Issue. 2, p. 463.

GAMBINO, NICOLA and SCHUSTER, PETER 2007. Spatiality for formal topologies. Mathematical Structures in Computer Science, Vol. 17, Issue. 1, p. 65.

Coquand, Thierry Lombardi, Henri and Schuster, Peter 2009. Spectral schemes as ringed lattices. Annals of Mathematics and Artificial Intelligence, Vol. 56, Issue. 3-4, p. 339.

Vickers, Steven 2009. The connected Vietoris powerlocale. Topology and its Applications, Vol. 156, Issue. 11, p. 1886.

Heunen, Chris Landsman, Nicolaas P. and Spitters, Bas 2009. A Topos for Algebraic Quantum Theory. Communications in Mathematical Physics, Vol. 291, Issue. 1, p. 63.

Spitters, Bas 2010. Locatedness and overt sublocales. Annals of Pure and Applied Logic, Vol. 162, Issue. 1, p. 36.

Stecher, Jack Douglas 2011. Competitive equilibrium with intuitionistic agents. Synthese, Vol. 181, Issue. S1, p. 49.

Vickers, Steven 2012. Cosheaves and connectedness in formal topology. Annals of Pure and Applied Logic, Vol. 163, Issue. 2, p. 157.

Karádais, Basil A. 2016. Atomicity, coherence of information, and point-free structures. Annals of Pure and Applied Logic, Vol. 167, Issue. 9, p. 753.

RINALDI, DAVIDE SCHUSTER, PETER and WESSEL, DANIEL 2017. ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION. The Bulletin of Symbolic Logic, Vol. 23, Issue. 2, p. 181.

Rinaldi, Davide Schuster, Peter and Wessel, Daniel 2018. Eliminating disjunctions by disjunction elimination. Indagationes Mathematicae, Vol. 29, Issue. 1, p. 226.

Schuster, Peter and Wessel, Daniel 2020. Resolving finite indeterminacy. p. 820.

Negri, Sara 2021. The intensional side of algebraic-topological representation theorems. Synthese, Vol. 198, Issue. S5, p. 1121.

de Jong, Tom 2021. Sharp Elements and Apartness in Domains. Electronic Proceedings in Theoretical Computer Science, Vol. 351, Issue. , p. 134.

Fellin, Giulio and Schuster, Peter 2021. A General Glivenko–Gödel Theorem for Nuclei. Electronic Proceedings in Theoretical Computer Science, Vol. 351, Issue. , p. 51.

Tsukada, Takeshi and Asada, Kazuyuki 2022. Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱. p. 1.

Download full list

Article contents

Continuous domains as formal spaces

Abstract

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests