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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10773-007-9465-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1998442287 / rank
 
Normal rank

Revision as of 18:28, 19 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