Continuous domains as formal spaces
From MaRDI portal
Publication:4331079
DOI10.1017/S0960129501003450zbMath0994.06005MaRDI QIDQ4331079
Publication date: 9 June 2002
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129501003450
54A05: Topological spaces and generalizations (closure spaces, etc.)
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications
03F65: Other constructive mathematics
Related Items
Unnamed Item, Convergence in formal topology: a unifying notion, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Atomicity, coherence of information, and point-free structures, Competitive equilibrium with intuitionistic agents, Locatedness and overt sublocales, Cosheaves and connectedness in formal topology, The basic Zariski topology, The connected Vietoris powerlocale, A topos for algebraic quantum theory, Inductively generated formal topologies., Eliminating disjunctions by disjunction elimination, Spectral schemes as ringed lattices, Formal Zariski topology: Positivity and points, Compactness in locales and in formal topology