On the extensions of Di Nola's Theorem
Abstract
The main aim of this paper is to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers. The results are based on a direct proof of the theorem which says that any finite partial subalgebra of a linearly ordered MV-algebra can be embedded into $\mathbb Q\cap [0,1].$
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2013
- DOI:
- 10.48550/arXiv.1305.3408
- arXiv:
- arXiv:1305.3408
- Bibcode:
- 2013arXiv1305.3408B
- Keywords:
-
- Mathematics - Logic