Continuous domains as formal spaces

DOI10.1017/S0960129501003450MaRDI QIDQ4331079zbMATH OpenOpenAlexFDO

Authors Sara Negri

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

zbMATH Keywords

localeformal topologyScott domainpredicative type theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Continuous lattices and posets, applications (06B35) Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55)

Recommendations

• Formal topological characterizations of various continuous domains
• The continuum as a formal space
• Continuous domains in logical form
• scientific article; zbMATH DE number 1531375
• scientific article; zbMATH DE number 1497754
• scientific article; zbMATH DE number 1539333
• Continuous L-domains in logical form
• Continuity spaces: Reconciling domains and metric spaces
• Continuous \(L\)-domains
• scientific article; zbMATH DE number 2247257

Cited in

(23)

• Eliminating disjunctions by disjunction elimination
• Atomicity, coherence of information, and point-free structures
• Sharp elements and apartness in domains
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• scientific article; zbMATH DE number 7379293 (Why is no real title available?)
• The connected Vietoris powerlocale
• Competitive equilibrium with intuitionistic agents
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Spectral schemes as ringed lattices
• scientific article; zbMATH DE number 1531375 (Why is no real title available?)
• A topos for algebraic quantum theory
• Formal Zariski topology: Positivity and points
• The basic Zariski topology
• Convergence in formal topology: a unifying notion
• A general Glivenko-Gödel theorem for nuclei
• Compactness in locales and in formal topology
• Inductively generated formal topologies.
• scientific article; zbMATH DE number 431774 (Why is no real title available?)
• Eliminating disjunctions by disjunction elimination
• The intensional side of algebraic-topological representation theorems
• Locatedness and overt sublocales
• Apartness, sharp elements, and the Scott topology of domains
• Cosheaves and connectedness in formal topology

This page was built for publication: Continuous domains as formal spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4331079)