6,814 research outputs found
On the geometric theory of local MV-algebras
We investigate the geometric theory of local MV-algebras and its quotients
axiomatizing the local MV-algebras in a given proper variety of MV-algebras. We
show that, whilst the theory of local MV-algebras is not of presheaf type, each
of these quotients is a theory of presheaf type which is Morita-equivalent to
an expansion of the theory of lattice-ordered abelian groups. Di
Nola-Lettieri's equivalence is recovered from the Morita-equivalence for the
quotient axiomatizing the local MV-algebras in Chang's variety, that is, the
perfect MV-algebras. We establish along the way a number of results of
independent interest, including a constructive treatment of the radical for
MV-algebras in a fixed proper variety of MV-algebras and a representation
theorem for the finitely presentable algebras in such a variety as finite
products of local MV-algebras.Comment: 52 page
Representation theory of MV-algebras
In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely.Fil: Dubuc, Eduardo Julio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones CientÃficas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigaciones Matemáticas "Luis A. Santaló"; ArgentinaFil: Poveda, Yuri A.. Universidad Tecnologica de Pereira; Colombi
Semiring and semimodule issues in MV-algebras
In this paper we propose a semiring-theoretic approach to MV-algebras based
on the connection between such algebras and idempotent semirings - such an
approach naturally imposing the introduction and study of a suitable
corresponding class of semimodules, called MV-semimodules.
We present several results addressed toward a semiring theory for
MV-algebras. In particular we show a representation of MV-algebras as a
subsemiring of the endomorphism semiring of a semilattice, the construction of
the Grothendieck group of a semiring and its functorial nature, and the effect
of Mundici categorical equivalence between MV-algebras and lattice-ordered
Abelian groups with a distinguished strong order unit upon the relationship
between MV-semimodules and semimodules over idempotent semifields.Comment: This version contains some corrections to some results at the end of
Section
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
We establish, generalizing Di Nola and Lettieri's categorical equivalence, a
Morita-equivalence between the theory of lattice-ordered abelian groups and
that of perfect MV-algebras. Further, after observing that the two theories are
not bi-interpretable in the classical sense, we identify, by considering
appropriate topos-theoretic invariants on their common classifying topos, three
levels of bi-intepretability holding for particular classes of formulas:
irreducible formulas, geometric sentences and imaginaries. Lastly, by
investigating the classifying topos of the theory of perfect MV-algebras, we
obtain various results on its syntax and semantics also in relation to the
cartesian theory of the variety generated by Chang's MV-algebra, including a
concrete representation for the finitely presentable models of the latter
theory as finite products of finitely presentable perfect MV-algebras. Among
the results established on the way, we mention a Morita-equivalence between the
theory of lattice-ordered abelian groups and that of cancellative
lattice-ordered abelian monoids with bottom element.Comment: 54 page
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
We study representations of MV-algebras -- equivalently, unital
lattice-ordered abelian groups -- through the lens of Stone-Priestley duality,
using canonical extensions as an essential tool. Specifically, the theory of
canonical extensions implies that the (Stone-Priestley) dual spaces of
MV-algebras carry the structure of topological partial commutative ordered
semigroups. We use this structure to obtain two different decompositions of
such spaces, one indexed over the prime MV-spectrum, the other over the maximal
MV-spectrum. These decompositions yield sheaf representations of MV-algebras,
using a new and purely duality-theoretic result that relates certain sheaf
representations of distributive lattices to decompositions of their dual
spaces. Importantly, the proofs of the MV-algebraic representation theorems
that we obtain in this way are distinguished from the existing work on this
topic by the following features: (1) we use only basic algebraic facts about
MV-algebras; (2) we show that the two aforementioned sheaf representations are
special cases of a common result, with potential for generalizations; and (3)
we show that these results are strongly related to the structure of the
Stone-Priestley duals of MV-algebras. In addition, using our analysis of these
decompositions, we prove that MV-algebras with isomorphic underlying lattices
have homeomorphic maximal MV-spectra. This result is an MV-algebraic
generalization of a classical theorem by Kaplansky stating that two compact
Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous
[0, 1]-valued functions on the spaces are isomorphic.Comment: 36 pages, 1 tabl
MV-algebras freely generated by finite Kleene algebras
If V and W are varieties of algebras such that any V-algebra A has a reduct
U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on
objects, and identically on homomorphisms. This functor U always has a left
adjoint F: W->V by general considerations. One calls F(B) the V-algebra freely
generated by the W-algebra B. Two problems arise naturally in this broad
setting. The description problem is to describe the structure of the V-algebra
F(B) as explicitly as possible in terms of the structure of the W-algebra B.
The recognition problem is to find conditions on the structure of a given
V-algebra A that are necessary and sufficient for the existence of a W-algebra
B such that F(B) is isomorphic to A. Building on and extending previous work on
MV-algebras freely generated by finite distributive lattices, in this paper we
provide solutions to the description and recognition problems in case V is the
variety of MV-algebras, W is the variety of Kleene algebras, and B is finitely
generated--equivalently, finite. The proofs rely heavily on the Davey-Werner
natural duality for Kleene algebras, on the representation of finitely
presented MV-algebras by compact rational polyhedra, and on the theory of bases
of MV-algebras.Comment: 27 pages, 8 figures. Submitted to Algebra Universali
On some properties of quasi-MV algebras and square root quasi-MV algebras, IV
In the present paper, which is a sequel to
[20, 4, 12], we investigate further the structure theory of quasiMV
algebras and √0quasi-MV algebras. In particular: we provide
a new representation of arbitrary √0qMV algebras in terms
of √0qMV algebras arising out of their MV* term subreducts of
regular elements; we investigate in greater detail the structure
of the lattice of √0qMV varieties, proving that it is uncountable,
providing equational bases for some of its members, as well as
analysing a number of slices of special interest; we show that the
variety of √0qMV algebras has the amalgamation property; we
provide an axiomatisation of the 1-assertional logic of √0qMV
algebras; lastly, we reconsider the correspondence between Cartesian
√0qMV algebras and a category of Abelian lattice-ordered
groups with operators first addressed in [10]
On some Properties of Quasi MV Algebras and √quasi-MV Algebras. Part III.
In the present paper, which is a sequel to [14] and [3], we investigate further the structure theory of quasi-MV algebras and √′quasi-MV algebras. In particular: we provide an improved version of the subdirect representation theorem for both varieties; we characterise the Ursini ideals of quasi-MV algebras; we establish a restricted version of J´onsson’s lemma, again for both varieties; we simplify the proof of standard completeness for the variety of √′ quasi-MV algebras; we show that this same variety has the finite embeddability property; finally, we investigate the structure of the lattice of subvarieties of √′quasi-MV algebras
- …