Algebraic geometry for \(\ell \)-groups

DOI10.1007/s00012-018-0548-2zbMath1472.06023OpenAlexW2888476830MaRDI QIDQ1991595

Gaetano Vitale, Giacomo Lenzi, Antonio Di Nola

Publication date: 30 October 2018

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

Full work available at URL: https://doi.org/10.1007/s00012-018-0548-2

zbMATH Keywords

universal algebraformal logiclattice-ordered abelian group

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Categories of algebras (08C05) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Foundations of algebraic geometry (14A99)

Related Items (1)

Solution sets of systems of equations over finite lattices and semilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dual adjunction between MV-algebras and Tychonoff spaces
• Algebraic geometry over algebraic structures. IV: Equational domains and codomains
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness
• Finitely presented lattice-ordered abelian groups with order-unit
• Projective MV-algebras and rational polyhedra
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Algebraic foundations of many-valued reasoning
• The logic of equilibrium and abelian lattice ordered groups
• Simplicial geometry of unital lattice-ordered abelian groups.
• On the variety of Riesz spaces
• RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT
• Duality Theorems for Finitely Generated Vector Lattices
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Automorphisms of categories of free algebras of varieties
• ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS
• SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
• Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
• Free Vector Lattices

This page was built for publication: Algebraic geometry for \(\ell \)-groups