Directly indecomposables in semidegenerate varieties of connected po-groupoids (Q1013996)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Directly indecomposables in semidegenerate varieties of connected po-groupoids
scientific article

    Statements

    Directly indecomposables in semidegenerate varieties of connected po-groupoids (English)
    0 references
    0 references
    24 April 2009
    0 references
    A po-groupoid is a groupoid \((A,\cdot)\) such that the relation defined by \(x\leq y\) iff \(x\cdot y=x\) is a partial order on \(A\). A po-groupoid is said to be connected if the related partial order is connected. A variety \(V\) is called semidegenerate if no nontrivial member of \(V\) has a trivial subalgebra. The main result of the paper is Theorem 2. It states that if \(V\) is a semidegenerate variety of connected po-groupoids over a finite language, then the class of directly indecomposable algebras of \(V\) is axiomatizable by a \(\forall\exists\forall\exists\forall\exists\)-first-order sentence plus axioms for \(V\).
    0 references
    po-groupoid
    0 references
    connected po-groupoid
    0 references
    semidegenerate variety
    0 references
    directly indecomposables
    0 references
    0 references
    0 references
    0 references

    Identifiers

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