Generalized semilattices and m-degrees of index sets (Q920122)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Generalized semilattices and m-degrees of index sets
scientific article

    Statements

    Generalized semilattices and m-degrees of index sets (English)
    0 references
    0 references
    1989
    0 references
    A generalized (upper) semilattice is a poset P supplied with a family of binary operations satisfying certain conditions. A subset \(I\subset P\) is said to be an ideal of a generalized semilattice P if I is a lower subset in the poset P closed under all binary operations. It is proved that every ideal I determines a congruence relation \(\theta\) (I) such that the quotient algebra P/\(\theta\) (I) is a semilattice. In addition, P/\(\theta\) (I) is a distributive semilattice provided that P is a distributive generalized semilattice. The property of distributivity is fulfilled, for example, in every generalized semilattice of m-degrees of index sets.
    0 references
    degrees of undecidability
    0 references
    generalized semilattice
    0 references
    distributivity
    0 references
    m- degrees of index sets
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references