Cantor-Bernstein theorem for MV-algebras

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Cantor-Bernstein theorem for pseudo BCK-algebras

For any σ-complete Boolean algebras A and B, if A is isomorphic to [0, b] ⊆ B and B is isomorphic to [0, a] ⊆ A, then A B. Recently, several generalizations of this known CantorBernstein type theorem for MV-algebras, (pseudo) effect algebras and `-groups have appeared in [1], [2], [4] and [5]. We prove an analogous result for certain pseudo BCK-algebras—a noncommutative extension of BCK-algebra...

متن کامل

Cantor-bernstein Theorem for Lattices

This paper is a continuation of a previous author’s article; the result is now extended to the case when the lattice under consideration need not have the least element.

متن کامل

CSM25 - The Cantor-Schröder-Bernstein Theorem

Given two finite sets, questions about the existence of different types of functions between these two sets are easy to solve, as there are finitely many such functions and so one many simply enumerate them. Further more, if one has two injective functions then it is intuitively obvious that both such functions are bijections (although not necessarily the inverses of each other). However, when ...

متن کامل

A Representation Theorem for MV-algebras

An MV-pair is a pair (B, G) where B is a Boolean algebra and G is a subgroup of the automorphism group of B satisfying certain conditions. Let ∼G be the equivalence relation on B naturally associated with G. We prove that for every MV-pair (B, G), the effect algebra B/ ∼G is an MV-effect algebra. Moreover, for every MV-effect algebra M there is an MV-pair (B, G) such that M is isomorphic to B/ ∼G.

متن کامل

A Spectral Theorem for Sigma Mv-algebras

MV-algebras were introduced by Chang, 1958 as algebraic bases for multi-valued logic. MV stands for "multi-valued" and MV algebras have already occupied an important place in the realm of nonstandard (mathematical) logic applied in several fields including cybernetics. In the present paper, using the Loomis-Sikorski theorem for cr-MV-algebras, we prove that, with every element a in a cr-MV alge...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Czechoslovak Mathematical Journal

سال: 1999

ISSN: 0011-4642,1572-9141

DOI: 10.1023/a:1022467218309