AbstractCanonical Completion of a poset is of central importance in obtaining fully abstract semantic models. Stoughton, in his thesis, has described a completion technique. In this short note, we provide a direct characterization of the cpo constructed using this technique. This characterization shows that the completed poset consists of all closed continuously directed subsets of the original poset and vice versa. This result is stated as a conjecture by Stoughton
AbstractSome recent results provide sufficient conditions for complete lattices of closure operators...
AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-conti...
In 1960, José Morgado gave a necessary and sufficient condition on a poset P in order that closure ...
AbstractCanonical Completion of a poset is of central importance in obtaining fully abstract semanti...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
AbstractWe introduce a new type of dcpo-completion of posets, called D-completion. For any poset P, ...
AbstractIf a poset lacks joins of directed subsets, one can pass to its ideal completion. But doing ...
It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a com...
AbstractWe provide an internal characterization of the category ω-Cpo of ω-complete posets and ω-con...
A join-completion of a poset is a completion for which each element is obtainable as a supremum, or ...
AbstractIt is well known that closure operators on a complete lattice, ordered pointwise, give rise ...
AbstractWe investigate the existence of various limits and colimits in three categories: CPI (chain-...
Let a poset P be called chain-complete when every chain, including the empty chain, has a sup in P. ...
AbstractWe use a subfamily of the Scott-closed sets of a poset to form a local completion of the pos...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
AbstractSome recent results provide sufficient conditions for complete lattices of closure operators...
AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-conti...
In 1960, José Morgado gave a necessary and sufficient condition on a poset P in order that closure ...
AbstractCanonical Completion of a poset is of central importance in obtaining fully abstract semanti...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
AbstractWe introduce a new type of dcpo-completion of posets, called D-completion. For any poset P, ...
AbstractIf a poset lacks joins of directed subsets, one can pass to its ideal completion. But doing ...
It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a com...
AbstractWe provide an internal characterization of the category ω-Cpo of ω-complete posets and ω-con...
A join-completion of a poset is a completion for which each element is obtainable as a supremum, or ...
AbstractIt is well known that closure operators on a complete lattice, ordered pointwise, give rise ...
AbstractWe investigate the existence of various limits and colimits in three categories: CPI (chain-...
Let a poset P be called chain-complete when every chain, including the empty chain, has a sup in P. ...
AbstractWe use a subfamily of the Scott-closed sets of a poset to form a local completion of the pos...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
AbstractSome recent results provide sufficient conditions for complete lattices of closure operators...
AbstractWe give various internal descriptions of the category ω-Cpo of ω-complete posets and ω-conti...
In 1960, José Morgado gave a necessary and sufficient condition on a poset P in order that closure ...
DOI
Add to ORKG