Meet continuity properties of posets

DOI10.1016/J.TCS.2009.06.017MaRDI QIDQ732011zbMATH OpenOpenAlexFDO

Authors Xuxin Mao, Luoshan Xu

Publication date 9 October 2009

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

Full work available at URL https://doi.org/10.1016/j.tcs.2009.06.017

zbMATH Keywords

local Scott topologylocally meet continuous posetmeet continuous posetprincipal ideal

Mathematics Subject Classification ID

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

Review text

A meet continuous lattice is a complete lattice in which binary meets distribute over directed suprema. The authors generalize the concept of meet continuity to the setting of posets which are not directed complete. Using a newly-defined intrinsic topology, called the local Scott topology, the concept of locally meet continuous posets is introduced. Characterizations and properties of (locally) meet continuous posets are obtained in terms of the lattice properties of the Scott topology and of the local Scott topology. Posets for which the Scott topology coincides with the local Scott topology are meet continuous iff they are locally meet continuous iff they are PI-meet continuous, while the three kinds of meet continuities do not imply each other in general.

Recommendations

• Meet C-continuous posets
• Meet-continuity on \(L\)-directed complete posets.
• Local directed complete posets and consistent directed complete posets: meet-continuity revisited
• Measurement topology and characterizations of meet continuous posets
• Meet uniform continuous posets

Cites work

• Continuity of posets via Scott topology and sobrification
• Continuous Lattices and Domains
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 1330450 (Why is no real title available?)
• scientific article; zbMATH DE number 2061053 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Posets having continuous intervals
• Strongly continuous posets and the local Scott topology
• Topology, domain theory and theoretical computer science

Cited in

(30)

• Posets in which every cutset meets every fibre
• Characterization of posets for liminf convergence being topological
• Continuity and directed completion of topological spaces
• Transporting continuity properties from a poset to its subposets
• Meet precontinuous posets.
• \(\varphi\)-(meet) continuity on posets and their characterizations by principal ideals.
• Heredity and invariance of meet-continuous dcpos.
• Some properties of HC-posets
• On naturally continuous natural posets
• Measurement topology and characterizations of meet continuous posets
• Local directed complete posets and consistent directed complete posets: meet-continuity revisited
• Meet-continuity on \(L\)-directed complete posets.
• Researches on some properties of a strong FS-poset
• scientific article; zbMATH DE number 3953810 (Why is no real title available?)
• scientific article; zbMATH DE number 530034 (Why is no real title available?)
• scientific article; zbMATH DE number 2061053 (Why is no real title available?)
• \(\theta\)-continuity and \(D_\theta\)-completion of posets
• The hereditary and invariant properties of \({s_2}\)-continuity
• Meet uniform continuous posets
• Measurement topology and characterizations of continuous posets.
• Meet C-continuous posets
• Relative continuous poset and its application
• Partial metrisability of continuous posets
• Quasicontinuous spaces
• \(H\)-closedness and absolute \(H\)-closedness
• Weakly meet s_Z-continuity and _Z-continuity
• Quasiexact posets and the moderate meet-continuity
• Algebraic representations of some kinds of cocontinuous lattices
• The category of H-posets
• Embedding of Hausdorff semitopological semilattices in hyperspaces

This page was built for publication: Meet continuity properties of posets

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