Compact continuous L-domains

DOI10.1016/S0898-1221(99)00171-6MaRDI QIDQ1963068zbMATH OpenFDO

Authors Jihua Liang, Klaus Keimel

Publication date 20 January 2000

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0898-1221(99)00171-6

zbMATH Keywords

FS-domains

Mathematics Subject Classification ID

Lattices (06B99) Semantics in the theory of computing (68Q55)

Recommendations

• The property M and finite separatedness of continuous L-posets
• \(RW\)-spaces and compactness of function spaces for L-domains
• QFS-domains and quasicontinuous domains.
• scientific article; zbMATH DE number 857663
• Function spaces from Lawson compact continuous domains to continuous B-domains

Cites work

• A Direct Proof of the Hofmann-Mislove Theorem
• scientific article; zbMATH DE number 4083878 (Why is no real title available?)
• scientific article; zbMATH DE number 3666860 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3735102 (Why is no real title available?)
• scientific article; zbMATH DE number 47630 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Solutions to two problems of J. D. Lawson and M. Mislove
• The largest Cartesian closed category of domains

Cited in

(29)

• Function spaces from core compact coherent spaces to continuous B-domains
• On linearly compact integral domains
• Fixed points of Scott continuous self-maps
• Order environments of topological spaces
• \(RW\)-spaces and compactness of function spaces for L-domains
• Zero dimensional and connected domains
• QFS-domains and their Lawson compactness
• A logic for Lawson compact algebraic L-domains
• A Cartesian closed category of domains with almost algebraic bases
• Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains
• Lawson compactness on function spaces of domains
• Consistent-linear \textit{FS}-domains
• QFS-domains and quasicontinuous domains.
• Consistent Smyth powerdomains of topological spaces and quasicontinuous domains
• Coincidence of the Isbell and Scott topologies on domain function spaces
• When do abstract bases generate continuous lattices and L-domains
• On the function spaces of semilattice homomorphisms and FS_-domains
• The properties of BC-domains and characterization theorems for core compact spaces
• The property M and finite separatedness of continuous L-posets
• On naturally continuous non-dcpo domains
• A note on the problem when FS-domains coincide with RB-domains
• scientific article; zbMATH DE number 857663 (Why is no real title available?)
• Maximal classes of spaces and domains determined by topologies on function spaces of domains
• The sandwich property of continuous d-cones
• Characterizations of algebraic L-domains and equivalence of relevant categories
• Spaces of functions from RB-domains to quasicontinuous domains
• Properties of function spaces
• Function spaces of Lawson-compact algebraic domains
• A logical representation of L-domains satisfying property \textbf{M}

This page was built for publication: Compact continuous \(L\)-domains

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