Representation of MV-algebras by regular ultrapowers of [0,1]
We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval . This result also implies…