Search

Start Over Subject boolean element of an MV-algebra

1. A Cantor-Bernstein theorem for $\sigma$-complete MV-algebras

Creator:
de Simone, Anna , Mundici, Daniele , and Navara, Mirko
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
Cantor-Bernstein theorem, MV-algebra, boolean element of an MV-algebra, partition of unity, direct product decomposition, and $\sigma $-complete MV-algebra
Language:
English
Description:
The Cantor-Bernstein theorem was extended to $\sigma $-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 Łukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to $\sigma $-complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public