The following pages link to (Q4168953):
Displaying 19 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Varieties of lattice-ordered algebras (Q790858) (← links)
- Integrally closed residuated lattices (Q831226) (← links)
- Sublattice subgroups of finitely presented lattice-ordered groups. (Q855705) (← links)
- Ordered groups (Q1054755) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- A simple proof of the hereditary undecidability of the theory of lattice- ordered Abelian groups (Q1064333) (← links)
- The word problem in free normal valued lattice-ordered groups: A solution and practical shortcuts (Q1148929) (← links)
- Representations of free lattice-ordered groups (Q1319085) (← links)
- Generalized MV-algebras (Q1770501) (← links)
- From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again (Q2122219) (← links)
- Ordering groups and validity in lattice-ordered groups (Q2318348) (← links)
- Time warps, from algebra to algorithms (Q2695363) (← links)
- Automorphism groups of totally ordered sets: A retrospective survey (Q3016471) (← links)
- W. Charles Holland, 75th birthday (Q3016474) (← links)
- The Word Problem for Free Lattice-Ordered Groups (and Some Other Free Algebras) (Q4726305) (← links)
- Free lattice-ordered groups (Q5896513) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- Distributive \(\ell\)-pregroups: generation and decidability (Q6489378) (← links)
