The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.

DOI10.1016/j.jalgebra.2014.08.008zbMath1320.06011arXiv1312.1272OpenAlexW2326772586MaRDI QIDQ471915

Anna Carla Russo, Olivia Caramello

Publication date: 17 November 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.1272

zbMATH Keywords

MV-algebrastopoigeometric logic\(l\)-groupslattice-ordered Abelian groupsunital Morita equivalences

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) MV-algebras (06D35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items (10)

Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras ⋮ Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups ⋮ On the geometric theory of local MV-algebras ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Type space functors and interpretations in positive logic ⋮ Some invariant skeletons for \(\ell\)-u groups and MV-algebras ⋮ On the equivalence between MV-algebras and \(l\)-groups with strong unit ⋮ Germinal theories in Łukasiewicz logic ⋮ A Geometric Approach to MV-Algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dual adjunction between MV-algebras and Tychonoff spaces
• Representation theory of MV-algebras
• Finitely presented lattice-ordered abelian groups with order-unit
• Local algebras in the representation of MV-algebras
• The Haar theorem for lattice-ordered abelian groups with order-unit
• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
• Classifying topoi and finite forcing
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Sheaves in geometry and logic: a first introduction to topos theory
• Groupes et anneaux reticules
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• Generalized MV-algebras
• Algebraic foundations of many-valued reasoning
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Perfect MV-algebras and their logic
• Lattices of theories
• Yoneda representations of flat functors and classifying toposes
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms

This page was built for publication: The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.