A Cantor-Bernstein Theorem for σ-Complete MV-Algebras
Anna De Simone, Daniele Mundici, Mirko Navara · Czechoslovak Mathematical Journal · 2003
The Cantor-Bernstein theorem was extended to σ-complete boolean algebras by Sikorski and Tarski. Chang's MV-algebras are a nontrivial generalization of boolean algebras: they stand to the infinite-valued calculus of Lukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to σ-complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.