Cantor-Bernstein theorem for pseudo-BCK-algebras (Q2426163): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 07:07, 5 March 2024

scientific article
Language Label Description Also known as
English
Cantor-Bernstein theorem for pseudo-BCK-algebras
scientific article

    Statements

    Cantor-Bernstein theorem for pseudo-BCK-algebras (English)
    0 references
    0 references
    21 April 2008
    0 references
    The main scope of this paper is to prove the following Cantor-Bernstein-type theorem for pseudo BCK-algebras: If \(A\) and \(B\) are orthogonally \(\sigma\)-complete commutative pseudo BCK algebras such that \(A\) is isomorphic to a direct factor in \(B\), and \(B\) is also isomorphic to a direct factor in \(A\), then \(A\) and \(B\) are isomorphic. As a consequence, the author obtains previously known results for MV-algebras, pseudo MV-algebras and lattice-ordered groups.
    0 references
    0 references
    commutative pseudo BCK-algebra
    0 references
    direct factor
    0 references
    Cantor-Bernstein theorem
    0 references

    Identifiers