Michal Botur, Jan Paseka
Published 2013-05-15Version 1
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].$
Models of Set Theory: Extensions and Dead-ends
Automorphisms of models of set theory and extensions of NFU
A direct proof of the five element basis theorem
![QR code for arXiv:1305.3408 [math.LO]](http://oss.arxitics.com/images/favicon.svg)