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.
Vickers, Steven
2006.
Compactness in locales and in formal topology.
Annals of Pure and Applied Logic,
Vol. 137,
Issue. 1-3,
p.
413.
Schuster, Peter
2006.
Formal Zariski topology: Positivity and points.
Annals of Pure and Applied Logic,
Vol. 137,
Issue. 1-3,
p.
317.
GAMBINO, NICOLA
and
SCHUSTER, PETER
2007.
Spatiality for formal topologies.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 1,
p.
65.
Vickers, Steven
2007.
Sublocales in formal topology.
Journal of Symbolic Logic,
Vol. 72,
Issue. 2,
p.
463.
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.
Vickers, Steven
2009.
The connected Vietoris powerlocale.
Topology and its Applications,
Vol. 156,
Issue. 11,
p.
1886.
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.
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.
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.
Negri, Sara
2021.
The intensional side of algebraic-topological representation theorems.
Synthese,
Vol. 198,
Issue. S5,
p.
1121.
FELLIN, GIULIO
SCHUSTER, PETER
and
WESSEL, DANIEL
2022.
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY.
The Bulletin of Symbolic Logic,
Vol. 28,
Issue. 2,
p.
163.