A representation theorem for integral rigs and its applications to residuated lattices.
From MaRDI portal
Publication:284976
DOI10.1016/j.jpaa.2016.04.014zbMath1343.06008arXiv1510.06332WikidataQ112120953 ScholiaQ112120953MaRDI QIDQ284976
José Luis Castiglioni, Matias Menni, William Javier Zuluaga Botero
Publication date: 18 May 2016
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.06332
03G30: Categorical logic, topoi
18B25: Topoi
06D35: MV-algebras
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
Related Items
Split exact sequences of finite MTL-chains, Unnamed Item, MVW-rigs and product MV-algebras, A set-theoretic proof of the representation of MV-algebras by sheaves, On finite MTL-algebras that are representable as poset products of Archimedean chains, Coextensive varieties via central elements
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
- Erratum to ``Representation theory of MV-algebras
- Representation theory of MV-algebras
- Reticulated rings
- Sheaves in geometry and logic: a first introduction to topos theory
- Introduction to extensive and distributive categories
- Rings, fields, and spectra
- Compact representations of BL-algebras
- Grothendieck-like duality for Heyting algebras.
- Algebraic foundations of many-valued reasoning
- The representation of biregular rings by sheaves
- Sheaf spaces and sheaves of universal algebras
- Representations of MV-algebras by sheaves
- Modules over commutative regular rings