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

DOI10.1016/j.jalgebra.2014.08.008zbMath1320.06011arXiv1312.1272MaRDI 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-algebras; topoi; geometric logic; \(l\)-groups; lattice-ordered Abelian groups; unital Morita equivalences

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18B25: Topoi

06D35: MV-algebras

18C10: Theories (e.g., algebraic theories), structure, and semantics

18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)

06F20: Ordered abelian groups, Riesz groups, ordered linear spaces

Related Items

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

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