Continuous domains as formal spaces
From MaRDI portal
Publication:4331079
DOI10.1017/S0960129501003450zbMATH Open0994.06005OpenAlexW2113447082MaRDI QIDQ4331079FDOQ4331079
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
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
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)
Cited In (23)
- Competitive equilibrium with intuitionistic agents
- Compactness in locales and in formal topology
- Title not available (Why is that?)
- The basic Zariski topology
- Convergence in formal topology: a unifying notion
- Cosheaves and connectedness in formal topology
- Atomicity, coherence of information, and point-free structures
- The connected Vietoris powerlocale
- A topos for algebraic quantum theory
- A general Glivenko-Gödel theorem for nuclei
- Spectral schemes as ringed lattices
- Apartness, sharp elements, and the Scott topology of domains
- Inductively generated formal topologies.
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Formal Zariski topology: Positivity and points
- Locatedness and overt sublocales
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Sharp elements and apartness in domains
- Title not available (Why is that?)
- The intensional side of algebraic-topological representation theorems
- Title not available (Why is that?)
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
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)
