Are locally finite MV-algebras a variety?
نویسندگان
چکیده
We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? prove: (i) The is not any finitary variety. (ii) More true: finitely-sorted quasi-variety. (iii) infinitary variety; with operations at most countable arity. (iv) a countably-sorted Our proofs rest upon duality between and multisets by R. Cignoli, E. J. Dubuc D. Mundici, categorical characterisations varieties quasi-varieties proved Duskin, Isbell, F. W. Lawvere others. In fact no knowledge on needed, apart from aforementioned duality.
منابع مشابه
Topological Locally Finite Mv -algebras and Riemann Surfaces
It is known that any MV -algebra is a topological MV -algebra. For a locally finite MV -algebra A with some algebraic and topological conditions the product A× A becomes a compact Riemann surface (modulo conformal equivalence). Topologically, it is a torus.
متن کاملMV-algebras: a variety for magnitudes with archimedean units
Chang’s MV-algebras are, on the one hand, the algebras of the infinite-valued Lukasiewicz calculus and, on the other hand, they are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital `-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no l...
متن کاملProjectivity and unification in the varieties of locally finite monadic MV-algebras
A description of finitely generated free monadic MV -algebras and a characterization of projective monadic MV -algebras in locally finite varieties is given. It is shown that unification type of locally finite varieties is unitary.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2022
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2021.106858