In this work we introduce a class of commutative rings whose defining condition is that its lattice of ideals, augmented with the ideal product, the semi-ring of ideals, is isomorphic to an MV-algebra. This class of rings coincides with the class of commutative rings which are direct sums of local Artinian chain rings with unit.

In [9] Mundici introduced a categorical equivalence Γ between the category of MV-algebras and the category of abelian [MATHEMATICAL SCRIPT SMALL L]-groups with strong unit. Using Mundici's functor Γ, in [8] the authors established an equivalence between the category of perfect MV-algebras and the category of abelian [MATHEMATICAL SCRIPT SMALL L]-groups. Aim of the present paper is to use the above functors to provide Yosida like representations of a large class of MV-algebras.

In this paper we show that the prime ideal space of an MV-algebra is the disjoint union of prime ideal spaces of suitable local MV-algebras. Some special classes of algebras are defined and their spaces are investigated. The space of minimal prime ideals is studied as well.

We describe a class of MV-algebras which is a natural generalization of the class of “algebras of continuous functions”. More specifically, we're interested in the algebra of frame maps Hom\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_{\cal F}}$$\end{document} (Ω(A), K) in the category T of frames, where A is a topological MV-algebra, Ω(A) the lattice of open sets of A, and K an arbitrary frame.Given a topological space X and a topological MV-algebra A, we have the algebra C (...) (X, A) of continuous functions from X to A. We can look at this from a frame point of view. Among others we have the result: if K is spatial, then C(pt(K), A), pt(K) the points of K, embeds into Hom\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_{\cal F}}$$\end{document} (Ω(A), K) analogous to the case of C (X, A) embedding into Hom\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_{\cal F}}$$\end{document} (Ω(A), Ω (X)). (shrink)

In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀.

We show that the complete first order theory of an MV algebra has equation image countable models unless the MV algebra is finitely valued. So, Vaught's Conjecture holds for all MV algebras except, possibly, for finitely valued ones. Additionally, we show that the complete theories of finitely valued MV algebras are equation image and that all ω-categorical complete theories of MV algebras are finitely axiomatizable and decidable. As a final result we prove that the free algebra on countably many generators (...) of any locally finite variety of MV algebras is ω-categorical. (shrink)

In this paper we prove that the category of abelian l-groups is equivalent to the category of perfect MV-algebras. Furthermore, we give a finite equational axiomatization of the variety generated by perfect MV-algebras.