Continuous domains as formal spaces
From MaRDI portal
Publication:4331079
DOI10.1017/S0960129501003450zbMath0994.06005OpenAlexW2113447082MaRDI 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
Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Other constructive mathematics (03F65)
Related Items
Atomicity, coherence of information, and point-free structures, Spectral schemes as ringed lattices, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, The basic Zariski topology, Eliminating disjunctions by disjunction elimination, Competitive equilibrium with intuitionistic agents, Apartness, sharp elements, and the Scott topology of domains, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Unnamed Item, The intensional side of algebraic-topological representation theorems, Inductively generated formal topologies., Locatedness and overt sublocales, Cosheaves and connectedness in formal topology, Convergence in formal topology: a unifying notion, The connected Vietoris powerlocale, A topos for algebraic quantum theory, Formal Zariski topology: Positivity and points, Compactness in locales and in formal topology