Representation of Perfect and Local MV-algebras
classification
🧮 math.LO
keywords
representationlocaltheoremsmv-algebrasperfectunitabelianabove
read the original abstract
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Abelian lattice-ordered groups with strong unit as quasi-constant functions on an ultraproduct of the reals. All the above theorems are proved to have a uniform version, depending only on the cardinality of the algebra to be embedded, as well as a definable construction in ZFC. The paper contains both known and new results and provides a complete overview of representation theorems for such classes.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.