Representation theorems for directed completions of consistent algebraic L-domains

DOI10.1007/S00012-005-1953-XMaRDI QIDQ818709zbMATH OpenOpenAlexFDO

Authors Xuxin Mao, Luoshan Xu

Publication date 21 March 2006

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-005-1953-x

zbMATH Keywords

\(L\)-domainalgebraic domaindirected completionScott topologysobrificationstable open set

Mathematics Subject Classification ID

Algebraic aspects of posets (06A11) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological representations of algebraic systems (54H10)

Review text

The authors consider algebraic domains, in particular algebraic \(L\)-domains, with the weakened completeness condition that directed sets that are bounded above have a least upper bound, what they call consistent algebraic domains. They consider the dcpo obtained by taking the specialization order of the sobrification of the Scott topology, what they call the directed completion, and give various characterizations for it, e.g., it agrees with the ideal completion of the poset of compact elements. It is shown that eliminating a set of maximal elements with empty interior from an algebraic \(L\)-domain yields a consistent algebraic \(L\)-domain whose directed completion returns the original \(L\)-domain. They also show that cartesian closedness extends to the category of consistent algebraic \(L\)-domains.

Recommendations

• scientific article; zbMATH DE number 1775339
• scientific article; zbMATH DE number 2061075
• Directed completions of local dcpos
• Characterizations of algebraic L-domains and equivalence of relevant categories
• A characterization theorem for algebraic L-domains

Cited in

(12)

• scientific article; zbMATH DE number 6002421 (Why is no real title available?)
• Almost algebraic bases and bounded complete domains
• Some characteristic theorems on consistently connected continuous domains
• A characterization theorem for algebraic L-domains
• scientific article; zbMATH DE number 2061075 (Why is no real title available?)
• scientific article; zbMATH DE number 1775339 (Why is no real title available?)
• Meet-completions and ordered domain algebras
• Directed completions of local dcpos
• scientific article; zbMATH DE number 857663 (Why is no real title available?)
• Characterizations of algebraic L-domains and equivalence of relevant categories
• A set-theoretic representation of algebraic L-domains
• sL-approximation spaces capture sL-domains

This page was built for publication: Representation theorems for directed completions of consistent algebraic \(L\)-domains

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