Abstract
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 [0,1]. This result also implies the existence, for any cardinal α, of a single MV-algebra in which all infinite MV-algebras of cardinality at most α embed. Recasting the above construction with iterated ultrapowers, we show how to construct such an algebra of values in a definable way, thus providing a sort of “canonical” set of values for the functional representation.
Similar content being viewed by others
References
Belluce L.P., Di Nola A., Gerla B.: Abelian ℓ-groups with strong unit and perfect MV-algebras. Order 25, 387–401 (2008)
Belluce L.P., Di Nola A., Gerla B.: Perfect MV-algebras and their logic. Appl. Categorical Struct. 15(1), 135–151 (2007)
Belluce P., Di Nola A.: The MV-algebra of first order Łukasiewicz logic. Tatra Mt. Math. Publ. 27, 7–22 (2003)
Chang C.C.: Algebraic analysis of many valued logic. Trans. Amer. Math. Soc. 88, 467–490 (1958)
Chang C.C.: A new proof of the completeness of the Łukasiewicz axioms. Trans. Am. Math. Soc. 93(1), 74–80 (1959)
Chang C.C., Keisler J.: Model Theory. North-Holland, Amsterdam (1973)
Cignoli R., D’Ottaviano I.M.L., Mundici D.: Algebraic Foundations of Many-Valued Reasoning, volume 7 of Trends in Logic, Studia Logica Library. Kluwer Academic, Dordrecht (2000)
Comfort, W.W., Negrepontis, S.: The theory of ultrafilters. Die Grundlehren der mathematischen Wissenschaften 211. (1974)
Di Nola A.: Representation and reticulation by quotients of MV-algebras. Ricerche di Matematica XL(2), 291–297 (1991)
Gerla, B.: Many-valued logics of continuous t-norms and their functional representation. Master’s thesis, Università di Milano (2001)
Hájek P.: Metamathematics of Fuzzy Logic volume 4 of Trends in Logic, Studia Logica Library. Kluwer Academic, Berlin (1998)
Kanovei V., Shelah S.: A definable nonstandard model of the reals. J. Symb. Log. 69(1), 159–164 (2004)
Łukasiewicz J., Tarski A.: Untersuchungen über den Aussagenkalkül. Comptes Rendus de la Societe de Sciences Et des Letters de Varsovie iii(23), 1–21 (1930)
Mundici D.: Interpretation of AF C* algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)
Weispfenning V.: Model theory of abelian ℓ-groups. In: Glass, A.M.W., Holland , W.C. (eds) Lattice Ordered Groups, pp. 41–79. Kluwer Acadamic Publisher, Dordrecht (1989)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Di Nola, A., Lenzi, G. & Spada, L. Representation of MV-algebras by regular ultrapowers of [0, 1]. Arch. Math. Logic 49, 491–500 (2010). https://doi.org/10.1007/s00153-010-0182-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0182-y