Cantor-Bernstein theorem for pseudo-BCK-algebras (Q2426163): Difference between revisions
From MaRDI portal
Latest revision as of 20:53, 27 June 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
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
commutative pseudo BCK-algebra
0 references
direct factor
0 references
Cantor-Bernstein theorem
0 references