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
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