A direct characterization of completion

DOI10.1016/0304-3975(95)00088-7MaRDI QIDQ672756zbMATH OpenOpenAlexFDO

Authors Juan-Miguel Gracia

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(95)00088-7

zbMATH Keywords

completed posetcpofully abstract semantic models

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• A uniform approach to completions of posets
• Closure spaces and completions of posets
• Dcpo-completion of posets
• On completions of posets with operators
• Directed completions of local dcpos

Cites work

• scientific article; zbMATH DE number 3724512 (Why is no real title available?)
• scientific article; zbMATH DE number 194122 (Why is no real title available?)
• Recent Contributions to the Ergodic Theory

Cited in

(5)

• A uniform approach to completions of posets
• Detecting completeness from Ext-vanishing
• scientific article; zbMATH DE number 3915203 (Why is no real title available?)
• scientific article; zbMATH DE number 1367673 (Why is no real title available?)
• On constructing completions

This page was built for publication: A direct characterization of completion

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