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.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

RS-BL-algebras are MV-algebras

We prove that RS-BL-algebras are MV-algebras.

متن کامل

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.

متن کامل

rs-bl-algebras are mv-algebras

we prove that rs-bl-algebras are mv-algebras.

متن کامل

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