Z -quasidistributive and Z -meet-distributive posets
In domain theory, one fundamental result states that a poset is continuous if and only if it is quasicontinuous and meet-continuous. In this paper, the authors study two kinds of distributivity: \(Z\)-quasidistributivity and \(Z\)-meet-distributivity, which are the generalizations of quasicontinuity and meet-continuity. Here, \(Z\) is a subset system, it becomes meaningful when \(Z\) is replaced by adjectives such as ``directed, ``chain, ``finite, etc. Analogous to the above fundamental result, the authors prove that, under some conditions, a poset is \(Z\)-predistributive iff it is \(Z\)-quasidistributive and \(Z\)-meet-distributive. In order theory, the Dedekind-MacNeille completion is the most well-known completion, which embeds a poset into a complete lattice. The order-theoretical properties which are invariant under the Dedekind-MacNeille completion are called completion-invariant. In this paper, one main result states that \(Z\)-quasidistributivity is a completion-invariant property whenever \(Z\) is completion-stable. The way-below relation is a fundamental concept in domain theory. Replacing directed sets by \(Z\)-sets, one has the concept of \(Z\)-below. The last main result of this paper: if the \(Z\)-below relation on the subsets of a poset \(P\) has the interpolation property, then \(P\) is embeddable in a cube.
- \(s_2\)-quasicontinuous posets.
- \(s_{Z}\)-quasicontinuous posets and meet \(s_{Z}\)-continuous posets
- \({\mathcal Z}\)-continuous posets and their topological manifestation
- A completion-invariant extension of the concept of quasi C-continuous lattices
- A generalization of completely distributive lattices
- A generalization of the Dedekind-MacNeille completion
- Categorial characterization of the MacNeille completion
- Categories of locally hypercompact spaces and quasicontinuous posets
- Continuous Lattices and Domains
- Frink quasicontinuous posets
- Generalization of Continuous Posets
- scientific article; zbMATH DE number 3834033 (Why is no real title available?)
- scientific article; zbMATH DE number 3840019 (Why is no real title available?)
- scientific article; zbMATH DE number 3845639 (Why is no real title available?)
- scientific article; zbMATH DE number 5003637 (Why is no real title available?)
- scientific article; zbMATH DE number 3732116 (Why is no real title available?)
- scientific article; zbMATH DE number 3757301 (Why is no real title available?)
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 1076093 (Why is no real title available?)
- scientific article; zbMATH DE number 1137954 (Why is no real title available?)
- scientific article; zbMATH DE number 2138212 (Why is no real title available?)
- Ideals in Partially Ordered Sets
- Infinite distributive laws versus local connectedness and compactness properties
- ORDER EXTENSIONS AS ADJOINT FUNCTORS
- Quasicontinuous domains and the Smyth powerdomain
- Quasicontinuous posets
- The _1-topology and _1-topology on s₁-quasicontinuous posets.
- The Dedekind-MacNeille completion as a reflector
- The dual of a generalized completely distributive lattice is a hypercontinuous lattice
- Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
This page was built for publication: \( \mathcal{Z} \)-quasidistributive and \(\mathcal{Z} \)-meet-distributive posets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2183100)
