Recognizing free generating sets of \(\ell\)-groups
DOI10.1007/s00012-018-0511-2zbMath1473.06016OpenAlexW2799613931MaRDI QIDQ1652856
Publication date: 16 July 2018
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-018-0511-2
free algebradesingularizationMV-algebradecision problemequational classBaker-Beynon dualityMcNaughton functionfree generating setregular fanabelian \(\ell\)-group\(\mathbb Z\)-map
Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) MV-algebras (06D35) Ordered groups (06F15) Ordered groups (group-theoretic aspects) (20F60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras
- Advanced Łukasiewicz calculus and MV-algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Groupes et anneaux reticules
- Fans, decision problems and generators of free abelian \(\ell\)-groups
- Algebraic foundations of many-valued reasoning
- Simplicial geometry of unital lattice-ordered abelian groups.
- Lectures on polyhedral topology
- A new decision method for elementary algebra
- RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT
- The Word Problem Versus the Isomorphism Problem
- On Two Properties of Free Algebras.
- Duality Theorems for Finitely Generated Vector Lattices
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- Combinatorial Aspects of Piecewise Linear Functions
- Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem
- Markov's theorem and algorithmically non-recognizable combinatorial manifolds
- A Stone-Weierstrass theorem for MV-algebras and unital -groups
- Free Vector Lattices
- Algorithms in real algebraic geometry
This page was built for publication: Recognizing free generating sets of \(\ell\)-groups
