Profinite Completions and MacNeille Completions of Finitely Presented MV-Algebras

Author(s):  
Jean B. Nganou
2020 ◽  
Vol 70 (1) ◽  
pp. 51-60
Author(s):  
Serafina Lapenta

AbstractBuilding on similar notions for MV-algebras, polyhedral DMV-algebras are defined and investigated. For such algebras dualities with suitable categories of polyhedra are established, and the relation with finitely presented Riesz MV-algebras is investigated. Via hull-functors, finite products are interpreted in terms of hom-functors, and categories of polyhedral MV-algebras, polyhedral DMV-algebras and finitely presented Riesz MV-algebras are linked together. Moreover, the amalgamation property is proved for finitely presented DMV-algebras and Riesz MV-algebras, and for polyhedral DMV-algebras.


10.29007/7htj ◽  
2018 ◽  
Author(s):  
Vincenzo Marra ◽  
Daniel McNeill ◽  
Andrea Pedrini

This is the first part of a series of two abstract, the second one being by Daniel McNeill.If X is any topological space, its collection of opens sets O(X) is a complete distributive lattice and also a Heyting algebra. When X is equipped with a distinguished basis D(X) for its topology, closed under finite meets and joins, one can investigate situations where D(X) is also a Heyting subalgebra of O(X).Recall that X is a spectral space if it is compact and T0, its collection D(X) of compact open subsets forms a basis which is closed under finite intersections and unions, and X is sober. By Stone duality, spectral spaces are precisely the spaces arising as sets of prime ideals of some distributive lattice, topologised with the Stone or hull-kernel topology. Specifically, given such a spectral space X, its collection of compact open sets D(X) is (naturally isomorphic to) the distributive lattice dual to X under Stone duality.We are going to exhibit a significant class of such spaces for which D(X) is a Heyting subalgebra of O(X).We work with lattice-ordered Abelian groups and vector spaces. Using Mundici’s Gamma-functor the results can be rephrased in terms of MV-algebras, the algebraic semantics of Lukasiewicz infinite-valued propositional logic.Let (G,u) be a finitely presented vector lattice (or Q-vector lattice, or l-group) G equipped with a distinguished strong order unit u. It turns out that Spec(G,u), i.e. the the space of prime ideals of (G,u) topologised with the hull-kernel topology, is a compact spectral space. Our first main result states that the collection D(Spec(G,u)) of compact open subsets of Spec(G,u) is a Heyting subalgebra of the Heyting algebra of open subsets O(Spec(G,u)).As a consequence, we also prove that the subspace Min(G,u) of minimal prime ideals of G is a Boolean space, i.e. a compact Hausdorff space whose clopen sets form a basis for the topology.Further, for any fixed maximal ideal m of G, the set l(m) of prime ideals of G contained in m, equipped with the subspace topology, is a spectral space, and the subspace Min(l(m)) of l(m) is a Boolean space.


2014 ◽  
Vol 64 (3) ◽  
Author(s):  
Daniele Mundici ◽  
Andrea Pedrini

AbstractEvery finitely presented MV-algebra A has a unique idempotent valuation E assigning value 1 to every basic element of A. For each a ∈ A, E(a) turns out to coincide with the Euler characteristic of the open set of maximal ideals m of A such that a/m is nonzero.


10.29007/bt3m ◽  
2018 ◽  
Author(s):  
Vincenzo Marra ◽  
Daniel Mcneill ◽  
Andrea Pedrini

This is the second part of a series of two abstracts, the first being by Andrea Pedrini. For background and notation on lattice-ordered Abelian groups, vector lattices and Q-vector lattices, and their spectral spaces, please see her submission.We consider the tools of Stone duality and the absolute applied to lattice-ordered Abelian groups, vector lattices and Q-vector lattices. Given a lattice-ordered Abelian group or Q-vector lattice, G, this leads to an interesting parallel between Min(G) and the absolute of Max(G).


1992 ◽  
Vol 29 (1) ◽  
pp. 1-9 ◽  
Author(s):  
L. P. Belluce
Keyword(s):  

Studia Logica ◽  
2021 ◽  
Author(s):  
D. Fazio ◽  
A. Ledda ◽  
F. Paoli

AbstractThe variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., $$\ell $$ ℓ -groups, Heyting algebras, MV-algebras, or De Morgan monoids. Among the outliers, one counts orthomodular lattices and other varieties of quantum algebras. We suggest a common framework—pointed left-residuated $$\ell $$ ℓ -groupoids—where residuated structures and quantum structures can all be accommodated. We investigate the lattice of subvarieties of pointed left-residuated $$\ell $$ ℓ -groupoids, their ideals, and develop a theory of left nuclei. Finally, we extend some parts of the theory of join-completions of residuated $$\ell $$ ℓ -groupoids to the left-residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Wesley Fussner ◽  
Mai Gehrke ◽  
Samuel J. van Gool ◽  
Vincenzo Marra

Abstract We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions.


Sign in / Sign up

Export Citation Format

Share Document