On the extensions of Di Nola's Theorem

2013/05/15 by Michal Botur, Botur, Michal, Jan Paseka +1
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.1305.3408

arxiv created 2013/05/15 · arxiv updated 2013/05/16

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∩ [0,1].

Related

• On the geometric theory of local MV-algebras
• Separable MV-algebras and lattice-groups
• Representation theory of mv-algebras
• Representation and Embedding of Pseudo MV-algebras with Square Roots II. Closures
• Representation and Embedding of Pseudo MV-algebras with Square Roots I. Strict Square Roots