The following pages link to (Q4845170):
Displaying 5 items.
- Quantifier elimination for lexicographic products of ordered abelian groups (Q1032695) (← links)
- Lexicographic product decompositions of partially ordered quasigroups (Q2777521) (← links)
- Lexicographic product decompositions of half linearly ordered loops (Q3617974) (← links)
- Lexicographic product decompositions of cyclically ordered groups (Q4515299) (← links)
- On half cyclically ordered groups (Q4799962) (← links)