Pages that link to "Item:Q1032695"
From MaRDI portal
The following pages link to Quantifier elimination for lexicographic products of ordered abelian groups (Q1032695):
Displaying 7 items.
- The logic of fractional parts of real numbers (Q292505) (← links)
- Truncations of ordered abelian groups (Q829755) (← links)
- Quantifier elimination of the products of ordered abelian groups (Q875687) (← links)
- Fractional parts of dense additive subgroups of real numbers (Q1630856) (← links)
- Quantifier elimination results for products of ordered abelian groups (Q2565488) (← links)
- Lexicographic product decompositions of partially ordered quasigroups (Q2777521) (← links)
- Weakly minimal groups with a new predicate (Q5118052) (← links)