The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
From MaRDI portal
Publication:471915
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
MV-algebras; topoi; geometric logic; \(l\)-groups; lattice-ordered Abelian groups; unital Morita equivalences
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