Computing on Lattice-Ordered Abelian Groups (Q5049052)
From MaRDI portal
scientific article; zbMATH DE number 7614728
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing on Lattice-Ordered Abelian Groups |
scientific article; zbMATH DE number 7614728 |
Statements
Computing on Lattice-Ordered Abelian Groups (English)
0 references
9 November 2022
0 references
lattice-ordered abelian group
0 references
unital \(\ell\)-group
0 references
word problem
0 references
decision problem
0 references
Baker-Beynon duality
0 references
Markov unrecognizability theorem
0 references
Kroupa-Panti theorem
0 references
Marra-Spada duality
0 references
regular complex
0 references
MV-algebra
0 references
finitely generated projective \(\ell\)-group
0 references
Cabrer characterization theorem
0 references
Elliott classification
0 references
AF \(\mathrm{C}^*\)-algebra
0 references
0 references
0 references
