The following pages link to Specially ordered groups (Q4742835):
Displayed 7 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Ordering free products of groups (Q2877070) (← links)
- ORDERING GRAPH PRODUCTS OF GROUPS (Q3166268) (← links)
- Covers of the variety of abelian ℓ-groups (Q4207947) (← links)
- Cyclic extensions of the Medvedev ordered groups (Q4276525) (← links)
- Varieties minimal over representable varieties of lattice-ordered groups (Q5287610) (← links)
- Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups (Q5432593) (← links)